org.aspectj.compiler.base.ast
Class AST

java.lang.Object
  org.aspectj.compiler.base.CompilerObject
      org.aspectj.compiler.base.ast.AST

public class AST

extends org.aspectj.compiler.base.CompilerObject

Field Summary

static java.lang.String

PREFIX

Constructor Summary

AST(SourceLocation location)

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(Formals formals)
Exprs	makeVars(Formals formals, int i)
WhileStmt	makeWhile(Expr test, Stmt body)

Methods inherited from class org.aspectj.compiler.base.CompilerObject

getAST, getCompiler, getOptions, getTypeManager, getWorld

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

PREFIX

public static final java.lang.String PREFIX

See Also:

Constant Field Values

Constructor Detail

AST

public AST(SourceLocation location)

Method Detail

getSourceLocation

public SourceLocation getSourceLocation()

makeGeneratedName

public java.lang.String makeGeneratedName(java.lang.String s)

makeString

public StringLiteralExpr makeString(java.lang.String s)

makeStaticCall

public CallExpr makeStaticCall(MethodDec method,
                               Exprs args)

makeStaticCall

public CallExpr makeStaticCall(MethodDec dec,
                               Expr a1)

makeStaticCall

public CallExpr makeStaticCall(Method method,
                               Exprs args)

makeStaticCall

public CallExpr makeStaticCall(Method dec,
                               Expr a1)

makeStaticCall

public CallExpr makeStaticCall(Type type,
                               java.lang.String name,
                               Exprs args)

makeStaticCall

public CallExpr makeStaticCall(Type type,
                               java.lang.String name)

makeStaticCall

public CallExpr makeStaticCall(Type type,
                               java.lang.String name,
                               Expr a1)

makeStaticCall

public CallExpr makeStaticCall(Type type,
                               java.lang.String name,
                               Expr a1,
                               Expr a2)

makeStaticCall

public CallExpr makeStaticCall(Type type,
                               java.lang.String name,
                               Expr a1,
                               Expr a2,
                               Expr a3)

makeStaticCall

public CallExpr makeStaticCall(Type type,
                               java.lang.String name,
                               Expr a1,
                               Expr a2,
                               Expr a3,
                               Expr a4)

makeStaticCall

public CallExpr makeStaticCall(Type type,
                               java.lang.String name,
                               Expr a1,
                               Expr a2,
                               Expr a3,
                               Expr a4,
                               Expr a5)

makeStaticCall

public CallExpr makeStaticCall(Type type,
                               java.lang.String name,
                               Expr a1,
                               Expr a2,
                               Expr a3,
                               Expr a4,
                               Expr a5,
                               Expr a6)

makeStaticCall

public CallExpr makeStaticCall(Type type,
                               java.lang.String name,
                               Expr a1,
                               Expr a2,
                               Expr a3,
                               Expr a4,
                               Expr a5,
                               Expr a6,
                               Expr a7)

makeNew

public NewInstanceExpr makeNew(Type type,
                               Exprs args,
                               Constructor constructor)

makeNew

public NewInstanceExpr makeNew(Type type,
                               Exprs args)

makeNew

public NewInstanceExpr makeNew(Type type)

makeNew

public NewInstanceExpr makeNew(Type type,
                               Expr a1)

makeNew

public NewInstanceExpr makeNew(Type type,
                               Expr a1,
                               Expr a2)

makeNewArray

public NewArrayExpr makeNewArray(ArrayType type,
                                 ArrayInitializer init)

makeQualifiedConstructorCall

public ConstructorCallExpr makeQualifiedConstructorCall(Exprs args,
                                                        Constructor constructor,
                                                        Expr primary)

makeConstructorCall

public ConstructorCallExpr makeConstructorCall(boolean isSuper,
                                               Exprs args,
                                               Constructor constructor)

makeSuperConstructorCall

public ConstructorCallExpr makeSuperConstructorCall(Exprs args,
                                                    Constructor constructor)

makeSuperConstructorCall

public ConstructorCallExpr makeSuperConstructorCall(Constructor constructor)

makeConstructorBody

