mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-11-30 23:33:27 +03:00
78 lines
1.9 KiB
JSON
78 lines
1.9 KiB
JSON
{
|
|
"definitions": [
|
|
{
|
|
"Function": {
|
|
"identifier": {
|
|
"value": "main",
|
|
"span": {
|
|
"input": "main",
|
|
"start": 9,
|
|
"end": 13
|
|
}
|
|
},
|
|
"parameters": [],
|
|
"returns": null,
|
|
"statements": [
|
|
{
|
|
"Return": {
|
|
"expression": {
|
|
"Binary": {
|
|
"operation": "Add",
|
|
"left": {
|
|
"Value": {
|
|
"Implicit": {
|
|
"Positive": {
|
|
"value": "1",
|
|
"span": {
|
|
"input": "1",
|
|
"start": 29,
|
|
"end": 30
|
|
}
|
|
}
|
|
}
|
|
}
|
|
},
|
|
"right": {
|
|
"Value": {
|
|
"Implicit": {
|
|
"Positive": {
|
|
"value": "1",
|
|
"span": {
|
|
"input": "1",
|
|
"start": 33,
|
|
"end": 34
|
|
}
|
|
}
|
|
}
|
|
}
|
|
},
|
|
"span": {
|
|
"input": "1 + 1",
|
|
"start": 29,
|
|
"end": 34
|
|
}
|
|
}
|
|
},
|
|
"span": {
|
|
"input": "return 1 + 1",
|
|
"start": 22,
|
|
"end": 34
|
|
}
|
|
}
|
|
}
|
|
],
|
|
"span": {
|
|
"input": "function main() {\n return 1 + 1\n}\n",
|
|
"start": 0,
|
|
"end": 37
|
|
}
|
|
}
|
|
}
|
|
],
|
|
"eoi": null,
|
|
"span": {
|
|
"input": "function main() {\n return 1 + 1\n}\n",
|
|
"start": 0,
|
|
"end": 37
|
|
}
|
|
} |