Code: Select all
[Knmlc ERROR: "src/switch.pnml", line 4: Switch-block requires 4 parameters, encountered 3
Code: Select all
switch (FEAT_TRAINS, PARENT, CAN_ATTACH) {
ITEM_HSST03 :string(STR_CANNOT_CONNECT);
ITEM_MBAHN :string(STR_CANNOT_CONNECT);
ITEM_HSST100L :CB_RESULT_ATTACH_ALLOW_IF_RAILTYPES;
ITEM_HSST100S :CB_RESULT_ATTACH_ALLOW_IF_RAILTYPES;
ITEM_TRANSRAPID :CB_RESULT_ATTACH_ALLOW_IF_RAILTYPES;
ITEM_LINIMO :CB_RESULT_ATTACH_ALLOW_IF_RAILTYPES;
ITEM_UTM02 :CB_RESULT_ATTACH_ALLOW_IF_RAILTYPES;
// ITEM_WINDCHASER :CB_RESULT_ATTACH_ALLOW_IF_RAILTYPES;
ITEM_ECOBEE :CB_RESULT_ATTACH_ALLOW_IF_RAILTYPES;
ITEM_CHANGSHA :CB_RESULT_ATTACH_ALLOW_IF_RAILTYPES;
ITEM_S1 :CB_RESULT_ATTACH_ALLOW_IF_RAILTYPES;
ITEM_L0 :CB_RESULT_ATTACH_ALLOW_IF_RAILTYPES;
string(STR_CANNOT_CONNECT);
}
Code: Select all
switch (FEAT_TRAINS, PARENT, CAN_ATTACH, vehicle_type_id) {
ITEM_HSST03 :string(STR_CANNOT_CONNECT);
ITEM_MBAHN :string(STR_CANNOT_CONNECT);
ITEM_HSST100L :CB_RESULT_ATTACH_ALLOW_IF_RAILTYPES;
ITEM_HSST100S :CB_RESULT_ATTACH_ALLOW_IF_RAILTYPES;
ITEM_TRANSRAPID :CB_RESULT_ATTACH_ALLOW_IF_RAILTYPES;
ITEM_LINIMO :CB_RESULT_ATTACH_ALLOW_IF_RAILTYPES;
ITEM_UTM02 :CB_RESULT_ATTACH_ALLOW_IF_RAILTYPES;
// ITEM_WINDCHASER :CB_RESULT_ATTACH_ALLOW_IF_RAILTYPES;
ITEM_ECOBEE :CB_RESULT_ATTACH_ALLOW_IF_RAILTYPES;
ITEM_CHANGSHA :CB_RESULT_ATTACH_ALLOW_IF_RAILTYPES;
ITEM_S1 :CB_RESULT_ATTACH_ALLOW_IF_RAILTYPES;
ITEM_L0 :CB_RESULT_ATTACH_ALLOW_IF_RAILTYPES;
string(STR_CANNOT_CONNECT);
}