public ConstructorBody makeConstructorBody(ConstructorCallExpr c,
                                           Stmts s)

makeConstructor

public ConstructorDec makeConstructor(Modifiers m,
                                      Formals f,
                                      TypeDs ts,
                                      ConstructorCallExpr c,
                                      Stmts s)

makeCall

public CallExpr makeCall(Expr instance,
                         java.lang.String name,
                         Exprs args)

makeCall

public CallExpr makeCall(Expr instance,
                         java.lang.String name)

makeCall

public CallExpr makeCall(Expr instance,
                         java.lang.String name,
                         Expr a1)

makeCall

public CallExpr makeCall(Expr instance,
                         java.lang.String name,
                         Expr a1,
                         Expr a2)

makeCall

public CallExpr makeCall(Method md,
                         Expr instance,
                         Exprs args)

makeCall

public CallExpr makeCall(Method md,
                         Expr instance)

makeCall

public CallExpr makeCall(Method md,
                         Expr instance,
                         Expr a1)

makeCall

public CallExpr makeCall(Method md,
                         Expr instance,
                         Expr a1,
                         Expr a2)

makeCall

public CallExpr makeCall(MethodDec md,
                         Expr instance,
                         Exprs args)

makeCall

public CallExpr makeCall(MethodDec md,
                         Expr instance)

makeCall

public CallExpr makeCall(MethodDec md,
                         Expr instance,
                         Expr a1)

makeCall

public CallExpr makeCall(MethodDec md,
                         Expr instance,
                         Expr a1,
                         Expr a2)

makeSuperCall

public CallExpr makeSuperCall(Method md,
                              Exprs args)

makeLogNot

public LogNotOpExpr makeLogNot(Expr arg)

makeExprs

public Exprs makeExprs()

makeExprs

public Exprs makeExprs(Expr a1)

makeExprs

public Exprs makeExprs(Expr a1,
                       Expr a2)

makeExprs

public Exprs makeExprs(Expr a1,
                       Expr a2,
                       Expr a3)

makeExprs

public Exprs makeExprs(Expr a1,
                       Expr a2,
                       Expr a3,
                       Expr a4)

makeExprs

public Exprs makeExprs(Expr a1,
                       Expr a2,
                       Expr a3,
                       Expr a4,
                       Expr a5)

makeExprs

public Exprs makeExprs(Expr a1,
                       Expr a2,
                       Expr a3,
                       Expr a4,
                       Expr a5,
                       Expr a6)

makeExprs

public Exprs makeExprs(Expr a1,
                       Expr a2,
                       Expr a3,
                       Expr a4,
                       Expr a5,
                       Expr a6,
                       Expr a7)

makeTriTest

public TriTestExpr makeTriTest(Expr t,
                               Expr c,
                               Expr a)

makeStmt

public Stmt makeStmt(Expr expr)

makeIfExpr

public TriTestExpr makeIfExpr(Expr test,
                              Expr trueValue,
                              Expr falseValue)

makeBinop

public BinopExpr makeBinop(java.lang.String op,
                           Expr lhs,
                           Expr rhs)

makeUnop

public UnopExpr makeUnop(java.lang.String op,
                         Expr lhs)

makeDynamicGet

public FieldAccessExpr makeDynamicGet(FieldDec dec)

makeStaticGet

public FieldAccessExpr makeStaticGet(Type type,
                                     java.lang.String name)

forceCast

public Expr forceCast(Type toType,
                      Expr expr)

makeCast

public Expr makeCast(Type toType,
                     Expr expr)

makeNotInstanceofTest

public Expr makeNotInstanceofTest(Expr expr,
                                  Type ofType)

makeInstanceof

public Expr makeInstanceof(Expr expr,
                           Type ofType)

makeThis

public ThisExpr makeThis(Type thisType)

makeQualifiedThis

public QualifiedThisExpr makeQualifiedThis(TypeD typeD)

makeQualifiedThis

public QualifiedThisExpr makeQualifiedThis(Type type)

makeTypeExpr

public TypeExpr makeTypeExpr(TypeD typeD)

makeTypeExpr

