Uses of Class
jellyj.util.TypeCheckError

Packages that use TypeCheckError
jellyj.syntaxtree 
jellyj.util 

Uses of TypeCheckError in jellyj.syntaxtree
 

Methods in jellyj.syntaxtree that throw TypeCheckError
TypeAdditiveExpNode.typeCheck(SymbolTable stable)
          
TypeAllocationExpNode.typeCheck(SymbolTable stable)
          
TypeAndExpNode.typeCheck(SymbolTable stable)
          
TypeArrayExpNode.typeCheck(SymbolTable stable)
          
TypeArrayInitializerNode.typeCheck(SymbolTable stable)
          
TypeAssignmentNode.typeCheck(SymbolTable stable)
          
TypeBlockNode.typeCheck(SymbolTable stable)
          
TypeBooleanLiteral.typeCheck(SymbolTable stable)
          
TypeBreakStatementNode.typeCheck(SymbolTable stable)
          
TypeCastExpNode.typeCheck(SymbolTable stable)
          
TypeCharacterLiteral.typeCheck(SymbolTable stable)
          
abstract TypeClassBodyDeclarationNode.typeCheck(SymbolTable stable)
          
TypeClassDeclarationNode.typeCheck(SymbolTable stable)
          
TypeCompilationUnitNode.typeCheck(SymbolTable stable)
          
TypeConditionalAndExpNode.typeCheck(SymbolTable stable)
          
TypeConditionalExpNode.typeCheck(SymbolTable stable)
          
TypeConditionalOrExpNode.typeCheck(SymbolTable stable)
          
TypeConstructorDeclarationNode.typeCheck(SymbolTable stable)
          
TypeConstructorInvocationNode.typeCheck(SymbolTable stable)
          
TypeContinueStatementNode.typeCheck(SymbolTable stable)
          
TypeDoStatementNode.typeCheck(SymbolTable stable)
          
TypeDoubleLiteral.typeCheck(SymbolTable stable)
          
TypeEmptyStatementNode.typeCheck(SymbolTable stable)
          
TypeEqualityExpNode.typeCheck(SymbolTable stable)
          
TypeExclusiveOrExpNode.typeCheck(SymbolTable stable)
          
abstract TypeExpressionNode.typeCheck(SymbolTable stable)
          
TypeFieldDeclarationNode.typeCheck(SymbolTable stable)
          
TypeFieldExpNode.typeCheck(SymbolTable stable)
          
TypeFloatLiteral.typeCheck(SymbolTable stable)
          
TypeFormalExpNode.typeCheck(SymbolTable stable)
          
TypeFormalParameterNode.typeCheck(SymbolTable stable)
          
TypeForStatementNode.typeCheck(SymbolTable stable)
          
TypeIfStatementNode.typeCheck(SymbolTable stable)
          
TypeInclusiveOrExpNode.typeCheck(SymbolTable stable)
          
TypeInstanceOfExpNode.typeCheck(SymbolTable stable)
          
TypeIntegerLiteral.typeCheck(SymbolTable stable)
          
TypeInterfaceDeclarationNode.typeCheck(SymbolTable stable)
          
abstract TypeInterfaceMemberDeclarationNode.typeCheck(SymbolTable stable)
          
TypeLabeledStatementNode.typeCheck(SymbolTable stable)
          
abstract TypeLiteral.typeCheck(SymbolTable stable)
          
TypeLocalExpNode.typeCheck(SymbolTable stable)
          
TypeLocalVarDeclarationNode.typeCheck(SymbolTable stable)
          
TypeLongLiteral.typeCheck(SymbolTable stable)
          
TypeMethodDeclarationNode.typeCheck(SymbolTable stable)
          
TypeMethodExpNode.typeCheck(SymbolTable stable)
          
TypeMultiplicativeExpNode.typeCheck(SymbolTable stable)
          
TypeNullLiteral.typeCheck(SymbolTable stable)
          
TypePackageExpNode.typeCheck(SymbolTable stable)
          
TypePostDecrementExpNode.typeCheck(SymbolTable stable)
          
TypePostIncrementExpNode.typeCheck(SymbolTable stable)
          
TypePreDecrementExpNode.typeCheck(SymbolTable stable)
          
TypePreIncrementExpNode.typeCheck(SymbolTable stable)
          
TypeRelationalExpNode.typeCheck(SymbolTable stable)
          
TypeReturnStatementNode.typeCheck(SymbolTable stable)
          
TypeShiftExpNode.typeCheck(SymbolTable stable)
          
TypeStatementExpListNode.typeCheck(SymbolTable stable)
          
TypeStatementExpNode.typeCheck(SymbolTable stable)
          
abstract TypeStatementNode.typeCheck(SymbolTable stable)
          
TypeStaticInitializerNode.typeCheck(SymbolTable stable)
          
TypeStringLiteral.typeCheck(SymbolTable stable)
          
TypeSwitchLabelNode.typeCheck(SymbolTable stable)
          
TypeSwitchStatementNode.typeCheck(SymbolTable stable)
          
TypeSymbolExpNode.typeCheck(SymbolTable stable)
          
TypeSynchronizedStatementNode.typeCheck(SymbolTable stable)
          
abstract TypeSyntaxTreeNode.typeCheck(SymbolTable stable)
          
TypeThrowStatementNode.typeCheck(SymbolTable stable)
          
TypeTryStatementNode.typeCheck(SymbolTable stable)
          
TypeTypeDeclarationNode.typeCheck(SymbolTable stable)
          
TypeUnaryMinusExpNode.typeCheck(SymbolTable stable)
          
TypeUnaryNegExpNode.typeCheck(SymbolTable stable)
          
TypeUnaryNotExpNode.typeCheck(SymbolTable stable)
          
TypeUnaryPlusExpNode.typeCheck(SymbolTable stable)
          
TypeVariableDeclaratorNode.typeCheck(SymbolTable stable)
          
TypeWhileStatementNode.typeCheck(SymbolTable stable)
          
 

Uses of TypeCheckError in jellyj.util
 

Methods in jellyj.util that throw TypeCheckError
MethodDescClassType.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