You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
2816 lines
79 KiB
2816 lines
79 KiB
{
|
|
"kind" : "Program",
|
|
"location" : [ 2, 1, 108, 1 ],
|
|
"declarations" : [ {
|
|
"kind" : "ClassDef",
|
|
"location" : [ 2, 1, 52, 0 ],
|
|
"name" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 2, 7, 2, 12 ],
|
|
"name" : "Vector"
|
|
},
|
|
"superClass" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 2, 14, 2, 19 ],
|
|
"name" : "object"
|
|
},
|
|
"declarations" : [ {
|
|
"kind" : "VarDef",
|
|
"location" : [ 3, 5, 3, 23 ],
|
|
"var" : {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 3, 5, 3, 16 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 3, 5, 3, 9 ],
|
|
"name" : "items"
|
|
},
|
|
"type" : {
|
|
"kind" : "ListType",
|
|
"location" : [ 3, 12, 3, 16 ],
|
|
"elementType" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 3, 13, 3, 15 ],
|
|
"className" : "int"
|
|
}
|
|
}
|
|
},
|
|
"value" : {
|
|
"kind" : "NoneLiteral",
|
|
"location" : [ 3, 20, 3, 23 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "<None>"
|
|
}
|
|
}
|
|
}, {
|
|
"kind" : "VarDef",
|
|
"location" : [ 4, 5, 4, 17 ],
|
|
"var" : {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 4, 5, 4, 13 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 4, 5, 4, 8 ],
|
|
"name" : "size"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 4, 11, 4, 13 ],
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"value" : {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 4, 17, 4, 17 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 0
|
|
}
|
|
}, {
|
|
"kind" : "FuncDef",
|
|
"location" : [ 6, 5, 7, 25 ],
|
|
"name" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 6, 9, 6, 16 ],
|
|
"name" : "__init__"
|
|
},
|
|
"params" : [ {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 6, 18, 6, 30 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 6, 18, 6, 21 ],
|
|
"name" : "self"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 6, 23, 6, 30 ],
|
|
"className" : "Vector"
|
|
}
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 6, 32, 6, 32 ],
|
|
"className" : "<None>"
|
|
},
|
|
"declarations" : [ ],
|
|
"statements" : [ {
|
|
"kind" : "AssignStmt",
|
|
"location" : [ 7, 9, 7, 24 ],
|
|
"targets" : [ {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 7, 9, 7, 18 ],
|
|
"inferredType" : {
|
|
"kind" : "ListValueType",
|
|
"elementType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 7, 9, 7, 12 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 7, 14, 7, 18 ],
|
|
"name" : "items"
|
|
}
|
|
} ],
|
|
"value" : {
|
|
"kind" : "ListExpr",
|
|
"location" : [ 7, 22, 7, 24 ],
|
|
"inferredType" : {
|
|
"kind" : "ListValueType",
|
|
"elementType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"elements" : [ {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 7, 23, 7, 23 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 0
|
|
} ]
|
|
}
|
|
} ]
|
|
}, {
|
|
"kind" : "FuncDef",
|
|
"location" : [ 10, 5, 11, 31 ],
|
|
"name" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 10, 9, 10, 16 ],
|
|
"name" : "capacity"
|
|
},
|
|
"params" : [ {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 10, 18, 10, 30 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 10, 18, 10, 21 ],
|
|
"name" : "self"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 10, 23, 10, 30 ],
|
|
"className" : "Vector"
|
|
}
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 10, 36, 10, 38 ],
|
|
"className" : "int"
|
|
},
|
|
"declarations" : [ ],
|
|
"statements" : [ {
|
|
"kind" : "ReturnStmt",
|
|
"location" : [ 11, 9, 11, 30 ],
|
|
"value" : {
|
|
"kind" : "CallExpr",
|
|
"location" : [ 11, 16, 11, 30 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"function" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 11, 16, 11, 18 ],
|
|
"inferredType" : {
|
|
"kind" : "FuncType",
|
|
"parameters" : [ {
|
|
"kind" : "ClassValueType",
|
|
"className" : "object"
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"name" : "len"
|
|
},
|
|
"args" : [ {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 11, 20, 11, 29 ],
|
|
"inferredType" : {
|
|
"kind" : "ListValueType",
|
|
"elementType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 11, 20, 11, 23 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 11, 25, 11, 29 ],
|
|
"name" : "items"
|
|
}
|
|
} ]
|
|
}
|
|
} ]
|
|
}, {
|
|
"kind" : "FuncDef",
|
|
"location" : [ 14, 5, 16, 31 ],
|
|
"name" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 14, 9, 14, 25 ],
|
|
"name" : "increase_capacity"
|
|
},
|
|
"params" : [ {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 14, 27, 14, 39 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 14, 27, 14, 30 ],
|
|
"name" : "self"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 14, 32, 14, 39 ],
|
|
"className" : "Vector"
|
|
}
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 14, 45, 14, 47 ],
|
|
"className" : "int"
|
|
},
|
|
"declarations" : [ ],
|
|
"statements" : [ {
|
|
"kind" : "AssignStmt",
|
|
"location" : [ 15, 9, 15, 37 ],
|
|
"targets" : [ {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 15, 9, 15, 18 ],
|
|
"inferredType" : {
|
|
"kind" : "ListValueType",
|
|
"elementType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 15, 9, 15, 12 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 15, 14, 15, 18 ],
|
|
"name" : "items"
|
|
}
|
|
} ],
|
|
"value" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 15, 22, 15, 37 ],
|
|
"inferredType" : {
|
|
"kind" : "ListValueType",
|
|
"elementType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"left" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 15, 22, 15, 31 ],
|
|
"inferredType" : {
|
|
"kind" : "ListValueType",
|
|
"elementType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 15, 22, 15, 25 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 15, 27, 15, 31 ],
|
|
"name" : "items"
|
|
}
|
|
},
|
|
"operator" : "+",
|
|
"right" : {
|
|
"kind" : "ListExpr",
|
|
"location" : [ 15, 35, 15, 37 ],
|
|
"inferredType" : {
|
|
"kind" : "ListValueType",
|
|
"elementType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"elements" : [ {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 15, 36, 15, 36 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 0
|
|
} ]
|
|
}
|
|
}
|
|
}, {
|
|
"kind" : "ReturnStmt",
|
|
"location" : [ 16, 9, 16, 30 ],
|
|
"value" : {
|
|
"kind" : "MethodCallExpr",
|
|
"location" : [ 16, 16, 16, 30 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"method" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 16, 16, 16, 28 ],
|
|
"inferredType" : {
|
|
"kind" : "FuncType",
|
|
"parameters" : [ {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 16, 16, 16, 19 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 16, 21, 16, 28 ],
|
|
"name" : "capacity"
|
|
}
|
|
},
|
|
"args" : [ ]
|
|
}
|
|
} ]
|
|
}, {
|
|
"kind" : "FuncDef",
|
|
"location" : [ 19, 5, 24, 34 ],
|
|
"name" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 19, 9, 19, 14 ],
|
|
"name" : "append"
|
|
},
|
|
"params" : [ {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 19, 16, 19, 28 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 19, 16, 19, 19 ],
|
|
"name" : "self"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 19, 21, 19, 28 ],
|
|
"className" : "Vector"
|
|
}
|
|
}, {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 19, 31, 19, 39 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 19, 31, 19, 34 ],
|
|
"name" : "item"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 19, 37, 19, 39 ],
|
|
"className" : "int"
|
|
}
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 19, 45, 19, 50 ],
|
|
"className" : "object"
|
|
},
|
|
"declarations" : [ ],
|
|
"statements" : [ {
|
|
"kind" : "IfStmt",
|
|
"location" : [ 20, 9, 23, 8 ],
|
|
"condition" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 20, 12, 20, 39 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "bool"
|
|
},
|
|
"left" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 20, 12, 20, 20 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 20, 12, 20, 15 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 20, 17, 20, 20 ],
|
|
"name" : "size"
|
|
}
|
|
},
|
|
"operator" : "==",
|
|
"right" : {
|
|
"kind" : "MethodCallExpr",
|
|
"location" : [ 20, 25, 20, 39 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"method" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 20, 25, 20, 37 ],
|
|
"inferredType" : {
|
|
"kind" : "FuncType",
|
|
"parameters" : [ {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 20, 25, 20, 28 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 20, 30, 20, 37 ],
|
|
"name" : "capacity"
|
|
}
|
|
},
|
|
"args" : [ ]
|
|
}
|
|
},
|
|
"thenBody" : [ {
|
|
"kind" : "ExprStmt",
|
|
"location" : [ 21, 13, 21, 36 ],
|
|
"expr" : {
|
|
"kind" : "MethodCallExpr",
|
|
"location" : [ 21, 13, 21, 36 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"method" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 21, 13, 21, 34 ],
|
|
"inferredType" : {
|
|
"kind" : "FuncType",
|
|
"parameters" : [ {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 21, 13, 21, 16 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 21, 18, 21, 34 ],
|
|
"name" : "increase_capacity"
|
|
}
|
|
},
|
|
"args" : [ ]
|
|
}
|
|
} ],
|
|
"elseBody" : [ ]
|
|
}, {
|
|
"kind" : "AssignStmt",
|
|
"location" : [ 23, 9, 23, 36 ],
|
|
"targets" : [ {
|
|
"kind" : "IndexExpr",
|
|
"location" : [ 23, 9, 23, 29 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"list" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 23, 9, 23, 18 ],
|
|
"inferredType" : {
|
|
"kind" : "ListValueType",
|
|
"elementType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 23, 9, 23, 12 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 23, 14, 23, 18 ],
|
|
"name" : "items"
|
|
}
|
|
},
|
|
"index" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 23, 20, 23, 28 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 23, 20, 23, 23 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 23, 25, 23, 28 ],
|
|
"name" : "size"
|
|
}
|
|
}
|
|
} ],
|
|
"value" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 23, 33, 23, 36 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "item"
|
|
}
|
|
}, {
|
|
"kind" : "AssignStmt",
|
|
"location" : [ 24, 9, 24, 33 ],
|
|
"targets" : [ {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 24, 9, 24, 17 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 24, 9, 24, 12 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 24, 14, 24, 17 ],
|
|
"name" : "size"
|
|
}
|
|
} ],
|
|
"value" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 24, 21, 24, 33 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"left" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 24, 21, 24, 29 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 24, 21, 24, 24 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 24, 26, 24, 29 ],
|
|
"name" : "size"
|
|
}
|
|
},
|
|
"operator" : "+",
|
|
"right" : {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 24, 33, 24, 33 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 1
|
|
}
|
|
}
|
|
} ]
|
|
}, {
|
|
"kind" : "FuncDef",
|
|
"location" : [ 27, 5, 33, 4 ],
|
|
"name" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 27, 9, 27, 18 ],
|
|
"name" : "append_all"
|
|
},
|
|
"params" : [ {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 27, 20, 27, 32 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 27, 20, 27, 23 ],
|
|
"name" : "self"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 27, 25, 27, 32 ],
|
|
"className" : "Vector"
|
|
}
|
|
}, {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 27, 35, 27, 50 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 27, 35, 27, 43 ],
|
|
"name" : "new_items"
|
|
},
|
|
"type" : {
|
|
"kind" : "ListType",
|
|
"location" : [ 27, 46, 27, 50 ],
|
|
"elementType" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 27, 47, 27, 49 ],
|
|
"className" : "int"
|
|
}
|
|
}
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 27, 56, 27, 61 ],
|
|
"className" : "object"
|
|
},
|
|
"declarations" : [ {
|
|
"kind" : "VarDef",
|
|
"location" : [ 28, 9, 28, 20 ],
|
|
"var" : {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 28, 9, 28, 16 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 28, 9, 28, 12 ],
|
|
"name" : "item"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 28, 14, 28, 16 ],
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"value" : {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 28, 20, 28, 20 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 0
|
|
}
|
|
} ],
|
|
"statements" : [ {
|
|
"kind" : "ForStmt",
|
|
"location" : [ 29, 9, 33, 4 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 29, 13, 29, 16 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "item"
|
|
},
|
|
"iterable" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 29, 21, 29, 29 ],
|
|
"inferredType" : {
|
|
"kind" : "ListValueType",
|
|
"elementType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"name" : "new_items"
|
|
},
|
|
"body" : [ {
|
|
"kind" : "ExprStmt",
|
|
"location" : [ 30, 13, 30, 29 ],
|
|
"expr" : {
|
|
"kind" : "MethodCallExpr",
|
|
"location" : [ 30, 13, 30, 29 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "object"
|
|
},
|
|
"method" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 30, 13, 30, 23 ],
|
|
"inferredType" : {
|
|
"kind" : "FuncType",
|
|
"parameters" : [ {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
}, {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "object"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 30, 13, 30, 16 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 30, 18, 30, 23 ],
|
|
"name" : "append"
|
|
}
|
|
},
|
|
"args" : [ {
|
|
"kind" : "Identifier",
|
|
"location" : [ 30, 25, 30, 28 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "item"
|
|
} ]
|
|
}
|
|
} ]
|
|
} ]
|
|
}, {
|
|
"kind" : "FuncDef",
|
|
"location" : [ 33, 5, 41, 34 ],
|
|
"name" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 33, 9, 33, 17 ],
|
|
"name" : "remove_at"
|
|
},
|
|
"params" : [ {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 33, 19, 33, 31 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 33, 19, 33, 22 ],
|
|
"name" : "self"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 33, 24, 33, 31 ],
|
|
"className" : "Vector"
|
|
}
|
|
}, {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 33, 34, 33, 41 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 33, 34, 33, 36 ],
|
|
"name" : "idx"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 33, 39, 33, 41 ],
|
|
"className" : "int"
|
|
}
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 33, 47, 33, 52 ],
|
|
"className" : "object"
|
|
},
|
|
"declarations" : [ ],
|
|
"statements" : [ {
|
|
"kind" : "IfStmt",
|
|
"location" : [ 34, 9, 37, 8 ],
|
|
"condition" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 34, 12, 34, 18 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "bool"
|
|
},
|
|
"left" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 34, 12, 34, 14 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "idx"
|
|
},
|
|
"operator" : "<",
|
|
"right" : {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 34, 18, 34, 18 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 0
|
|
}
|
|
},
|
|
"thenBody" : [ {
|
|
"kind" : "ReturnStmt",
|
|
"location" : [ 35, 13, 35, 18 ],
|
|
"value" : null
|
|
} ],
|
|
"elseBody" : [ ]
|
|
}, {
|
|
"kind" : "WhileStmt",
|
|
"location" : [ 37, 9, 41, 8 ],
|
|
"condition" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 37, 15, 37, 33 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "bool"
|
|
},
|
|
"left" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 37, 15, 37, 17 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "idx"
|
|
},
|
|
"operator" : "<",
|
|
"right" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 37, 21, 37, 33 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"left" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 37, 21, 37, 29 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 37, 21, 37, 24 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 37, 26, 37, 29 ],
|
|
"name" : "size"
|
|
}
|
|
},
|
|
"operator" : "-",
|
|
"right" : {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 37, 33, 37, 33 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 1
|
|
}
|
|
}
|
|
},
|
|
"body" : [ {
|
|
"kind" : "AssignStmt",
|
|
"location" : [ 38, 13, 38, 49 ],
|
|
"targets" : [ {
|
|
"kind" : "IndexExpr",
|
|
"location" : [ 38, 13, 38, 27 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"list" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 38, 13, 38, 22 ],
|
|
"inferredType" : {
|
|
"kind" : "ListValueType",
|
|
"elementType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 38, 13, 38, 16 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 38, 18, 38, 22 ],
|
|
"name" : "items"
|
|
}
|
|
},
|
|
"index" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 38, 24, 38, 26 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "idx"
|
|
}
|
|
} ],
|
|
"value" : {
|
|
"kind" : "IndexExpr",
|
|
"location" : [ 38, 31, 38, 49 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"list" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 38, 31, 38, 40 ],
|
|
"inferredType" : {
|
|
"kind" : "ListValueType",
|
|
"elementType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 38, 31, 38, 34 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 38, 36, 38, 40 ],
|
|
"name" : "items"
|
|
}
|
|
},
|
|
"index" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 38, 42, 38, 48 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"left" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 38, 42, 38, 44 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "idx"
|
|
},
|
|
"operator" : "+",
|
|
"right" : {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 38, 48, 38, 48 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 1
|
|
}
|
|
}
|
|
}
|
|
}, {
|
|
"kind" : "AssignStmt",
|
|
"location" : [ 39, 13, 39, 25 ],
|
|
"targets" : [ {
|
|
"kind" : "Identifier",
|
|
"location" : [ 39, 13, 39, 15 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "idx"
|
|
} ],
|
|
"value" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 39, 19, 39, 25 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"left" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 39, 19, 39, 21 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "idx"
|
|
},
|
|
"operator" : "+",
|
|
"right" : {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 39, 25, 39, 25 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 1
|
|
}
|
|
}
|
|
} ]
|
|
}, {
|
|
"kind" : "AssignStmt",
|
|
"location" : [ 41, 9, 41, 33 ],
|
|
"targets" : [ {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 41, 9, 41, 17 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 41, 9, 41, 12 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 41, 14, 41, 17 ],
|
|
"name" : "size"
|
|
}
|
|
} ],
|
|
"value" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 41, 21, 41, 33 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"left" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 41, 21, 41, 29 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 41, 21, 41, 24 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 41, 26, 41, 29 ],
|
|
"name" : "size"
|
|
}
|
|
},
|
|
"operator" : "-",
|
|
"right" : {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 41, 33, 41, 33 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 1
|
|
}
|
|
}
|
|
} ]
|
|
}, {
|
|
"kind" : "FuncDef",
|
|
"location" : [ 44, 5, 45, 31 ],
|
|
"name" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 44, 9, 44, 11 ],
|
|
"name" : "get"
|
|
},
|
|
"params" : [ {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 44, 13, 44, 25 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 44, 13, 44, 16 ],
|
|
"name" : "self"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 44, 18, 44, 25 ],
|
|
"className" : "Vector"
|
|
}
|
|
}, {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 44, 28, 44, 35 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 44, 28, 44, 30 ],
|
|
"name" : "idx"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 44, 33, 44, 35 ],
|
|
"className" : "int"
|
|
}
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 44, 41, 44, 43 ],
|
|
"className" : "int"
|
|
},
|
|
"declarations" : [ ],
|
|
"statements" : [ {
|
|
"kind" : "ReturnStmt",
|
|
"location" : [ 45, 9, 45, 30 ],
|
|
"value" : {
|
|
"kind" : "IndexExpr",
|
|
"location" : [ 45, 16, 45, 30 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"list" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 45, 16, 45, 25 ],
|
|
"inferredType" : {
|
|
"kind" : "ListValueType",
|
|
"elementType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 45, 16, 45, 19 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 45, 21, 45, 25 ],
|
|
"name" : "items"
|
|
}
|
|
},
|
|
"index" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 45, 27, 45, 29 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "idx"
|
|
}
|
|
}
|
|
} ]
|
|
}, {
|
|
"kind" : "FuncDef",
|
|
"location" : [ 48, 5, 49, 25 ],
|
|
"name" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 48, 9, 48, 14 ],
|
|
"name" : "length"
|
|
},
|
|
"params" : [ {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 48, 16, 48, 28 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 48, 16, 48, 19 ],
|
|
"name" : "self"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 48, 21, 48, 28 ],
|
|
"className" : "Vector"
|
|
}
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 48, 34, 48, 36 ],
|
|
"className" : "int"
|
|
},
|
|
"declarations" : [ ],
|
|
"statements" : [ {
|
|
"kind" : "ReturnStmt",
|
|
"location" : [ 49, 9, 49, 24 ],
|
|
"value" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 49, 16, 49, 24 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 49, 16, 49, 19 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 49, 21, 49, 24 ],
|
|
"name" : "size"
|
|
}
|
|
}
|
|
} ]
|
|
} ]
|
|
}, {
|
|
"kind" : "ClassDef",
|
|
"location" : [ 52, 1, 66, 0 ],
|
|
"name" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 52, 7, 52, 20 ],
|
|
"name" : "DoublingVector"
|
|
},
|
|
"superClass" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 52, 22, 52, 27 ],
|
|
"name" : "Vector"
|
|
},
|
|
"declarations" : [ {
|
|
"kind" : "VarDef",
|
|
"location" : [ 53, 5, 53, 29 ],
|
|
"var" : {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 53, 5, 53, 22 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 53, 5, 53, 18 ],
|
|
"name" : "doubling_limit"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 53, 20, 53, 22 ],
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"value" : {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 53, 26, 53, 29 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 1000
|
|
}
|
|
}, {
|
|
"kind" : "FuncDef",
|
|
"location" : [ 56, 5, 63, 31 ],
|
|
"name" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 56, 9, 56, 25 ],
|
|
"name" : "increase_capacity"
|
|
},
|
|
"params" : [ {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 56, 27, 56, 47 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 56, 27, 56, 30 ],
|
|
"name" : "self"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 56, 32, 56, 47 ],
|
|
"className" : "DoublingVector"
|
|
}
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 56, 53, 56, 55 ],
|
|
"className" : "int"
|
|
},
|
|
"declarations" : [ ],
|
|
"statements" : [ {
|
|
"kind" : "IfStmt",
|
|
"location" : [ 57, 9, 63, 8 ],
|
|
"condition" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 57, 13, 57, 55 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "bool"
|
|
},
|
|
"left" : {
|
|
"kind" : "MethodCallExpr",
|
|
"location" : [ 57, 13, 57, 27 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"method" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 57, 13, 57, 25 ],
|
|
"inferredType" : {
|
|
"kind" : "FuncType",
|
|
"parameters" : [ {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 57, 13, 57, 16 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "DoublingVector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 57, 18, 57, 25 ],
|
|
"name" : "capacity"
|
|
}
|
|
},
|
|
"args" : [ ]
|
|
},
|
|
"operator" : "<=",
|
|
"right" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 57, 32, 57, 55 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"left" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 57, 32, 57, 50 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 57, 32, 57, 35 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "DoublingVector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 57, 37, 57, 50 ],
|
|
"name" : "doubling_limit"
|
|
}
|
|
},
|
|
"operator" : "//",
|
|
"right" : {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 57, 55, 57, 55 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 2
|
|
}
|
|
}
|
|
},
|
|
"thenBody" : [ {
|
|
"kind" : "AssignStmt",
|
|
"location" : [ 58, 13, 58, 48 ],
|
|
"targets" : [ {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 58, 13, 58, 22 ],
|
|
"inferredType" : {
|
|
"kind" : "ListValueType",
|
|
"elementType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 58, 13, 58, 16 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "DoublingVector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 58, 18, 58, 22 ],
|
|
"name" : "items"
|
|
}
|
|
} ],
|
|
"value" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 58, 26, 58, 48 ],
|
|
"inferredType" : {
|
|
"kind" : "ListValueType",
|
|
"elementType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"left" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 58, 26, 58, 35 ],
|
|
"inferredType" : {
|
|
"kind" : "ListValueType",
|
|
"elementType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 58, 26, 58, 29 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "DoublingVector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 58, 31, 58, 35 ],
|
|
"name" : "items"
|
|
}
|
|
},
|
|
"operator" : "+",
|
|
"right" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 58, 39, 58, 48 ],
|
|
"inferredType" : {
|
|
"kind" : "ListValueType",
|
|
"elementType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 58, 39, 58, 42 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "DoublingVector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 58, 44, 58, 48 ],
|
|
"name" : "items"
|
|
}
|
|
}
|
|
}
|
|
} ],
|
|
"elseBody" : [ {
|
|
"kind" : "AssignStmt",
|
|
"location" : [ 62, 13, 62, 41 ],
|
|
"targets" : [ {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 62, 13, 62, 22 ],
|
|
"inferredType" : {
|
|
"kind" : "ListValueType",
|
|
"elementType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 62, 13, 62, 16 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "DoublingVector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 62, 18, 62, 22 ],
|
|
"name" : "items"
|
|
}
|
|
} ],
|
|
"value" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 62, 26, 62, 41 ],
|
|
"inferredType" : {
|
|
"kind" : "ListValueType",
|
|
"elementType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"left" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 62, 26, 62, 35 ],
|
|
"inferredType" : {
|
|
"kind" : "ListValueType",
|
|
"elementType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 62, 26, 62, 29 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "DoublingVector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 62, 31, 62, 35 ],
|
|
"name" : "items"
|
|
}
|
|
},
|
|
"operator" : "+",
|
|
"right" : {
|
|
"kind" : "ListExpr",
|
|
"location" : [ 62, 39, 62, 41 ],
|
|
"inferredType" : {
|
|
"kind" : "ListValueType",
|
|
"elementType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"elements" : [ {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 62, 40, 62, 40 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 0
|
|
} ]
|
|
}
|
|
}
|
|
} ]
|
|
}, {
|
|
"kind" : "ReturnStmt",
|
|
"location" : [ 63, 9, 63, 30 ],
|
|
"value" : {
|
|
"kind" : "MethodCallExpr",
|
|
"location" : [ 63, 16, 63, 30 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"method" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 63, 16, 63, 28 ],
|
|
"inferredType" : {
|
|
"kind" : "FuncType",
|
|
"parameters" : [ {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 63, 16, 63, 19 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "DoublingVector"
|
|
},
|
|
"name" : "self"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 63, 21, 63, 28 ],
|
|
"name" : "capacity"
|
|
}
|
|
},
|
|
"args" : [ ]
|
|
}
|
|
} ]
|
|
} ]
|
|
}, {
|
|
"kind" : "FuncDef",
|
|
"location" : [ 66, 1, 74, 13 ],
|
|
"name" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 66, 5, 66, 10 ],
|
|
"name" : "vrange"
|
|
},
|
|
"params" : [ {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 66, 12, 66, 16 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 66, 12, 66, 12 ],
|
|
"name" : "i"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 66, 14, 66, 16 ],
|
|
"className" : "int"
|
|
}
|
|
}, {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 66, 19, 66, 23 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 66, 19, 66, 19 ],
|
|
"name" : "j"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 66, 21, 66, 23 ],
|
|
"className" : "int"
|
|
}
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 66, 29, 66, 34 ],
|
|
"className" : "Vector"
|
|
},
|
|
"declarations" : [ {
|
|
"kind" : "VarDef",
|
|
"location" : [ 67, 5, 67, 19 ],
|
|
"var" : {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 67, 5, 67, 12 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 67, 5, 67, 5 ],
|
|
"name" : "v"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 67, 7, 67, 12 ],
|
|
"className" : "Vector"
|
|
}
|
|
},
|
|
"value" : {
|
|
"kind" : "NoneLiteral",
|
|
"location" : [ 67, 16, 67, 19 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "<None>"
|
|
}
|
|
}
|
|
} ],
|
|
"statements" : [ {
|
|
"kind" : "AssignStmt",
|
|
"location" : [ 68, 5, 68, 24 ],
|
|
"targets" : [ {
|
|
"kind" : "Identifier",
|
|
"location" : [ 68, 5, 68, 5 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "v"
|
|
} ],
|
|
"value" : {
|
|
"kind" : "CallExpr",
|
|
"location" : [ 68, 9, 68, 24 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "DoublingVector"
|
|
},
|
|
"function" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 68, 9, 68, 22 ],
|
|
"name" : "DoublingVector"
|
|
},
|
|
"args" : [ ]
|
|
}
|
|
}, {
|
|
"kind" : "WhileStmt",
|
|
"location" : [ 70, 5, 74, 4 ],
|
|
"condition" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 70, 11, 70, 15 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "bool"
|
|
},
|
|
"left" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 70, 11, 70, 11 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "i"
|
|
},
|
|
"operator" : "<",
|
|
"right" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 70, 15, 70, 15 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "j"
|
|
}
|
|
},
|
|
"body" : [ {
|
|
"kind" : "ExprStmt",
|
|
"location" : [ 71, 9, 71, 19 ],
|
|
"expr" : {
|
|
"kind" : "MethodCallExpr",
|
|
"location" : [ 71, 9, 71, 19 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "object"
|
|
},
|
|
"method" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 71, 9, 71, 16 ],
|
|
"inferredType" : {
|
|
"kind" : "FuncType",
|
|
"parameters" : [ {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
}, {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "object"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 71, 9, 71, 9 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "v"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 71, 11, 71, 16 ],
|
|
"name" : "append"
|
|
}
|
|
},
|
|
"args" : [ {
|
|
"kind" : "Identifier",
|
|
"location" : [ 71, 18, 71, 18 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "i"
|
|
} ]
|
|
}
|
|
}, {
|
|
"kind" : "AssignStmt",
|
|
"location" : [ 72, 9, 72, 17 ],
|
|
"targets" : [ {
|
|
"kind" : "Identifier",
|
|
"location" : [ 72, 9, 72, 9 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "i"
|
|
} ],
|
|
"value" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 72, 13, 72, 17 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"left" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 72, 13, 72, 13 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "i"
|
|
},
|
|
"operator" : "+",
|
|
"right" : {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 72, 17, 72, 17 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 1
|
|
}
|
|
}
|
|
} ]
|
|
}, {
|
|
"kind" : "ReturnStmt",
|
|
"location" : [ 74, 5, 74, 12 ],
|
|
"value" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 74, 12, 74, 12 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "v"
|
|
}
|
|
} ]
|
|
}, {
|
|
"kind" : "FuncDef",
|
|
"location" : [ 77, 1, 93, 0 ],
|
|
"name" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 77, 5, 77, 9 ],
|
|
"name" : "sieve"
|
|
},
|
|
"params" : [ {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 77, 11, 77, 18 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 77, 11, 77, 11 ],
|
|
"name" : "v"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 77, 13, 77, 18 ],
|
|
"className" : "Vector"
|
|
}
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 77, 24, 77, 29 ],
|
|
"className" : "object"
|
|
},
|
|
"declarations" : [ {
|
|
"kind" : "VarDef",
|
|
"location" : [ 78, 5, 78, 13 ],
|
|
"var" : {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 78, 5, 78, 9 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 78, 5, 78, 5 ],
|
|
"name" : "i"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 78, 7, 78, 9 ],
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"value" : {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 78, 13, 78, 13 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 0
|
|
}
|
|
}, {
|
|
"kind" : "VarDef",
|
|
"location" : [ 79, 5, 79, 13 ],
|
|
"var" : {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 79, 5, 79, 9 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 79, 5, 79, 5 ],
|
|
"name" : "j"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 79, 7, 79, 9 ],
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"value" : {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 79, 13, 79, 13 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 0
|
|
}
|
|
}, {
|
|
"kind" : "VarDef",
|
|
"location" : [ 80, 5, 80, 13 ],
|
|
"var" : {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 80, 5, 80, 9 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 80, 5, 80, 5 ],
|
|
"name" : "k"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 80, 7, 80, 9 ],
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"value" : {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 80, 13, 80, 13 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 0
|
|
}
|
|
} ],
|
|
"statements" : [ {
|
|
"kind" : "WhileStmt",
|
|
"location" : [ 82, 5, 93, 0 ],
|
|
"condition" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 82, 11, 82, 24 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "bool"
|
|
},
|
|
"left" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 82, 11, 82, 11 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "i"
|
|
},
|
|
"operator" : "<",
|
|
"right" : {
|
|
"kind" : "MethodCallExpr",
|
|
"location" : [ 82, 15, 82, 24 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"method" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 82, 15, 82, 22 ],
|
|
"inferredType" : {
|
|
"kind" : "FuncType",
|
|
"parameters" : [ {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 82, 15, 82, 15 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "v"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 82, 17, 82, 22 ],
|
|
"name" : "length"
|
|
}
|
|
},
|
|
"args" : [ ]
|
|
}
|
|
},
|
|
"body" : [ {
|
|
"kind" : "AssignStmt",
|
|
"location" : [ 83, 9, 83, 20 ],
|
|
"targets" : [ {
|
|
"kind" : "Identifier",
|
|
"location" : [ 83, 9, 83, 9 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "k"
|
|
} ],
|
|
"value" : {
|
|
"kind" : "MethodCallExpr",
|
|
"location" : [ 83, 13, 83, 20 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"method" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 83, 13, 83, 17 ],
|
|
"inferredType" : {
|
|
"kind" : "FuncType",
|
|
"parameters" : [ {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
}, {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 83, 13, 83, 13 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "v"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 83, 15, 83, 17 ],
|
|
"name" : "get"
|
|
}
|
|
},
|
|
"args" : [ {
|
|
"kind" : "Identifier",
|
|
"location" : [ 83, 19, 83, 19 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "i"
|
|
} ]
|
|
}
|
|
}, {
|
|
"kind" : "AssignStmt",
|
|
"location" : [ 84, 9, 84, 17 ],
|
|
"targets" : [ {
|
|
"kind" : "Identifier",
|
|
"location" : [ 84, 9, 84, 9 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "j"
|
|
} ],
|
|
"value" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 84, 13, 84, 17 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"left" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 84, 13, 84, 13 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "i"
|
|
},
|
|
"operator" : "+",
|
|
"right" : {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 84, 17, 84, 17 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 1
|
|
}
|
|
}
|
|
}, {
|
|
"kind" : "WhileStmt",
|
|
"location" : [ 85, 9, 90, 8 ],
|
|
"condition" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 85, 15, 85, 28 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "bool"
|
|
},
|
|
"left" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 85, 15, 85, 15 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "j"
|
|
},
|
|
"operator" : "<",
|
|
"right" : {
|
|
"kind" : "MethodCallExpr",
|
|
"location" : [ 85, 19, 85, 28 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"method" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 85, 19, 85, 26 ],
|
|
"inferredType" : {
|
|
"kind" : "FuncType",
|
|
"parameters" : [ {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 85, 19, 85, 19 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "v"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 85, 21, 85, 26 ],
|
|
"name" : "length"
|
|
}
|
|
},
|
|
"args" : [ ]
|
|
}
|
|
},
|
|
"body" : [ {
|
|
"kind" : "IfStmt",
|
|
"location" : [ 86, 13, 90, 8 ],
|
|
"condition" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 86, 16, 86, 32 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "bool"
|
|
},
|
|
"left" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 86, 16, 86, 27 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"left" : {
|
|
"kind" : "MethodCallExpr",
|
|
"location" : [ 86, 16, 86, 23 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"method" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 86, 16, 86, 20 ],
|
|
"inferredType" : {
|
|
"kind" : "FuncType",
|
|
"parameters" : [ {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
}, {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 86, 16, 86, 16 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "v"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 86, 18, 86, 20 ],
|
|
"name" : "get"
|
|
}
|
|
},
|
|
"args" : [ {
|
|
"kind" : "Identifier",
|
|
"location" : [ 86, 22, 86, 22 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "j"
|
|
} ]
|
|
},
|
|
"operator" : "%",
|
|
"right" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 86, 27, 86, 27 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "k"
|
|
}
|
|
},
|
|
"operator" : "==",
|
|
"right" : {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 86, 32, 86, 32 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 0
|
|
}
|
|
},
|
|
"thenBody" : [ {
|
|
"kind" : "ExprStmt",
|
|
"location" : [ 87, 17, 87, 30 ],
|
|
"expr" : {
|
|
"kind" : "MethodCallExpr",
|
|
"location" : [ 87, 17, 87, 30 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "object"
|
|
},
|
|
"method" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 87, 17, 87, 27 ],
|
|
"inferredType" : {
|
|
"kind" : "FuncType",
|
|
"parameters" : [ {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
}, {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "object"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 87, 17, 87, 17 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "v"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 87, 19, 87, 27 ],
|
|
"name" : "remove_at"
|
|
}
|
|
},
|
|
"args" : [ {
|
|
"kind" : "Identifier",
|
|
"location" : [ 87, 29, 87, 29 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "j"
|
|
} ]
|
|
}
|
|
} ],
|
|
"elseBody" : [ {
|
|
"kind" : "AssignStmt",
|
|
"location" : [ 89, 17, 89, 25 ],
|
|
"targets" : [ {
|
|
"kind" : "Identifier",
|
|
"location" : [ 89, 17, 89, 17 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "j"
|
|
} ],
|
|
"value" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 89, 21, 89, 25 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"left" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 89, 21, 89, 21 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "j"
|
|
},
|
|
"operator" : "+",
|
|
"right" : {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 89, 25, 89, 25 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 1
|
|
}
|
|
}
|
|
} ]
|
|
} ]
|
|
}, {
|
|
"kind" : "AssignStmt",
|
|
"location" : [ 90, 9, 90, 17 ],
|
|
"targets" : [ {
|
|
"kind" : "Identifier",
|
|
"location" : [ 90, 9, 90, 9 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "i"
|
|
} ],
|
|
"value" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 90, 13, 90, 17 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"left" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 90, 13, 90, 13 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "i"
|
|
},
|
|
"operator" : "+",
|
|
"right" : {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 90, 17, 90, 17 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 1
|
|
}
|
|
}
|
|
} ]
|
|
} ]
|
|
}, {
|
|
"kind" : "VarDef",
|
|
"location" : [ 93, 1, 93, 10 ],
|
|
"var" : {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 93, 1, 93, 5 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 93, 1, 93, 1 ],
|
|
"name" : "n"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 93, 3, 93, 5 ],
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"value" : {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 93, 9, 93, 10 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 50
|
|
}
|
|
}, {
|
|
"kind" : "VarDef",
|
|
"location" : [ 96, 1, 96, 15 ],
|
|
"var" : {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 96, 1, 96, 8 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 96, 1, 96, 1 ],
|
|
"name" : "v"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 96, 3, 96, 8 ],
|
|
"className" : "Vector"
|
|
}
|
|
},
|
|
"value" : {
|
|
"kind" : "NoneLiteral",
|
|
"location" : [ 96, 12, 96, 15 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "<None>"
|
|
}
|
|
}
|
|
}, {
|
|
"kind" : "VarDef",
|
|
"location" : [ 97, 1, 97, 9 ],
|
|
"var" : {
|
|
"kind" : "TypedVar",
|
|
"location" : [ 97, 1, 97, 5 ],
|
|
"identifier" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 97, 1, 97, 1 ],
|
|
"name" : "i"
|
|
},
|
|
"type" : {
|
|
"kind" : "ClassType",
|
|
"location" : [ 97, 3, 97, 5 ],
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"value" : {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 97, 9, 97, 9 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 0
|
|
}
|
|
} ],
|
|
"statements" : [ {
|
|
"kind" : "AssignStmt",
|
|
"location" : [ 100, 1, 100, 16 ],
|
|
"targets" : [ {
|
|
"kind" : "Identifier",
|
|
"location" : [ 100, 1, 100, 1 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "v"
|
|
} ],
|
|
"value" : {
|
|
"kind" : "CallExpr",
|
|
"location" : [ 100, 5, 100, 16 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"function" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 100, 5, 100, 10 ],
|
|
"inferredType" : {
|
|
"kind" : "FuncType",
|
|
"parameters" : [ {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}, {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
}
|
|
},
|
|
"name" : "vrange"
|
|
},
|
|
"args" : [ {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 100, 12, 100, 12 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 2
|
|
}, {
|
|
"kind" : "Identifier",
|
|
"location" : [ 100, 15, 100, 15 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "n"
|
|
} ]
|
|
}
|
|
}, {
|
|
"kind" : "ExprStmt",
|
|
"location" : [ 101, 1, 101, 8 ],
|
|
"expr" : {
|
|
"kind" : "CallExpr",
|
|
"location" : [ 101, 1, 101, 8 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "object"
|
|
},
|
|
"function" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 101, 1, 101, 5 ],
|
|
"inferredType" : {
|
|
"kind" : "FuncType",
|
|
"parameters" : [ {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "object"
|
|
}
|
|
},
|
|
"name" : "sieve"
|
|
},
|
|
"args" : [ {
|
|
"kind" : "Identifier",
|
|
"location" : [ 101, 7, 101, 7 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "v"
|
|
} ]
|
|
}
|
|
}, {
|
|
"kind" : "WhileStmt",
|
|
"location" : [ 104, 1, 108, 1 ],
|
|
"condition" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 104, 7, 104, 20 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "bool"
|
|
},
|
|
"left" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 104, 7, 104, 7 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "i"
|
|
},
|
|
"operator" : "<",
|
|
"right" : {
|
|
"kind" : "MethodCallExpr",
|
|
"location" : [ 104, 11, 104, 20 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"method" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 104, 11, 104, 18 ],
|
|
"inferredType" : {
|
|
"kind" : "FuncType",
|
|
"parameters" : [ {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 104, 11, 104, 11 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "v"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 104, 13, 104, 18 ],
|
|
"name" : "length"
|
|
}
|
|
},
|
|
"args" : [ ]
|
|
}
|
|
},
|
|
"body" : [ {
|
|
"kind" : "ExprStmt",
|
|
"location" : [ 105, 5, 105, 19 ],
|
|
"expr" : {
|
|
"kind" : "CallExpr",
|
|
"location" : [ 105, 5, 105, 19 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "<None>"
|
|
},
|
|
"function" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 105, 5, 105, 9 ],
|
|
"inferredType" : {
|
|
"kind" : "FuncType",
|
|
"parameters" : [ {
|
|
"kind" : "ClassValueType",
|
|
"className" : "object"
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "<None>"
|
|
}
|
|
},
|
|
"name" : "print"
|
|
},
|
|
"args" : [ {
|
|
"kind" : "MethodCallExpr",
|
|
"location" : [ 105, 11, 105, 18 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"method" : {
|
|
"kind" : "MemberExpr",
|
|
"location" : [ 105, 11, 105, 15 ],
|
|
"inferredType" : {
|
|
"kind" : "FuncType",
|
|
"parameters" : [ {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
}, {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
} ],
|
|
"returnType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
}
|
|
},
|
|
"object" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 105, 11, 105, 11 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "Vector"
|
|
},
|
|
"name" : "v"
|
|
},
|
|
"member" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 105, 13, 105, 15 ],
|
|
"name" : "get"
|
|
}
|
|
},
|
|
"args" : [ {
|
|
"kind" : "Identifier",
|
|
"location" : [ 105, 17, 105, 17 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "i"
|
|
} ]
|
|
} ]
|
|
}
|
|
}, {
|
|
"kind" : "AssignStmt",
|
|
"location" : [ 106, 5, 106, 13 ],
|
|
"targets" : [ {
|
|
"kind" : "Identifier",
|
|
"location" : [ 106, 5, 106, 5 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "i"
|
|
} ],
|
|
"value" : {
|
|
"kind" : "BinaryExpr",
|
|
"location" : [ 106, 9, 106, 13 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"left" : {
|
|
"kind" : "Identifier",
|
|
"location" : [ 106, 9, 106, 9 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"name" : "i"
|
|
},
|
|
"operator" : "+",
|
|
"right" : {
|
|
"kind" : "IntegerLiteral",
|
|
"location" : [ 106, 13, 106, 13 ],
|
|
"inferredType" : {
|
|
"kind" : "ClassValueType",
|
|
"className" : "int"
|
|
},
|
|
"value" : 1
|
|
}
|
|
}
|
|
} ]
|
|
} ],
|
|
"errors" : {
|
|
"errors" : [ ],
|
|
"kind" : "Errors",
|
|
"location" : [ 0, 0, 0, 0 ]
|
|
}
|
|
} |