Package de.monticore.types.check.helpers
package de.monticore.types.check.helpers
-
ClassDescriptionProvides a handlers for CommonExpressions and ExpressionBasis that implement part of the logic of
DefiningSymbolSetter.Provides an easy fassade to set the defining symbol for name, field access, and call expressions.ImplementsDefiningSymbolSetterfor common expressions by using traversers and handlers to automatically down cast expressions to their concrete type.Abstraction over the pair of an expression that is linked to a name.Abstraction over the pair of an expression that is optionally linked to a name.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.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.Provides a complete traverser for CommonExpressions and ExpressionBasis, usingSubExprNameExtractionVisitoras a visitor.