| Method Summary |
|
| protected boolean | assrt(Node n, boolean cond, String msgFormat, Object... msgArgs)
Use this for asserting that the input is typed correctly. |
| protected void | assrtLegalHandledExceptions(GNode n)
|
| protected void | assrtLegalIdentifier(GNode n, String id)
|
| protected void | assrtLegalMethod(GNode n, MethodT method)
|
| protected void | assrtLegalMethodBody(GNode n, Type method)
|
| final public List<File> | classpath()
|
| public Type | dispatchRValue(GNode n)
|
| public static Type | getRValueNoError(Type type)
|
| protected static boolean | hasModifier(Type t, String m)
|
| public boolean | isHandled(Type tThrown)
|
| public JavaExternalAnalyzer | newExternalAnalyzer(Runtime runtime, SymbolTable table)
|
| final protected Type | resolveIfAlias(Type type)
|
| final protected Type | resolveIfAlias(Type type, Node n)
|
| public static Type | setType(Node n, Type result)
|
| final public Type | visitAdditiveExpression(GNode n)
Visit an AdditiveExpression = Expression ("+" / "-") Expression
(gosling_et_al_2000 §15.18). |
| final public List<Type> | visitArguments(GNode n)
Visit Arguments = Expression* (gosling_et_al_2000 §15.9,
§15.12). |
| final public Type | visitArrayInitializer(GNode n)
Visit an ArrayInitializer = VariableInitializer* (gosling_et_al_2000 §10.6). |
| final public void | visitBasicCastExpression(GNode n)
|
| final public void | visitBasicForControl(GNode n)
Visit a BasicForControl = VariableModifiers Type Declarators [Expression] [ExpressionList]
/ null null [ExpressionList] [Expression] [ExpressionList]
(gosling_et_al_2000 §14.13). |
| final public Type | visitBitwiseAndExpression(GNode n)
Visit a BitwiseAndExpression = Expression Expression
(gosling_et_al_2000 §15.22,
§15.28). |
| final public Type | visitBitwiseNegationExpression(GNode n)
Visit a BitwiseNegationExpression = Expression
(gosling_et_al_2000 §15.15,
§15.28). |
| final public Type | visitBitwiseOrExpression(GNode n)
Visit a BitwiseOrExpression = Expression Expression
(gosling_et_al_2000 §15.22,
§15.28). |
| final public Type | visitBitwiseXorExpression(GNode n)
Visit a BitwiseXorExpression = Expression Expression
(gosling_et_al_2000 §15.22,
§15.28). |
| final public Type | visitBlock(GNode n)
Visit a Block = DeclarationOrStatement* (gosling_et_al_2000 §14.2). |
| final public void | visitBlockDeclaration(GNode n)
Visit a BlockDeclaration = ["static"] Block (gosling_et_al_2000 §8.6,
§8.7). |
| final public Type | visitBooleanLiteral(GNode n)
Visit a BooleanLiteral (gosling_et_al_2000 §3.10.3,
§15.8.1,
§15.28). |
| final public void | visitBreakStatement(GNode n)
Visit a BreakStatement = [Identifier] (gosling_et_al_2000 §14.14). |
| final public Type | visitCallExpression(GNode n)
Visit a CallExpression = [Expression] null MethodName Arguments
(gosling_et_al_2000 §15.12). |
| final public Type | visitCaseClause(GNode n)
Visit a CaseClause = Expression DeclarationOrStatement* (gosling_et_al_2000 §14.10). |
| final public Type | visitCastExpression(GNode n)
Visit a CastExpression = Type Expression (gosling_et_al_2000 §15.16,
§15.28). |
| final public Type | visitCatchClause(GNode n)
Visit a CatchClause = FormalParameter Block (gosling_et_al_2000 §14.19). |
| final public Type | visitCharacterLiteral(GNode n)
Visit a CharacterLiteral (gosling_et_al_2000 §3.10.4,
§15.8.1,
§15.28). |
| final public void | visitClassBody(GNode n)
Visit a ClassBody = Declaration* (gosling_et_al_2000
§8.1.5,
§9.1.3,
§15.9). |
| final public void | visitClassDeclaration(GNode n)
Visit a ClassDeclaration = Modifiers Identifier null [Extension]
[Implementation] ClassBody (gosling_et_al_2000 §8.1,
§14.3). |
| final public Type | visitClassLiteralExpression(GNode n)
Visit a ClassLiteralExpression = Type (gosling_et_al_2000 §15.8.2). |
| public void | visitCompilationUnit(GNode n)
Visit a CompilationUnit = [PackageDeclaration] ImportDeclaration*
Declaration* (gosling_et_al_2000
§7.3). |
| final public List<Type> | visitConcreteDimensions(GNode n)
Visit a ConcreteDimensions = Expression+ (gosling_et_al_2000 §15.10). |
| final public Type | visitConditionalExpression(GNode n)
Visit a ConditionalExpression = Expression Expression Expression
(gosling_et_al_2000 §15.25,
§15.28). |
| final public void | visitConditionalStatement(GNode n)
Visit a ConditionalStatement = Expression Statement [Statement]
(gosling_et_al_2000 §14.9). |
| final public void | visitConstructorDeclaration(GNode n)
|
| final public void | visitContinueStatement(GNode n)
Visit a ContinueStatement = [Identifier] (gosling_et_al_2000 §14.15). |
| final public Type | visitDeclarator(GNode n)
Visit Declarator = Identifier [Dimensions] [VariableInitializer]. |
| final public List<Type> | visitDeclarators(GNode n)
Visit Declarators = Declarator+
(gosling_et_al_2000 §14.4). |
| final public void | visitDefaultClause(GNode n)
Visit a DefaultClause = DeclarationOrStatement* (gosling_et_al_2000 §14.10). |
| final public void | visitDoWhileStatement(GNode n)
Visit a DoWhileStatement = Statement Expression (gosling_et_al_2000 §14.12). |
| final public void | visitEmptyDeclaration(GNode n)
Visit a EmptyDeclaration = (no children) (gosling_et_al_2000 §14.6). |
| final public void | visitEmptyStatement(GNode n)
Visit a EmptyStatement = (no children) (gosling_et_al_2000 §14.6). |
| final public Type | visitEqualityExpression(GNode n)
Visit a EqualityExpression = Expression ("==" / "!=") Expression
(gosling_et_al_2000 §15.21). |
| final public Type | visitExpression(GNode n)
Visit a Expression = Expression ("=" / "+=" / "-=" / "*=" / "/=" / "&=" / "|=" / "^=" / "%=" / "<<=" / ">>=" / ">>>=") Expression
(gosling_et_al_2000 §15.26). |
| final public List<Type> | visitExpressionList(GNode n)
Visit an ExpressionList = Expression* (gosling_et_al_2000 §14.13). |
| final public void | visitExpressionStatement(GNode n)
Visit an ExpressionStatement = Expression (gosling_et_al_2000 §14.8). |
| final public List<Type> | visitFieldDeclaration(GNode n)
Visit a FieldDeclaration = Modifiers Type Declarators (gosling_et_al_2000
§8.3). |
| final public Type | visitFloatingPointLiteral(GNode n)
Visit a FloatingPointLiteral (gosling_et_al §3.10.2,
§15.8.1,
§15.28). |
| final public void | visitForStatement(GNode n)
Visit a ForStatement = ForControl Statement
(gosling_et_al_2000 §14.13). |
| final public Type | visitFormalParameter(GNode n)
Visit a FormalParameter = [Modifier] Type null Identifier [Dimensions] (gosling_et_al_2000 §8.4.1,
8.8.1,
§14.19). |
| final public List<Type> | visitFormalParameters(GNode n)
Visit FormalParameters = FormalParameter* (gosling_et_al_2000 §8.4.1,
8.8.1. |
| final public void | visitImportDeclaration(GNode n)
Visit a ImportDeclaration = QualifiedIdentifier ["*"] (gosling_et_al_2000
§7.5). |
| final public Type | visitInstanceOfExpression(GNode n)
Visit an InstanceOfExpression = Expression Type (gosling_et_al_2000 §15.20). |
| final public Type | visitIntegerLiteral(GNode n)
Visit an IntegerLiteral (gosling_et_al_2000 §3.10.1,
§15.8.1,
§15.28). |
| final public void | visitInterfaceDeclaration(GNode n)
Visit a InterfaceDeclaration = Modifiers Identifier null [Extension] ClassBody
(gosling_et_al_2000 §9.1). |
| final public void | visitLabeledStatement(GNode n)
Visit a LabeledStatement = Identifier Statement (gosling_et_al_2000 §14.7). |
| final public Type | visitLogicalAndExpression(GNode n)
Visit a LogicalAndExpression = Expression Expression
(gosling_et_al_2000 §15.22,
§15.28). |
| final public Type | visitLogicalNegationExpression(GNode n)
Visit a LogicalNegationExpression = Expression
(gosling_et_al_2000 §15.15,
§15.28). |
| final public Type | visitLogicalOrExpression(GNode n)
Visit a LogicalOrExpression = Expression Expression
(gosling_et_al_2000 §15.22,
§15.28). |
| public Type | visitMethodDeclaration(GNode n)
Visit a MethodDeclaration = Modifiers null Type Identifier FormalParameters [Dimensions]
[ThrowsClause] [Block] (gosling_et_al_2000 §8.4,
8.8,
9.4). |
| final public List<Attribute> | visitModifiers(GNode n)
Visit a Modifiers = Modifier* (gosling_et_al_2000
§8.1.1,
§8.3.1,
§8.4.3,
§8.5.1,
§8.8.3,
§9.1.1). |
| final public Type | visitMultiplicativeExpression(GNode n)
Visit a MultiplicativeExpression = Expression ("*" / "/" / "%") Expression
(gosling_et_al_2000 §15.17). |
| final public Type | visitNewArrayExpression(GNode n)
Visit a NewArrayExpression = TypeName ConcreteDimensions [Dimensions] null / TypeName null [Dimensions] ArrayInitializer.
href="http://java.sun.com/docs/books/jls/second_edition/html/expressions.doc.html#46168">§15.10). |
| final public Type | visitNewClassExpression(GNode n)
Visit a NewClassExpression = [Expression] Type TypeName Arguments [ClassBody]
(gosling_et_al_2000 §15.9). |
| final public Type | visitNullLiteral(GNode n)
Visit a NullLiteral (gosling_et_al_2000 §3.10.7,
§15.8.1). |
| final public void | visitPackageDeclaration(GNode n)
Visit a PackageDeclaration = QualifiedIdentifier (gosling_et_al_2000 §7.4). |
| final public Type | visitPostfixExpression(GNode n)
Visit a PostfixExpression = Expression ("++" / "--")
(gosling_et_al_2000 §15.14). |
| public Type | visitPrimaryIdentifier(GNode n)
Visit a PrimaryIdentifier = Identifier (gosling_et_al_2000 §6.5). |
| final public Type | visitPrimitiveType(GNode n)
Visit a PrimitiveType = ("byte" / "short" / "char" / "int" / "long" / "float" / "double" / "boolean")
(gosling_et_al_2000 §4.2). |
| final public String | visitQualifiedIdentifier(GNode n)
Visit a QualifiedIdentifier = Identifier+ (gosling_et_al_2000 §6.5). |
| final public Type | visitRelationalExpression(GNode n)
Visit a RelationalExpression = Expression ("<" / ">" / "<=" / ">=") Expression
(gosling_et_al_2000 §15.20). |
| public void | visitReturnStatement(GNode n)
Visit a ReturnStatement = [Expression] (gosling_et_al_2000 §14.16). |
| final public Type | visitSelectionExpression(GNode n)
Visit a SelectionExpression = Expression Identifier (gosling_et_al_2000 §15.11.1,
§15.28). |
| final public Type | visitShiftExpression(GNode n)
Visit a ShiftExpression = Expression ("<<" / ">>" / ">>>") Expression
(gosling_et_al_2000 §15.19). |
| final public Type | visitStringLiteral(GNode n)
Visit a StringLiteral (gosling_et_al_2000 §3.10.5,
§15.8.1,
§15.28). |
| final public Type | visitSubscriptExpression(GNode n)
Visit a SubscriptExpression = Expression Expression (gosling_et_al_2000 §15.13). |
| final public Type | visitSuperExpression(GNode n)
Visit a SuperExpression = [Type] (gosling_et_al_2000 §15.11.2). |
| final public void | visitSwitchStatement(GNode n)
Visit a SwitchStatement = Expression SwitchClause* (gosling_et_al_2000 §14.10). |
| final public void | visitSynchronizedStatement(GNode n)
Visit a SynchronizedStatement = Expression Block (gosling_et_al_2000 §14.18). |
| final public Type | visitThisExpression(GNode n)
Visit a ThisExpression = [Expression] (gosling_et_al_2000
§15.8.3,
§15.8.4). |
| final public void | visitThrowStatement(GNode n)
Visit a ThrowStatement = Expression (gosling_et_al_2000 §14.17). |
| final public List<Type> | visitTryCatchFinallyStatement(GNode n)
Visit a TryCatchFinallyStatement = Block CatchClause* [Block]
(gosling_et_al_2000 §14.19). |
| final public Type | visitType(GNode n)
Visit a Type = TypeName Dimensions
(gosling_et_al_2000 §4,
§10.1). |
| final public Type | visitUnaryExpression(GNode n)
Visit a UnaryExpression = ("+" / "-" / "++" / "--") Expression
(gosling_et_al_2000 §15.15,
§15.28). |
| final public void | visitWhileStatement(GNode n)
Visit a WhileStatement = Expression Statement (gosling_et_al_2000 §14.11). |
