你可以在uppaal中分解一个json数组吗？

Question

我正在尝试在uppaal中对ATM系统进行建模，我想使用json数组（例如数据库）来获取card_ID和pin编号，如下所示：   [{       id：12548，       销：1244   }] 这可能吗？

Answer 1

否，不支持JSON语法。但是可以批量初始化，例如：

typedef struct { int id, pin; } id_pin_t;
id_pin_t array[3] = {{1,2}, {3,4},{5,6}};