Class MCStructuralTypesTypeVisitor
java.lang.Object
de.monticore.types3.AbstractTypeVisitor
de.monticore.types.mcstructuraltypes.types3.MCStructuralTypesTypeVisitor
- All Implemented Interfaces:
MCStructuralTypesVisitor2,de.monticore.visitor.IVisitor
public class MCStructuralTypesTypeVisitor
extends AbstractTypeVisitor
implements MCStructuralTypesVisitor2
-
Field Summary
Fields inherited from class de.monticore.types3.AbstractTypeVisitor
ctx4Ast, LOG_NAME, tmpMap, type4Ast -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoidendVisit(ASTMCBracketType bracketType) voidendVisit(ASTMCIntersectionType intersectionType) voidendVisit(ASTMCTupleType tupleType) voidendVisit(ASTMCUnionType unionType) converts the parsed tree to a list this is a specific kind of type normalization, which also reduces the complexity of the type printed, which is the reason this has been added here.transformUnionTree2List(ASTMCType mcType) converts the parsed tree to a list this is a specific kind of type normalization, which also reduces the complexity of the type printed, which is the reason this has been added here.Methods inherited from class de.monticore.types3.AbstractTypeVisitor
getAsBasicSymbolsScope, getInferenceContext4Ast, getType4Ast, setContext4Ast, setType4AstMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface de.monticore.visitor.IVisitor
endVisit, endVisit, endVisit, endVisit, visit, visit, visit, visit
-
Constructor Details
-
MCStructuralTypesTypeVisitor
public MCStructuralTypesTypeVisitor()
-
-
Method Details
-
endVisit
- Specified by:
endVisitin interfaceMCStructuralTypesVisitor2
-
endVisit
- Specified by:
endVisitin interfaceMCStructuralTypesVisitor2
-
endVisit
- Specified by:
endVisitin interfaceMCStructuralTypesVisitor2
-
endVisit
- Specified by:
endVisitin interfaceMCStructuralTypesVisitor2
-
transformUnionTree2List
converts the parsed tree to a list this is a specific kind of type normalization, which also reduces the complexity of the type printed, which is the reason this has been added here. E.g., given A | B | C, (A | B | C) is printed rather than ((A | B) | C). -
transformIntersectionTree2List
converts the parsed tree to a list this is a specific kind of type normalization, which also reduces the complexity of the type printed, which is the reason this has been added here. E.g., givenA & B & C,(A & B & C)is printed rather than((A & B) & C).
-