public TypeExpr makeTypeExpr(Type type)

makeNonNullTest

public Expr makeNonNullTest(Expr expr)

makeNullTest

public Expr makeNullTest(Expr expr)

makeLiteral

public BooleanLiteralExpr makeLiteral(boolean b)

makeLiteral

public IntLiteralExpr makeLiteral(int i)

makeLiteral

public LongLiteralExpr makeLiteral(long l)

makeLiteral

public FloatLiteralExpr makeLiteral(float f)

makeLiteral

public DoubleLiteralExpr makeLiteral(double d)

makeLiteral

public StringLiteralExpr makeLiteral(java.lang.String s)

makeLiteral

public Expr makeLiteral(Type type)

makeNull

public NullExpr makeNull()

makeVars

public Exprs makeVars(Formals formals)

makeVars

public Exprs makeVars(Formals formals,
                      int i)

makeNotFoundExpr

public Expr makeNotFoundExpr()

makeVar

public VarExpr makeVar(VarDec dec)

makeParen

public Expr makeParen(Expr expr)

makeSet

public AssignExpr makeSet(AssignableExpr lhs,
                          Expr rhs)

makeSet

public AssignExpr makeSet(AssignableExpr lhs,
                          java.lang.String op,
                          Expr rhs)

makeSet

public AssignExpr makeSet(VarDec vd,
                          Expr rhs)

makeSet

public AssignExpr makeSet(FieldDec fd,
                          Expr rhs)

makeSet

public AssignExpr makeSet(Field fd,
                          Expr rhs)

makeSet

public AssignExpr makeSet(Expr i,
                          Field field,
                          Expr rhs)

makeSet

public AssignExpr makeSet(Expr i,
                          FieldDec field,
                          Expr rhs)

makeGet

public FieldAccessExpr makeGet(Expr i,
                               FieldDec field)

makeGet

public FieldAccessExpr makeGet(FieldDec field)

makeGet

public FieldAccessExpr makeGet(Expr i,
                               Field field)

makePrefix

public PrefixExpr makePrefix(Expr i,
                             FieldDec field,
                             java.lang.String op)

makePostfix

public PostfixExpr makePostfix(Expr i,
                               FieldDec field,
                               java.lang.String op)

makePrimary

public Expr makePrimary(SemanticObject o,
                        NameType referenceType)

makePrimary

public Expr makePrimary(SemanticObject o,
                        TypeDec referenceDec)

makePrimary

public Expr makePrimary(Dec dec,
                        TypeDec referenceDec)

makePrimary

public Expr makePrimary(Dec dec,
                        NameType referenceType)

makePrimary

public Expr makePrimary(NameType declaring,
                        NameType reference,
                        boolean isStatic)

makePrimary

public Expr makePrimary(NameType declaring,
                        NameType reference,
                        boolean isStatic,
                        boolean isThisAvailable)

makeEnclosingPrimary

public Expr makeEnclosingPrimary(NameType declaring,
                                 NameType reference)

makeGet

public FieldAccessExpr makeGet(Field field)

makeDecs

public Decs makeDecs()

makeTypeDs

public TypeDs makeTypeDs()

makeTypeDs

public TypeDs makeTypeDs(TypeD ty0)

makeArray

public NewArrayExpr makeArray(Type type,
                              Exprs values)

makeObjectArray

public NewArrayExpr makeObjectArray(Exprs values)

makeModifiers

public Modifiers makeModifiers(int value)

makeFormal

public FormalDec makeFormal(Type type,
                            java.lang.String id)

makeFinalFormal

public FormalDec makeFinalFormal(Type type,
                                 java.lang.String id)

makeFormal

public FormalDec makeFormal(Type type,
                            java.lang.String id,
                            boolean isFinal)

makeFormals

public Formals makeFormals()

makeFormals

public Formals makeFormals(FormalDec f1)

makeFormals

public Formals makeFormals(FormalDec f1,
                           FormalDec f2)

makeVarDec

public VarDec makeVarDec(Modifiers mods,
                         Type type,
                         java.lang.String id,
                         Expr init)

makeVarDec

