UNPKG

expexp

Version:

The express model io and express model and data representation.

718 lines (717 loc) 20.4 kB
{ "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 } } ] } }