expexp
Version:
The express model io and express model and data representation.
464 lines (463 loc) • 10.3 kB
JSON
{
"id":"TpHhMmSsMx",
"spec":{
"t":"list",
"bounds":{
"t":"bounds",
"from":[[{ "t":"factor", "arg0":{"t":"integer", "value":3}, "quals0":[], "arg1":null, "quals1":null }]],
"to":[[{ "t":"factor", "arg0":{"t":"integer", "value":4}, "quals0":[], "arg1":null, "quals1":null }]]
},
"spec":{"t":"integer"},
"unique":false
},
"t":"type",
"wheres":[
{
"t":"where",
"id":"minLess60",
"expr":{
"t":"expr",
"arg0":[[
{
"t":"factor",
"arg0":{
"t":"bifct",
"id":"abs",
"values":[
{
"arg0":[[
{
"t":"factor",
"arg0":{"id":"self","t":"biconst"},
"quals0":[
{
"t":"idx_qual",
"idxStart":[[
{
"t":"factor",
"arg0":{"t":"integer", "value":2},
"quals0":[],
"arg1":null,
"quals1":null
}
]],
"idxEnd":[]
}
],
"arg1":null,
"quals1":null
}
]],
"op":null,
"arg1":null,
"t":"expr"
}
]
},
"quals0":[],
"arg1":null,
"quals1":null
}
]],
"op":{"t":"relopext", "id":"lt"},
"arg1":[[
{
"t":"factor",
"arg0":{"t":"integer","value":60},
"quals0":[],
"arg1":null,
"quals1":null
}
]]
}
},
{
"t":"where",
"id":"secLess60",
"expr":{
"t":"expr",
"arg0":[[
{
"t":"factor",
"arg0":{
"t":"bifct",
"id":"abs",
"values":[
{
"arg0":[[
{
"t":"factor",
"arg0":{"id":"self","t":"biconst"},
"quals0":[
{
"t":"idx_qual",
"idxStart":[[
{
"t":"factor",
"arg0":{"t":"integer", "value":3},
"quals0":[],
"arg1":null,
"quals1":null
}
]],
"idxEnd":[]
}
],
"arg1":null,
"quals1":null
}
]],
"op":null,
"arg1":null,
"t":"expr"
}
]
},
"quals0":[],
"arg1":null,
"quals1":null
}
]],
"op":{"t":"relopext", "id":"lt"},
"arg1":[[
{
"t":"factor",
"arg0":{"t":"integer","value":60},
"quals0":[],
"arg1":null,
"quals1":null
}
]]
}
},
{
"t":"where",
"id":"msecLess1000",
"expr":{
"t":"expr",
"arg0":[
[
{
"t":"factor",
"arg0":{
"t":"parenthesis",
"expr":{
"t":"expr",
"arg0":[[
{
"t":"factor",
"arg0":{
"t":"bifct",
"id":"sizeof",
"values":[
{
"t":"expr",
"arg0":[[{
"t":"factor",
"arg0":{"t":"biconst", "id":"self"},
"quals0":[],
"arg1":null,
"quals1":null
}]],
"op":null,
"arg1":null
}
]
},
"quals0":[],
"arg1":null,
"quals1":null
}
]],
"op":{"t":"relopext", "id":"eq"},
"arg1":[[
{
"t":"factor",
"arg0":{"t":"integer","value":3},
"quals0":[],
"arg1":null,
"quals1":null
}
]]
}
},
"quals0":[],
"arg1":null,
"quals1":null
}
],
{"t":"addlikeop", "id":"or"},
[
{
"t":"factor",
"arg0":{
"t":"parenthesis",
"expr":{
"t":"expr",
"arg0":[[
{
"t":"factor",
"arg0":{
"t":"bifct",
"id":"abs",
"values":[
{
"t":"expr",
"arg0":[[{
"t":"factor",
"arg0":{"t":"biconst", "id":"self"},
"quals0":[
{
"t":"idx_qual",
"idxStart":[[
{
"t":"factor",
"arg0":{"t":"integer", "value":4},
"quals0":[],
"arg1":null,
"quals1":null
}
]],
"idxEnd":[]
}
],
"arg1":null,
"quals1":null
}]],
"op":null,
"arg1":null
}
]
},
"quals0":[],
"arg1":null,
"quals1":null
}
]],
"op":{"t":"relopext", "id":"lt"},
"arg1":[[
{
"t":"factor",
"arg0":{"t":"integer","value":1000},
"quals0":[],
"arg1":null,
"quals1":null
}
]]
}
},
"quals0":[],
"arg1":null,
"quals1":null
}
]
],
"op":null,
"arg1":null
}
},
{
"t":"where",
"id":"oneSignOrNone",
"expr":{
"t":"expr",
"arg0":[[{
"t":"factor",
"arg0":{
"t":"parenthesis",
"expr":{
"t":"expr",
"arg0":[[
{
"t":"factor",
"arg0":{
"t":"parenthesis",
"expr":{
"t":"expr",
"arg0":[[{
"t":"factor",
"arg0":{"t":"biconst", "id":"self"},
"arg1":null,
"quals0":[{
"t":"idx_qual",
"idxStart":[[{
"t":"factor",
"arg0":{"t":"integer", "value":2},
"quals0":[],
"arg1":null,
"quals1":null
}]],
"idxEnd":[]
}],
"quals1":null
}]],
"op":{"t":"relopext", "id":"ge"},
"arg1":[[{
"t":"factor",
"arg0":{"t":"integer", "value":0},
"quals0":[],
"arg1":null,
"quals1":null
}]]
}
},
"quals0":[],
"arg1":null,
"quals1":null
},
{"t":"multlikeop", "id":"and"},
{
"t":"factor",
"arg0":{
"t":"parenthesis",
"expr":{
"t":"expr",
"arg0":[[{
"t":"factor",
"arg0":{"t":"biconst", "id":"self"},
"quals0":[{
"t":"idx_qual",
"idxStart":[[
{
"t":"factor",
"arg0":{"t":"integer", "value":3},
"quals0":[],
"arg1":null,
"quals1":null
}
]],
"idxEnd":[]
}],
"arg1":null,
"quals1":null
}]],
"op":{"t":"relopext", "id":"ge"},
"arg1":[[{
"t":"factor",
"arg0":{"t":"integer", "value":0},
"quals0":[],
"arg1":null,
"quals1":null
}]]
}
},
"quals0":[],
"arg1":null,
"quals1":null
},
{"t":"multlikeop", "id":"and"},
{
"t":"factor",
"arg0":{
"t":"parenthesis",
"expr":{
"t":"expr",
"arg0":[
[
{
"t":"factor",
"arg0":{
"t":"parenthesis",
"expr":{
"t":"expr",
"arg0":[[{
"t":"factor",
"arg0":{
"t":"bifct",
"id":"sizeof",
"values":[{
"t":"expr",
"arg0":[[{
"t":"factor",
"arg0":{"t":"biconst", "id":"self"},
"quals0":[],
"arg1":null,
"quals1":null
}]],
"op":null,
"arg1":null
}]
},
"quals0":[],
"arg1":null,
"quals1":null
}]],
"op":{"t":"relopext", "id":"eq"},
"arg1":[[{
"t":"factor",
"arg0":{"t":"integer", "value":3},
"quals0":[],
"arg1":null,
"quals1":null
}]]
}
},
"quals0":[],
"arg1":null,
"quals1":null
}
],
{"id":"or","t":"addlikeop"},
[
{
"t":"factor",
"arg0":{
"t":"parenthesis",
"expr":{
"t":"expr",
"arg0":[[{
"t":"factor",
"arg0":{"id":"self","t":"biconst"},
"arg1":null,
"quals0":[{
"t":"idx_qual",
"idxStart":[[{
"t":"factor",
"arg0":{"t":"integer", "value":4},
"quals0":[],
"arg1":null,
"quals1":null
}]],
"idxEnd":[]
}],
"quals1":null
}]],
"op":{"t":"relopext", "id":"ge"},
"arg1":[[{
"t":"factor",
"arg0":{"t":"integer", "value":0},
"quals0":[],
"arg1":null,
"quals1":null
}]]
}
},
"quals0":[],
"arg1":null,
"quals1":null
}
]
],
"op":null,
"arg1":null
}
},
"quals0":[],
"arg1":null,
"quals1":null
}
]],
"op":null,
"arg1":null
}
},
"quals0":[],
"arg1":null,
"quals1":null
}]],
"op":null,
"arg1":null
}
}
]
}