expexp/test/units/RuleWithEnumValsInCaseStmt.json

The express model io and express model and data representation.

{
  "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": "ttt"
            }
          ]
        },
        "typ": {
          "t": "any_ref",
          "id": "TpThingType"
        },
        "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": "ttt"
                    },
                    "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": "any_ref",
                                "id": "AAA"
                              },
                              "qals0": null,
                              "arg1": null,
                              "qals1": null
                            }
                          ]
                        }
                      ]
                    },
                    "arg1": null,
                    "op": null
                  }
                ]
              },
              "stm": {
                "t": "asg",
                "ref": {
                  "t": "any_ref",
                  "id": "ttt"
                },
                "qals": null,
                "xpr": {
                  "t": "xpr",
                  "arg0": {
                    "t": "a_sxp_trms",
                    "s": [
                      {
                        "t": "a_trm_ftrs",
                        "s": [
                          {
                            "t": "ftr",
                            "arg0": {
                              "t": "any_ref",
                              "id": "CCC"
                            },
                            "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": "any_ref",
                                "id": "BBB"
                              },
                              "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": "ttt"
                      },
                      "qals": null,
                      "xpr": {
                        "t": "xpr",
                        "arg0": {
                          "t": "a_sxp_trms",
                          "s": [
                            {
                              "t": "a_trm_ftrs",
                              "s": [
                                {
                                  "t": "ftr",
                                  "arg0": {
                                    "t": "any_ref",
                                    "id": "INCORRECT"
                                  },
                                  "qals0": null,
                                  "arg1": null,
                                  "qals1": null
                                }
                              ]
                            }
                          ]
                        },
                        "arg1": null,
                        "op": null
                      }
                    },
                    {
                      "t": "asg",
                      "ref": {
                        "t": "any_ref",
                        "id": "ttt"
                      },
                      "qals": null,
                      "xpr": {
                        "t": "xpr",
                        "arg0": {
                          "t": "a_sxp_trms",
                          "s": [
                            {
                              "t": "a_trm_ftrs",
                              "s": [
                                {
                                  "t": "ftr",
                                  "arg0": {
                                    "t": "any_ref",
                                    "id": "AAA"
                                  },
                                  "qals0": null,
                                  "arg1": null,
                                  "qals1": null
                                }
                              ]
                            }
                          ]
                        },
                        "arg1": null,
                        "op": null
                      }
                    }
                  ]
                }
              }
            }
          ]
        },
        "oth": {
          "t": "asg",
          "ref": {
            "t": "any_ref",
            "id": "ttt"
          },
          "qals": null,
          "xpr": {
            "t": "xpr",
            "arg0": {
              "t": "a_sxp_trms",
              "s": [
                {
                  "t": "a_trm_ftrs",
                  "s": [
                    {
                      "t": "ftr",
                      "arg0": {
                        "t": "any_ref",
                        "id": "BBB"
                      },
                      "qals0": null,
                      "arg1": null,
                      "qals1": null
                    }
                  ]
                }
              ]
            },
            "arg1": null,
            "op": null
          }
        }
      }
    ]
  },
  "whrs": {
    "t": "a_rul_whrs",
    "s": [
      {
        "t": "whr",
        "id": "onlyAisGood",
        "xpr": {
          "t": "xpr",
          "arg0": {
            "t": "a_sxp_trms",
            "s": [
              {
                "t": "a_trm_ftrs",
                "s": [
                  {
                    "t": "ftr",
                    "arg0": {
                      "t": "any_ref",
                      "id": "ttt"
                    },
                    "qals0": null,
                    "arg1": null,
                    "qals1": null
                  }
                ]
              }
            ]
          },
          "arg1": {
            "t": "a_sxp_trms",
            "s": [
              {
                "t": "a_trm_ftrs",
                "s": [
                  {
                    "t": "ftr",
                    "arg0": {
                      "t": "any_ref",
                      "id": "AAA"
                    },
                    "qals0": null,
                    "arg1": null,
                    "qals1": null
                  }
                ]
              }
            ]
          },
          "op": {
            "t": "o_sxp",
            "id": "eq"
          }
        }
      }
    ]
  }
}