expexp/test/units/RuleWithProcCallStmt.json

The express model io and express model and data representation.

{
  "t": "rul",
  "id": "RuleWithProcCallStmt",
  "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": "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
        }
      },
      [
        {
          "t": "coc",
          "ref": {
            "t": "any_ref",
            "id": "PrcDoSth"
          },
          "vals": {
            "t": "a_coc_vals",
            "s": [
              {
                "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
              }
            ]
          }
        }
      ],
      [
        {
          "t": "bip",
          "id": "rmv",
          "vals": {
            "t": "a_bip_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
              },
              {
                "t": "xpr",
                "arg0": {
                  "t": "a_sxp_trms",
                  "s": [
                    {
                      "t": "a_trm_ftrs",
                      "s": [
                        {
                          "t": "ftr",
                          "arg0": {
                            "t": "int",
                            "val": 3
                          },
                          "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"
          }
        }
      }
    ]
  }
}