expexp
Version:
The express model io and express model and data representation.
392 lines (391 loc) • 11 kB
JSON
{
"t": "rul",
"id": "RuleWithCaseStmt",
"nttRefs": {
"t": "a_rul_refs",
"s": [
{
"t": "ntt_ref",
"id": "NttThing"
}
]
},
"ctts": null,
"csts": null,
"lcls": {
"t": "a_rul_lcls",
"s": [
{
"t": "lcl_dcl",
"ids": {
"t": "a_lcl_ids",
"s": [
{
"t": "lcl",
"id": "num"
}
]
},
"typ": {
"t": "t_int"
},
"xpr": null
}
]
},
"stms": {
"t": "a_rul_stms",
"s": [
{
"t": "cas",
"slr": {
"t": "xpr",
"arg0": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "any_ref",
"id": "num"
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"arg1": null,
"op": null
},
"caas": {
"t": "a_caas",
"s": [
{
"t": "caa",
"xprs": {
"t": "a_xprs",
"s": [
{
"t": "xpr",
"arg0": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "int",
"val": 0
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"arg1": null,
"op": null
},
{
"t": "xpr",
"arg0": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "int",
"val": 1
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"arg1": null,
"op": null
}
]
},
"stm": {
"t": "asg",
"ref": {
"t": "any_ref",
"id": "num"
},
"qals": null,
"xpr": {
"t": "xpr",
"arg0": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "int",
"val": 2
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"arg1": null,
"op": null
}
}
},
{
"t": "caa",
"xprs": {
"t": "a_xprs",
"s": [
{
"t": "xpr",
"arg0": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "int",
"val": 2
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"arg1": null,
"op": null
}
]
},
"stm": {
"t": "cpd",
"stms": {
"t": "a_stms",
"s": [
{
"t": "asg",
"ref": {
"t": "any_ref",
"id": "num"
},
"qals": null,
"xpr": {
"t": "xpr",
"arg0": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "int",
"val": 55
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"arg1": null,
"op": null
}
},
{
"t": "asg",
"ref": {
"t": "any_ref",
"id": "num"
},
"qals": null,
"xpr": {
"t": "xpr",
"arg0": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "int",
"val": 66
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"arg1": null,
"op": null
}
}
]
}
}
}
]
},
"oth": {
"t": "asg",
"ref": {
"t": "any_ref",
"id": "num"
},
"qals": null,
"xpr": {
"t": "xpr",
"arg0": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "bif",
"id": "szf",
"vals": {
"t": "a_bif_vals",
"s": [
{
"t": "xpr",
"arg0": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "any_ref",
"id": "NttThing"
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"arg1": null,
"op": null
}
]
}
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"arg1": null,
"op": null
}
}
}
]
},
"whrs": {
"t": "a_rul_whrs",
"s": [
{
"t": "whr",
"id": "notTooMany",
"xpr": {
"t": "xpr",
"arg0": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "any_ref",
"id": "num"
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"arg1": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "int",
"val": 4
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"op": {
"t": "o_sxp",
"id": "lt"
}
}
}
]
}
}