Class MCStructuralTypesTypeVisitor

    • Constructor Detail

      • MCStructuralTypesTypeVisitor

        public MCStructuralTypesTypeVisitor()
    • Method Detail

      • transformUnionTree2List

        protected java.util.List<ASTMCType> 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. E.g., given A | B | C, (A | B | C) is printed rather than ((A | B) | C).
      • transformIntersectionTree2List

        protected java.util.List<ASTMCType> transformIntersectionTree2List​(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. E.g., given A & B & C, (A & B & C) is printed rather than ((A & B) & C).