Package de.monticore.types.check.helpers

Interface Summary

Interface	Description
DefiningSymbolSetter	Provides an easy fassade to set the defining symbol for name, field access, and call expressions.
SubExprNameExtractor	Collects information about potential naming parts of a call expression, field access expressions, or other composed expressions so that it is easier to resolve fields / types / methods in the TypeCheck.

Class Summary

Class	Description
DefiningSymbolHandler	Provides a handlers for CommonExpressions and ExpressionBasis that implement part of the logic of DefiningSymbolSetter.
DefiningSymbolSetter4CommonExpressions	Implements DefiningSymbolSetter for common expressions by using traversers and handlers to automatically down cast expressions to their concrete type.
ExprToNamePair	Abstraction over the pair of an expression that is linked to a name.
ExprToOptNamePair	Abstraction over the pair of an expression that is optionally linked to a name.
SubExprNameExtractionResult
SubExprNameExtractionVisitor	The usage of this class is to collect information about a call expression so that it is easier to resolve in the TypeCheck We take the call expression, and split it into a qualified name and an expression having a type such that type.qualifiedName(args) has the type of the call expression if no type can be found, the expression is set to the inner expression for compatibility reasons This makes it far easier to calculate the type of call expressions.
SubExprNameExtractor4CommonExpressions	Provides a complete traverser for CommonExpressions and ExpressionBasis, using SubExprNameExtractionVisitor as a visitor.