public VarDec makeVarDec(Type type,
                         java.lang.String id,
                         Expr init,
                         boolean isFinal)

makeVarDec

public VarDec makeVarDec(Type type,
                         java.lang.String id,
                         Expr init)

makeFinalVar

public VarDec makeFinalVar(Type type,
                           java.lang.String id,
                           Expr init)

makeArrayRef

public ArrayExpr makeArrayRef(Expr arrayExpr,
                              int index)

makeField

public FieldDec makeField(Modifiers mods,
                          Type type,
                          java.lang.String id)

makeField

public FieldDec makeField(Modifiers mods,
                          Type type,
                          java.lang.String id,
                          Expr init)

makeInitializer

public InitializerDec makeInitializer(Stmts body)

makeStaticInitializer

public InitializerDec makeStaticInitializer(Stmts body)

makeMethod

public MethodDec makeMethod(Modifiers mods,
                            Type retType,
                            java.lang.String name,
                            Formals formals,
                            BlockStmt body)

makeCodeBody

public CodeBody makeCodeBody(Stmt s)

makeCodeBody

public CodeBody makeCodeBody(Stmt s0,
                             Stmt s1)

makeIf

public IfStmt makeIf(Expr test,
                     Stmt trueStmt,
                     Stmt falseStmt)

makeIf

public IfStmt makeIf(Expr test,
                     Stmt trueStmt)

makeTryFinally

public TryFinallyStmt makeTryFinally(Stmt block,
                                     Stmt finallyBlock)

makeTryCatch

public TryCatchStmt makeTryCatch(BlockStmt block,
                                 FormalDec formal,
                                 Stmt catchStmt)

makeTryCatch

public TryCatchStmt makeTryCatch(BlockStmt block,
                                 CatchClause catchClause)

makeWhile

public WhileStmt makeWhile(Expr test,
                           Stmt body)

makeReturn

public ReturnStmt makeReturn()

makeReturn

public ReturnStmt makeReturn(Expr e)

makeThrow

public ThrowStmt makeThrow(Expr e)

makeThrow

public ThrowStmt makeThrow(Type t)

makeThrow

public ThrowStmt makeThrow(Type t,
                           java.lang.String message)

makeCatch

public CatchClause makeCatch(FormalDec formal,
                             BlockStmt body)

makeLabeled

public LabeledStmt makeLabeled(java.lang.String label,
                               Stmt stmt)

makeBreak

public Stmt makeBreak(java.lang.String label)

makeContinue

public Stmt makeContinue(java.lang.String label)

makeBlock

public BlockStmt makeBlock()

makeBlock

public BlockStmt makeBlock(ASTObject s1)

makeBlock

public BlockStmt makeBlock(ASTObject s1,
                           ASTObject s2)

makeBlock

public BlockStmt makeBlock(ASTObject s1,
                           ASTObject s2,
                           ASTObject s3)

makeBlock

public BlockStmt makeBlock(ASTObject s1,
                           ASTObject s2,
                           ASTObject s3,
                           ASTObject s4)

makeBlock

public BlockStmt makeBlock(Stmts stmts)

makeStmts

public Stmts makeStmts()

makeStmts

public Stmts makeStmts(Stmt s1)

makeStmts

public Stmts makeStmts(Stmt s1,
                       Stmt s2)

makeStmts

public Stmts makeStmts(Stmt s1,
                       Stmt s2,
                       Stmt s3)

makeEmptyStmt

public EmptyStmt makeEmptyStmt()

makeInnerInterface

public InterfaceDec makeInnerInterface(TypeDec outerTypeDec,
                                       Modifiers modifiers,
                                       java.lang.String name,
                                       TypeDs _implements)

makeInterface

public InterfaceDec makeInterface(Modifiers modifiers,
                                  java.lang.String name,
                                  TypeDs _implements)

makeClass

public ClassDec makeClass(Modifiers modifiers,
                          java.lang.String name,
                          TypeD superClass,
                          TypeDs _implements)

The contents of this class dec must all be name bound

makeAnonMethod

public AnonymousMethodExpr makeAnonMethod(Type retType,
                                          Stmts stmts)