|
Method Summary |
Expr |
forceCast(Type toType,
Expr expr)
|
SourceLocation |
getSourceLocation()
|
AnonymousMethodExpr |
makeAnonMethod(Type retType,
Stmts stmts)
|
NewArrayExpr |
makeArray(Type type,
Exprs values)
|
ArrayExpr |
makeArrayRef(Expr arrayExpr,
int index)
|
BinopExpr |
makeBinop(java.lang.String op,
Expr lhs,
Expr rhs)
|
BlockStmt |
makeBlock()
|
BlockStmt |
makeBlock(ASTObject s1)
|
BlockStmt |
makeBlock(ASTObject s1,
ASTObject s2)
|
BlockStmt |
makeBlock(ASTObject s1,
ASTObject s2,
ASTObject s3)
|
BlockStmt |
makeBlock(ASTObject s1,
ASTObject s2,
ASTObject s3,
ASTObject s4)
|
BlockStmt |
makeBlock(Stmts stmts)
|
Stmt |
makeBreak(java.lang.String label)
|
CallExpr |
makeCall(Expr instance,
java.lang.String name)
|
CallExpr |
makeCall(Expr instance,
java.lang.String name,
Expr a1)
|
CallExpr |
makeCall(Expr instance,
java.lang.String name,
Expr a1,
Expr a2)
|
CallExpr |
makeCall(Expr instance,
java.lang.String name,
Exprs args)
|
CallExpr |
makeCall(MethodDec md,
Expr instance)
|
CallExpr |
makeCall(MethodDec md,
Expr instance,
Expr a1)
|
CallExpr |
makeCall(MethodDec md,
Expr instance,
Expr a1,
Expr a2)
|
CallExpr |
makeCall(MethodDec md,
Expr instance,
Exprs args)
|
CallExpr |
makeCall(Method md,
Expr instance)
|
CallExpr |
makeCall(Method md,
Expr instance,
Expr a1)
|
CallExpr |
makeCall(Method md,
Expr instance,
Expr a1,
Expr a2)
|
CallExpr |
makeCall(Method md,
Expr instance,
Exprs args)
|
Expr |
makeCast(Type toType,
Expr expr)
|
CatchClause |
makeCatch(FormalDec formal,
BlockStmt body)
|
ClassDec |
makeClass(Modifiers modifiers,
java.lang.String name,
TypeD superClass,
TypeDs _implements)
The contents of this class dec must all be name bound |
CodeBody |
makeCodeBody(Stmt s)
|
CodeBody |
makeCodeBody(Stmt s0,
Stmt s1)
|
ConstructorDec |
makeConstructor(Modifiers m,
Formals f,
TypeDs ts,
ConstructorCallExpr c,
Stmts s)
|
ConstructorBody |
makeConstructorBody(ConstructorCallExpr c,
Stmts s)
|
ConstructorCallExpr |
makeConstructorCall(boolean isSuper,
Exprs args,
Constructor constructor)
|
Stmt |
makeContinue(java.lang.String label)
|
Decs |
makeDecs()
|
FieldAccessExpr |
makeDynamicGet(FieldDec dec)
|
EmptyStmt |
makeEmptyStmt()
|
Expr |
makeEnclosingPrimary(NameType declaring,
NameType reference)
|
Exprs |
makeExprs()
|
Exprs |
makeExprs(Expr a1)
|
Exprs |
makeExprs(Expr a1,
Expr a2)
|
Exprs |
makeExprs(Expr a1,
Expr a2,
Expr a3)
|
Exprs |
makeExprs(Expr a1,
Expr a2,
Expr a3,
Expr a4)
|
Exprs |
makeExprs(Expr a1,
Expr a2,
Expr a3,
Expr a4,
Expr a5)
|
Exprs |
makeExprs(Expr a1,
Expr a2,
Expr a3,
Expr a4,
Expr a5,
Expr a6)
|
Exprs |
makeExprs(Expr a1,
Expr a2,
Expr a3,
Expr a4,
Expr a5,
Expr a6,
Expr a7)
|
FieldDec |
makeField(Modifiers mods,
Type type,
java.lang.String id)
|
FieldDec |
makeField(Modifiers mods,
Type type,
java.lang.String id,
Expr init)
|
FormalDec |
makeFinalFormal(Type type,
java.lang.String id)
|
VarDec |
makeFinalVar(Type type,
java.lang.String id,
Expr init)
|
FormalDec |
makeFormal(Type type,
java.lang.String id)
|
FormalDec |
makeFormal(Type type,
java.lang.String id,
boolean isFinal)
|
Formals |
makeFormals()
|
Formals |
makeFormals(FormalDec f1)
|
Formals |
makeFormals(FormalDec f1,
FormalDec f2)
|
java.lang.String |
makeGeneratedName(java.lang.String s)
|
FieldAccessExpr |
makeGet(Expr i,
Field field)
|
FieldAccessExpr |
makeGet(Expr i,
FieldDec field)
|
FieldAccessExpr |
makeGet(Field field)
|
FieldAccessExpr |
makeGet(FieldDec field)
|
IfStmt |
makeIf(Expr test,
Stmt trueStmt)
|
IfStmt |
makeIf(Expr test,
Stmt trueStmt,
Stmt falseStmt)
|
TriTestExpr |
makeIfExpr(Expr test,
Expr trueValue,
Expr falseValue)
|
InitializerDec |
makeInitializer(Stmts body)
|
InterfaceDec |
makeInnerInterface(TypeDec outerTypeDec,
Modifiers modifiers,
java.lang.String name,
TypeDs _implements)
|
Expr |
makeInstanceof(Expr expr,
Type ofType)
|
InterfaceDec |
makeInterface(Modifiers modifiers,
java.lang.String name,
TypeDs _implements)
|
LabeledStmt |
makeLabeled(java.lang.String label,
Stmt stmt)
|
BooleanLiteralExpr |
makeLiteral(boolean b)
|
DoubleLiteralExpr |
makeLiteral(double d)
|
FloatLiteralExpr |
makeLiteral(float f)
|
IntLiteralExpr |
makeLiteral(int i)
|
LongLiteralExpr |
makeLiteral(long l)
|
StringLiteralExpr |
makeLiteral(java.lang.String s)
|
Expr |
makeLiteral(Type type)
|
LogNotOpExpr |
makeLogNot(Expr arg)
|
MethodDec |
makeMethod(Modifiers mods,
Type retType,
java.lang.String name,
Formals formals,
BlockStmt body)
|
Modifiers |
makeModifiers(int value)
|
NewInstanceExpr |
makeNew(Type type)
|
NewInstanceExpr |
makeNew(Type type,
Expr a1)
|
NewInstanceExpr |
makeNew(Type type,
Expr a1,
Expr a2)
|
NewInstanceExpr |
makeNew(Type type,
Exprs args)
|
NewInstanceExpr |
makeNew(Type type,
Exprs args,
Constructor constructor)
|
NewArrayExpr |
makeNewArray(ArrayType type,
ArrayInitializer init)
|
Expr |
makeNonNullTest(Expr expr)
|
Expr |
makeNotFoundExpr()
|
Expr |
makeNotInstanceofTest(Expr expr,
Type ofType)
|
NullExpr |
makeNull()
|
Expr |
makeNullTest(Expr expr)
|
NewArrayExpr |
makeObjectArray(Exprs values)
|
Expr |
makeParen(Expr expr)
|
PostfixExpr |
makePostfix(Expr i,
FieldDec field,
java.lang.String op)
|
PrefixExpr |
makePrefix(Expr i,
FieldDec field,
java.lang.String op)
|
Expr |
makePrimary(Dec dec,
NameType referenceType)
|
Expr |
makePrimary(Dec dec,
TypeDec referenceDec)
|
Expr |
makePrimary(NameType declaring,
NameType reference,
boolean isStatic)
|
Expr |
makePrimary(NameType declaring,
NameType reference,
boolean isStatic,
boolean isThisAvailable)
|
Expr |
makePrimary(SemanticObject o,
NameType referenceType)
|
Expr |
makePrimary(SemanticObject o,
TypeDec referenceDec)
|
ConstructorCallExpr |
makeQualifiedConstructorCall(Exprs args,
Constructor constructor,
Expr primary)
|
QualifiedThisExpr |
makeQualifiedThis(Type type)
|
QualifiedThisExpr |
makeQualifiedThis(TypeD typeD)
|
ReturnStmt |
makeReturn()
|
ReturnStmt |
makeReturn(Expr e)
|
AssignExpr |
makeSet(AssignableExpr lhs,
Expr rhs)
|
AssignExpr |
makeSet(AssignableExpr lhs,
java.lang.String op,
Expr rhs)
|
AssignExpr |
makeSet(Expr i,
FieldDec field,
Expr rhs)
|
AssignExpr |
makeSet(Expr i,
Field field,
Expr rhs)
|
AssignExpr |
makeSet(FieldDec fd,
Expr rhs)
|
AssignExpr |
makeSet(Field fd,
Expr rhs)
|
AssignExpr |
makeSet(VarDec vd,
Expr rhs)
|
CallExpr |
makeStaticCall(MethodDec dec,
Expr a1)
|
CallExpr |
makeStaticCall(MethodDec method,
Exprs args)
|
CallExpr |
makeStaticCall(Method dec,
Expr a1)
|
CallExpr |
makeStaticCall(Method method,
Exprs args)
|
CallExpr |
makeStaticCall(Type type,
java.lang.String name)
|
CallExpr |
makeStaticCall(Type type,
java.lang.String name,
Expr a1)
|
CallExpr |
makeStaticCall(Type type,
java.lang.String name,
Expr a1,
Expr a2)
|
CallExpr |
makeStaticCall(Type type,
java.lang.String name,
Expr a1,
Expr a2,
Expr a3)
|
CallExpr |
makeStaticCall(Type type,
java.lang.String name,
Expr a1,
Expr a2,
Expr a3,
Expr a4)
|
CallExpr |
makeStaticCall(Type type,
java.lang.String name,
Expr a1,
Expr a2,
Expr a3,
Expr a4,
Expr a5)
|
CallExpr |
makeStaticCall(Type type,
java.lang.String name,
Expr a1,
Expr a2,
Expr a3,
Expr a4,
Expr a5,
Expr a6)
|
CallExpr |
makeStaticCall(Type type,
java.lang.String name,
Expr a1,
Expr a2,
Expr a3,
Expr a4,
Expr a5,
Expr a6,
Expr a7)
|
CallExpr |
makeStaticCall(Type type,
java.lang.String name,
Exprs args)
|
FieldAccessExpr |
makeStaticGet(Type type,
java.lang.String name)
|
InitializerDec |
makeStaticInitializer(Stmts body)
|
Stmt |
makeStmt(Expr expr)
|
Stmts |
makeStmts()
|
Stmts |
makeStmts(Stmt s1)
|
Stmts |
makeStmts(Stmt s1,
Stmt s2)
|
Stmts |
makeStmts(Stmt s1,
Stmt s2,
Stmt s3)
|
StringLiteralExpr |
makeString(java.lang.String s)
|
CallExpr |
makeSuperCall(Method md,
Exprs args)
|
ConstructorCallExpr |
makeSuperConstructorCall(Constructor constructor)
|
ConstructorCallExpr |
makeSuperConstructorCall(Exprs args,
Constructor constructor)
|
ThisExpr |
makeThis(Type thisType)
|
ThrowStmt |
makeThrow(Expr e)
|
ThrowStmt |
makeThrow(Type t)
|
ThrowStmt |
makeThrow(Type t,
java.lang.String message)
|
TriTestExpr |
makeTriTest(Expr t,
Expr c,
Expr a)
|
TryCatchStmt |
makeTryCatch(BlockStmt block,
CatchClause catchClause)
|
TryCatchStmt |
makeTryCatch(BlockStmt block,
FormalDec formal,
Stmt catchStmt)
|
TryFinallyStmt |
makeTryFinally(Stmt block,
Stmt finallyBlock)
|
TypeDs |
makeTypeDs()
|
TypeDs |
makeTypeDs(TypeD ty0)
|
TypeExpr |
makeTypeExpr(Type type)
|
TypeExpr |
makeTypeExpr(TypeD typeD)
|
UnopExpr |
makeUnop(java.lang.String op,
Expr lhs)
|
VarExpr |
makeVar(VarDec dec)
|
VarDec |
makeVarDec(Modifiers mods,
Type type,
java.lang.String id,
Expr init)
|
VarDec |
makeVarDec(Type type,
java.lang.String id,
Expr init)
|
VarDec |
makeVarDec(Type type,
java.lang.String id,
Expr init,
boolean isFinal)
|
Exprs |
makeVars( |