HALCON是一個強大的機器視覺開發庫，通過使用HALCON標記文件，可以方便地將圖像標記和測量的信息保存起來。然而，當需要將這些信息在不同的系統或平臺之間共享時，HALCON標記文件并不是最理想的格式。因此，我們需要將HALCON標記文件轉換為更通用的存儲格式，如JSON。

procedure ConvertHalconToJSON(halcon_file_path, json_file_path):
halcon_marks = hread_string(halcon_file_path)
marks_dict = {}
# 解析HALCON標記文件并將其轉換為JSON格式
for line in halcon_marks.split('\n'):
if 'region points: (' in line:
region = []
for point in line.split('(')[1:]:
x, y = point.split(',')
region.append([float(x), float(y)])
marks_dict['region'] = region
elif 'calibrated' in line:
marks_dict['calibrated'] = True if 'true' in line.lower() else False
elif 'measurement line points: (' in line:
line_points = []
for point in line.split('(')[1:]:
x, y = point.split(',')
line_points.append([float(x), float(y)])
marks_dict['measurement line'] = line_points
json.dump(marks_dict, open(json_file_path, 'w'))

上述代碼是將HALCON標記文件轉換為JSON格式的示例。通過將HALCON標記文件讀入Python中，并使用Python內置的JSON模塊將其轉換為字典類型，我們可以輕松地將其保存到JSON文件中。在實際工作中，我們可以將該函數集成到機器視覺系統的不同模塊中，并使用其他編程語言進行類似操作。