| |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TypeCheckError | |
jellyj.syntaxtree | |
jellyj.util |
Uses of TypeCheckError in jellyj.syntaxtree |
Methods in jellyj.syntaxtree that throw TypeCheckError | |
Type | AdditiveExpNode.typeCheck(SymbolTable stable) |
Type | AllocationExpNode.typeCheck(SymbolTable stable) |
Type | AndExpNode.typeCheck(SymbolTable stable) |
Type | ArrayExpNode.typeCheck(SymbolTable stable) |
Type | ArrayInitializerNode.typeCheck(SymbolTable stable) |
Type | AssignmentNode.typeCheck(SymbolTable stable) |
Type | BlockNode.typeCheck(SymbolTable stable) |
Type | BooleanLiteral.typeCheck(SymbolTable stable) |
Type | BreakStatementNode.typeCheck(SymbolTable stable) |
Type | CastExpNode.typeCheck(SymbolTable stable) |
Type | CharacterLiteral.typeCheck(SymbolTable stable) |
abstract Type | ClassBodyDeclarationNode.typeCheck(SymbolTable stable) |
Type | ClassDeclarationNode.typeCheck(SymbolTable stable) |
Type | CompilationUnitNode.typeCheck(SymbolTable stable) |
Type | ConditionalAndExpNode.typeCheck(SymbolTable stable) |
Type | ConditionalExpNode.typeCheck(SymbolTable stable) |
Type | ConditionalOrExpNode.typeCheck(SymbolTable stable) |
Type | ConstructorDeclarationNode.typeCheck(SymbolTable stable) |
Type | ConstructorInvocationNode.typeCheck(SymbolTable stable) |
Type | ContinueStatementNode.typeCheck(SymbolTable stable) |
Type | DoStatementNode.typeCheck(SymbolTable stable) |
Type | DoubleLiteral.typeCheck(SymbolTable stable) |
Type | EmptyStatementNode.typeCheck(SymbolTable stable) |
Type | EqualityExpNode.typeCheck(SymbolTable stable) |
Type | ExclusiveOrExpNode.typeCheck(SymbolTable stable) |
abstract Type | ExpressionNode.typeCheck(SymbolTable stable) |
Type | FieldDeclarationNode.typeCheck(SymbolTable stable) |
Type | FieldExpNode.typeCheck(SymbolTable stable) |
Type | FloatLiteral.typeCheck(SymbolTable stable) |
Type | FormalExpNode.typeCheck(SymbolTable stable) |
Type | FormalParameterNode.typeCheck(SymbolTable stable) |
Type | ForStatementNode.typeCheck(SymbolTable stable) |
Type | IfStatementNode.typeCheck(SymbolTable stable) |
Type | InclusiveOrExpNode.typeCheck(SymbolTable stable) |
Type | InstanceOfExpNode.typeCheck(SymbolTable stable) |
Type | IntegerLiteral.typeCheck(SymbolTable stable) |
Type | InterfaceDeclarationNode.typeCheck(SymbolTable stable) |
abstract Type | InterfaceMemberDeclarationNode.typeCheck(SymbolTable stable) |
Type | LabeledStatementNode.typeCheck(SymbolTable stable) |
abstract Type | Literal.typeCheck(SymbolTable stable) |
Type | LocalExpNode.typeCheck(SymbolTable stable) |
Type | LocalVarDeclarationNode.typeCheck(SymbolTable stable) |
Type | LongLiteral.typeCheck(SymbolTable stable) |
Type | MethodDeclarationNode.typeCheck(SymbolTable stable) |
Type | MethodExpNode.typeCheck(SymbolTable stable) |
Type | MultiplicativeExpNode.typeCheck(SymbolTable stable) |
Type | NullLiteral.typeCheck(SymbolTable stable) |
Type | PackageExpNode.typeCheck(SymbolTable stable) |
Type | PostDecrementExpNode.typeCheck(SymbolTable stable) |
Type | PostIncrementExpNode.typeCheck(SymbolTable stable) |
Type | PreDecrementExpNode.typeCheck(SymbolTable stable) |
Type | PreIncrementExpNode.typeCheck(SymbolTable stable) |
Type | RelationalExpNode.typeCheck(SymbolTable stable) |
Type | ReturnStatementNode.typeCheck(SymbolTable stable) |
Type | ShiftExpNode.typeCheck(SymbolTable stable) |
Type | StatementExpListNode.typeCheck(SymbolTable stable) |
Type | StatementExpNode.typeCheck(SymbolTable stable) |
abstract Type | StatementNode.typeCheck(SymbolTable stable) |
Type | StaticInitializerNode.typeCheck(SymbolTable stable) |
Type | StringLiteral.typeCheck(SymbolTable stable) |
Type | SwitchLabelNode.typeCheck(SymbolTable stable) |
Type | SwitchStatementNode.typeCheck(SymbolTable stable) |
Type | SymbolExpNode.typeCheck(SymbolTable stable) |
Type | SynchronizedStatementNode.typeCheck(SymbolTable stable) |
abstract Type | SyntaxTreeNode.typeCheck(SymbolTable stable) |
Type | ThrowStatementNode.typeCheck(SymbolTable stable) |
Type | TryStatementNode.typeCheck(SymbolTable stable) |
Type | TypeDeclarationNode.typeCheck(SymbolTable stable) |
Type | UnaryMinusExpNode.typeCheck(SymbolTable stable) |
Type | UnaryNegExpNode.typeCheck(SymbolTable stable) |
Type | UnaryNotExpNode.typeCheck(SymbolTable stable) |
Type | UnaryPlusExpNode.typeCheck(SymbolTable stable) |
Type | VariableDeclaratorNode.typeCheck(SymbolTable stable) |
Type | WhileStatementNode.typeCheck(SymbolTable stable) |
Uses of TypeCheckError in jellyj.util |
Methods in jellyj.util that throw TypeCheckError | |
MethodDesc | ClassType.findMethod(MethodDesc mdesc) Search for a method in this type or in any of its super types Returns the closest unique occurrence of a method type, that is most specific, or null if no match was established If the most specific method type is not unique, than we have 2 cases : - if the 2 methods are defined in the same class, than an ambiguous type error is thrown - if the 2 mthods are defined in different classes, than we have 2 sub cases - if the 2 method types are identical, than the one closer to the leaf of the type hierarchy overrides the one higher up - if the 2 method types are not identical, then a ambiguous type error is thrown If a more specific method type is encountered higher up in the type hierarchy, then this also results in an ambiguous type error |
| |||||||||
PREV NEXT | FRAMES NO FRAMES |