expexp
Version:
The express model io and express model and data representation.
718 lines (717 loc) • 20.4 kB
JSON
{
"t": "fun",
"id": "FctListToArray",
"prms": {
"t": "a_fun_prms",
"s": [
{
"t": "prm_dcl",
"ids": {
"t": "a_prm_ids",
"s": [
{
"t": "prm",
"id": "lst"
}
]
},
"typ": {
"t": "lst",
"spc": {
"t": "gen_lbld",
"lbl": "E"
},
"bds": {
"t": "bds",
"fr": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "int",
"val": 0
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"to": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "any_ref",
"id": "maxSize"
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
}
},
"unq": false
}
},
{
"t": "prm_dcl",
"ids": {
"t": "a_prm_ids",
"s": [
{
"t": "prm",
"id": "startIdx"
}
]
},
"typ": {
"t": "t_int"
}
},
{
"t": "prm_dcl",
"ids": {
"t": "a_prm_ids",
"s": [
{
"t": "prm",
"id": "maxSize"
}
]
},
"typ": {
"t": "t_int"
}
}
]
},
"res": {
"t": "arr",
"spc": {
"t": "gen_lbld",
"lbl": "E"
},
"bds": {
"t": "bds",
"fr": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "any_ref",
"id": "startIdx"
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"to": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "any_ref",
"id": "endIdx"
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
}
},
"opt": false,
"unq": false
},
"ctts": null,
"csts": null,
"lcls": {
"t": "a_fun_lcls",
"s": [
{
"t": "lcl_dcl",
"ids": {
"t": "a_lcl_ids",
"s": [
{
"t": "lcl",
"id": "actSize"
}
]
},
"typ": {
"t": "t_int"
},
"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": "lst"
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"arg1": null,
"op": null
}
]
}
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"arg1": null,
"op": null
}
},
{
"t": "lcl_dcl",
"ids": {
"t": "a_lcl_ids",
"s": [
{
"t": "lcl",
"id": "endIdx"
}
]
},
"typ": {
"t": "t_int"
},
"xpr": {
"t": "xpr",
"arg0": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "any_ref",
"id": "startIdx"
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
},
{
"t": "o_trm",
"id": "pls"
},
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "any_ref",
"id": "actSize"
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
},
{
"t": "o_trm",
"id": "min"
},
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "int",
"val": 1
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"arg1": null,
"op": null
}
},
{
"t": "lcl_dcl",
"ids": {
"t": "a_lcl_ids",
"s": [
{
"t": "lcl",
"id": "result"
}
]
},
"typ": {
"t": "arr",
"spc": {
"t": "gen_lbld",
"lbl": "E"
},
"bds": {
"t": "bds",
"fr": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "any_ref",
"id": "startIdx"
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"to": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "any_ref",
"id": "endIdx"
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
}
},
"opt": false,
"unq": false
},
"xpr": {
"t": "xpr",
"arg0": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "agi",
"vals": {
"t": "a_agi_elts",
"s": [
{
"t": "elt",
"arg": {
"t": "xpr",
"arg0": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "any_ref",
"id": "lst"
},
"qals0": {
"t": "a_qals",
"s": [
{
"t": "idx_qal",
"fr": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "int",
"val": 1
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"to": null
}
]
},
"arg1": null,
"qals1": null
}
]
}
]
},
"arg1": null,
"op": null
},
"mlt": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "any_ref",
"id": "actSize"
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
}
}
]
}
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"arg1": null,
"op": null
}
}
]
},
"stms": {
"t": "a_fun_stms",
"s": [
{
"t": "rpt",
"var": "i",
"itr": {
"t": "itr",
"fr": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "int",
"val": 2
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"to": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "any_ref",
"id": "actSize"
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"by": null
},
"whl": null,
"utl": null,
"stms": {
"t": "a_stms",
"s": [
{
"t": "asg",
"ref": {
"t": "any_ref",
"id": "result"
},
"qals": {
"t": "a_qals",
"s": [
{
"t": "idx_qal",
"fr": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "any_ref",
"id": "startIdx"
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
},
{
"t": "o_trm",
"id": "pls"
},
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "any_ref",
"id": "i"
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
},
{
"t": "o_trm",
"id": "min"
},
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "int",
"val": 1
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"to": null
}
]
},
"xpr": {
"t": "xpr",
"arg0": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "any_ref",
"id": "lst"
},
"qals0": {
"t": "a_qals",
"s": [
{
"t": "idx_qal",
"fr": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "any_ref",
"id": "i"
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"to": null
}
]
},
"arg1": null,
"qals1": null
}
]
}
]
},
"arg1": null,
"op": null
}
}
]
}
},
{
"t": "ret",
"xpr": {
"t": "xpr",
"arg0": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "par",
"xpr": {
"t": "xpr",
"arg0": {
"t": "a_sxp_trms",
"s": [
{
"t": "a_trm_ftrs",
"s": [
{
"t": "ftr",
"arg0": {
"t": "any_ref",
"id": "result"
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"arg1": null,
"op": null
}
},
"qals0": null,
"arg1": null,
"qals1": null
}
]
}
]
},
"arg1": null,
"op": null
}
}
]
}
}