Deprecated API

Contents

• For Removal
• Interfaces
• Classes
• Enums
• Fields
• Methods
• Constructors

For Removal

Element	Description
de.monticore.expressions.assignmentexpressions.cocos.AssignmentExpressionsOnlyAssignToLValuesCoCo(ILValueRelations)
de.monticore.expressions.assignmentexpressions.types3.AssignmentExpressionsTypeVisitor.derive(ASTAssignmentExpression, SymTypeExpression, SymTypeExpression)
de.monticore.expressions.assignmentexpressions.types3.AssignmentExpressionsTypeVisitor.setOperatorCalculator(TypeVisitorOperatorCalculator)	is now a static delegate
de.monticore.expressions.bitexpressions.types3.BitExpressionsTypeVisitor.setOperatorCalculator(TypeVisitorOperatorCalculator)	is now a static delegate
de.monticore.expressions.commonexpressions.types3.CommonExpressionsTypeVisitor.setOperatorCalculator(TypeVisitorOperatorCalculator)	is now a static delegate
de.monticore.expressions.commonexpressions.types3.CommonExpressionsTypeVisitor.setTypeContextCalculator(TypeContextCalculator)	is now a static delegate
de.monticore.expressions.commonexpressions.types3.CommonExpressionsTypeVisitor.setWithinScopeResolver(WithinScopeBasicSymbolsResolver)	is now a static delegate
de.monticore.expressions.commonexpressions.types3.CommonExpressionsTypeVisitor.setWithinTypeBasicSymbolsResolver(WithinTypeBasicSymbolsResolver)	is now a static delegate
de.monticore.expressions.expressionsbasis.types3.ExpressionBasisTypeIdAsConstructorTypeVisitor.setOOWithinTypeResolver(OOWithinTypeBasicSymbolsResolver)	is now a static delegate
de.monticore.expressions.expressionsbasis.types3.ExpressionBasisTypeVisitor.setWithinScopeResolver(WithinScopeBasicSymbolsResolver)	is now a static delegate
de.monticore.expressions.uglyexpressions.types3.UglyExpressionsTypeVisitor.setOOWithinTypeBasicSymbolsResolver(OOWithinTypeBasicSymbolsResolver)	is now a static delegate
de.monticore.expressions.uglyexpressions.types3.UglyExpressionsTypeVisitor.setTypeContextCalculator(TypeContextCalculator)	is now a static delegate
de.monticore.ocl.oclexpressions.symboltable.OCLExpressionsSymbolTableCompleter.deriver
de.monticore.ocl.oclexpressions.symboltable.OCLExpressionsSymbolTableCompleter.setDeriver(IDerive)	initialize TypeCheck3
de.monticore.ocl.oclexpressions.symboltable.OCLExpressionsSymbolTableCompleter.setSynthesizer(ISynthesize)	initialize TypeCheck3
de.monticore.ocl.oclexpressions.symboltable.OCLExpressionsSymbolTableCompleter.synthesizer
de.monticore.ocl.optionaloperators.types3.OptionalOperatorsTypeVisitor.setOperatorCalculator(TypeVisitorOperatorCalculator)	is now a static delegate
de.monticore.types.check.SymTypeExpression.isValidType()	not well-thought-out and unused
de.monticore.types.check.SymTypeExpressionFactory.createArrayFromString(String, IBasicSymbolsScope)
de.monticore.types.check.SymTypeExpressionFactory.createGenerics(TypeSymbol)	bad name, tends to be misused, s.a. SymTypeExpressionFactory.createGenericsDeclaredType(TypeSymbol)
de.monticore.types.check.SymTypeExpressionFactory.createGenericsFromString(String, IBasicSymbolsScope)
de.monticore.types.check.SymTypeExpressionFactory.createTypeArray(TypeSymbol, int, SymTypeExpression)	arrays do not have a type symbol use SymTypeExpressionFactory.createTypeArray(SymTypeExpression, int)
de.monticore.types.check.SymTypeExpressionFactory.createTypeExpression(TypeSymbol)	misused all the time, bad name; More often than not, one does not create a SymTypeExpression based solely on a symbol, consider either using TypeCheck3.symTypeFromAST(de.monticore.types.mcbasictypes._ast.ASTMCType), WithinScopeBasicSymbolsResolver.resolveType(IBasicSymbolsScope, String), or any other method in this class.
de.monticore.types.check.SymTypeExpressionFactory.createTypeObject(String, IBasicSymbolsScope)	did hide the usage of surrogate, and leads to questionable code consider using WithinScopeBasicSymbolsResolver.resolveType(IBasicSymbolsScope, String), of creating a Surrogate explicitly (only if required)
de.monticore.types.check.SymTypeExpressionFactory.createTypeVariable(String, IBasicSymbolsScope)	create a symbol and use it to create a SymTypeVariable SymTypeExpressionFactory.createTypeVariable(TypeVarSymbol)
de.monticore.types.check.SymTypeExpressionFactory.getSubGenerics(List<String>, IBasicSymbolsScope)
de.monticore.types.check.SymTypeExpressionFactory.iterateBrackets(String, int)
de.monticore.types.check.SymTypeOfGenerics(TypeSymbol)	use SymTypeExpressionFactory The Factory then uses the constructor below
de.monticore.types.check.SymTypeOfGenerics.box(SymTypeOfGenerics)	use SymtypeBoxingVisitor
de.monticore.types.check.SymTypeOfGenerics.boxMap
de.monticore.types.check.SymTypeOfGenerics.getBaseName()	unused outside of tests, but not required for tests use Names instead, or getTypeInfo().getName()
de.monticore.types.check.SymTypeOfGenerics.getFullName()	same as the the other 2 methods even in spec? use SymTypeOfGenerics.getTypeConstructorFullName()
de.monticore.types.check.SymTypeOfGenerics.printTypeWithoutTypeArgument()	same as the the other 2 methods even in spec? use SymTypeOfGenerics.getTypeConstructorFullName()
de.monticore.types.check.SymTypeOfGenerics.unbox(SymTypeOfGenerics)	use SymTypeUnboxingVisitor
de.monticore.types.check.SymTypeOfGenerics.unboxMap
de.monticore.types.check.SymTypeOfObject.getBaseName()	unused outside of tests, but not required for tests use Names instead, or getTypeInfo().getName()
de.monticore.types.check.SymTypeOfObject.getObjName()	questionable name: getter and setter do different things. one may add a getObjFullName() or similar if required also, seems unused in our main projects
de.monticore.types.check.SymTypeOfObject.setObjName(String)	unused in main projects
de.monticore.types.check.SymTypePrimitive.getBaseOfBoxedName()	only used in 1 test ONCE... in our main projects
de.monticore.types.check.SymTypePrimitive.primitiveTypes	cannot assume fixed set for all languages
de.monticore.types.check.SymTypePrimitive.setPrimitiveName(String)	only used in tests in our main projects
de.monticore.types.check.SymTypeVariable.getVarName()	unused in main projects also: getter and setter do something different, questionable
de.monticore.types.check.SymTypeVariable.setVarName(String)	unused in main projects
de.monticore.types.mcbasictypes.types3.MCBasicTypesTypeVisitor.setTypeContextCalculator(TypeContextCalculator)	is now a static delegate
de.monticore.types.mcbasictypes.types3.MCBasicTypesTypeVisitor.setWithinScopeResolver(WithinScopeBasicSymbolsResolver)	is now a static delegate
de.monticore.types.mcbasictypes.types3.MCBasicTypesTypeVisitor.setWithinTypeResolver(WithinTypeBasicSymbolsResolver)	is now a static delegate
de.monticore.types3.generics.TypeParameterRelations.isInferenceVariable(SymTypeExpression)
de.monticore.types3.SymTypeRelations.internal_isSubTypeOf(SymTypeExpression, SymTypeExpression, boolean)	use constrain* methods above.
de.monticore.types3.SymTypeRelations.internal_isSubTypeOfPreNormalized(SymTypeExpression, SymTypeExpression, boolean)	Use constrain* methods above.
de.monticore.types3.util.BuiltInTypeRelations(SymTypeRelations)	use constructor BuiltInTypeRelations()
de.monticore.types3.util.ILValueRelations	use LValueRelations
de.monticore.types3.util.OOWithinTypeBasicSymbolsResolver.resolveConstructorLocally(IBasicSymbolsScope, String, AccessModifier, Predicate<FunctionSymbol>)	is to be made private, use OOWithinTypeBasicSymbolsResolver.resolveConstructors(de.monticore.types.check.SymTypeExpression, de.monticore.symboltable.modifiers.AccessModifier, java.util.function.Predicate<de.monticore.symbols.basicsymbols._symboltable.FunctionSymbol>)
de.monticore.types3.util.SymTypeCompatibilityCalculator.getSuperTypes(SymTypeExpression)
de.monticore.types3.util.SymTypeCompatibilityCalculator.internal_isSubTypeOf(SymTypeExpression, SymTypeExpression, boolean)	use SymTypeCompatibilityCalculator.constrainSubTypeOf(SymTypeExpression, SymTypeExpression)
de.monticore.types3.util.SymTypeCompatibilityCalculator.internal_isSubTypeOfPreNormalized(SymTypeExpression, SymTypeExpression, boolean)
de.monticore.types3.util.WithinScopeBasicSymbolsResolver.setTypeContextCalculator(TypeContextCalculator)	is now a static delegate
de.monticore.types3.util.WithinScopeBasicSymbolsResolver.setWithinTypeBasicSymbolsResolver(WithinTypeBasicSymbolsResolver)	is now a static delegate
de.monticore.types3.util.WithinScopeBasicSymbolsResolver.typeOfNameAsExpr(IBasicSymbolsScope, String)	use WithinScopeBasicSymbolsResolver.resolveNameAsExpr(IBasicSymbolsScope, String)
de.monticore.types3.util.WithinScopeBasicSymbolsResolver.typeOfNameAsTypeId(IBasicSymbolsScope, String)	use WithinScopeBasicSymbolsResolver.resolveType(de.monticore.symbols.basicsymbols._symboltable.IBasicSymbolsScope, java.lang.String)

Interfaces

Interface	Description
de.monticore.types.check.IDerive	use TypeCheck3
de.monticore.types.check.ISynthesize	use TypeCheck3
de.monticore.types.check.ITypeRelations	use SymTypeRelations
de.monticore.types.mccollectiontypes.types3.IMCCollectionTypeRelations	use MCCollectionSymTypeRelations
de.monticore.types3.ISymTypeRelations	use SymTypeRelations
de.monticore.types3.ITypeCalculator	use TypeCheck3
de.monticore.types3.util.ILValueRelations	use LValueRelations

Classes

Class	Description
de.monticore.expressions.cocos.ExpressionValid	not compatible with target typing, thus, this needs to be replaced with multiple CoCos, which do pass the target type if available. These CoCos have to be created for each non-terminal that contains an Expression. Please refer to the TypeCheck3 documentation and specifically TypeCheck3.typeOf(ASTExpression, de.monticore.types.check.SymTypeExpression).
de.monticore.expressions.commonexpressions.cocos.FunctionCallArgumentsMatchesRegExCoCo	to be replaced by typechecking Constants directly, no direct alternatives
de.monticore.expressions.lambdaexpressions._symboltable.LambdaExpressionsSTCompleteTypes	use LambdaExpressionsSTCompleteTypes2
de.monticore.grammar.grammar._symboltable.ProdSymbolSurrogate
de.monticore.statements.mccommonstatements._symboltable.MCCommonStatementsSTCompleteTypes	Use MCCommonStatementsSymTabCompletion instead
de.monticore.statements.mcvardeclarationstatements._symboltable.MCVarDeclarationStatementsSTCompleteTypes	Use MCVarDeclarationStatementsSymTabCompletion instead
de.monticore.types.check.AbstractDerive	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.AbstractDeriveFromExpression	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.AbstractSynthesize	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.AbstractSynthesizeFromType	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.DeriveSymTypeOfAssignmentExpressions	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.DeriveSymTypeOfBitExpressions	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.DeriveSymTypeOfBSCommonExpressions	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.DeriveSymTypeOfCommonExpressions	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.DeriveSymTypeOfExpression	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.DeriveSymTypeOfJavaClassExpressions	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.DeriveSymTypeOfLambdaExpressions	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.DeriveSymTypeOfLiterals	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.DeriveSymTypeOfMCCommonLiterals	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.DeriveSymTypeOfMCJavaLiterals	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.DeriveSymTypeOfUglyExpressions	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.FullSynthesizeFromMCArrayTypes	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.FullSynthesizeFromMCBasicTypes	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.FullSynthesizeFromMCCollectionTypes	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.FullSynthesizeFromMCFullGenericTypes	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.FullSynthesizeFromMCFunctionTypes	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.FullSynthesizeFromMCSimpleGenericTypes	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.SynthesizeSymTypeFromMCArrayTypes	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.SynthesizeSymTypeFromMCBasicTypes	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.SynthesizeSymTypeFromMCCollectionTypes	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.SynthesizeSymTypeFromMCFullGenericTypes	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.SynthesizeSymTypeFromMCFunctionTypes	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.SynthesizeSymTypeFromMCSimpleGenericTypes	part of typecheck1, use TypeCheck3 instead.
de.monticore.types.check.TypeCalculator	use TypeCheck3 and SymTypeRelations
de.monticore.types.check.TypeCheck
de.monticore.types.check.TypeCheckResult	of no use anymore, ISynthesize/IDerive are deprecated
de.monticore.types.check.TypeRelations	use SymTypeRelations
de.monticore.types.mccollectiontypes.types3.util.MCCollectionTypeRelations	integrated into MCCollectionSymTypesRelations
de.monticore.types3.TypeCalculator3	use TypeCheck3

Enums

Enum	Description
de.monticore.cardinality._ast.CardinalityLiterals
de.monticore.completeness._ast.CompletenessLiterals
de.monticore.expressions.assignmentexpressions._ast.AssignmentExpressionsLiterals
de.monticore.expressions.bitexpressions._ast.BitExpressionsLiterals
de.monticore.expressions.commonexpressions._ast.CommonExpressionsLiterals
de.monticore.expressions.expressionsbasis._ast.ExpressionsBasisLiterals
de.monticore.expressions.javaclassexpressions._ast.JavaClassExpressionsLiterals
de.monticore.expressions.lambdaexpressions._ast.LambdaExpressionsLiterals
de.monticore.expressions.streamexpressions._ast.StreamExpressionsLiterals
de.monticore.expressions.tupleexpressions._ast.TupleExpressionsLiterals
de.monticore.expressions.uglyexpressions._ast.UglyExpressionsLiterals
de.monticore.grammar.concepts.antlr.antlr._ast.AntlrLiterals
de.monticore.grammar.grammar_withconcepts._ast.Grammar_WithConceptsLiterals
de.monticore.grammar.grammar._ast.GrammarLiterals
de.monticore.javalight._ast.JavaLightLiterals
de.monticore.literals.mccommonliterals._ast.MCCommonLiteralsLiterals
de.monticore.literals.mcjavaliterals._ast.MCJavaLiteralsLiterals
de.monticore.literals.mcliteralsbasis._ast.MCLiteralsBasisLiterals
de.monticore.mcbasics._ast.MCBasicsLiterals
de.monticore.mccommon._ast.MCCommonLiterals
de.monticore.ocl.oclexpressions._ast.OCLExpressionsLiterals
de.monticore.ocl.optionaloperators._ast.OptionalOperatorsLiterals
de.monticore.ocl.setexpressions._ast.SetExpressionsLiterals
de.monticore.regex.regextype._ast.RegExTypeLiterals
de.monticore.regex.regularexpressions._ast.RegularExpressionsLiterals
de.monticore.siunit.siunitliterals._ast.SIUnitLiteralsLiterals
de.monticore.siunit.siunits._ast.SIUnitsLiterals
de.monticore.siunit.siunittypes4computing._ast.SIUnitTypes4ComputingLiterals
de.monticore.siunit.siunittypes4math._ast.SIUnitTypes4MathLiterals
de.monticore.statements.mcarraystatements._ast.MCArrayStatementsLiterals
de.monticore.statements.mcassertstatements._ast.MCAssertStatementsLiterals
de.monticore.statements.mccommonstatements._ast.MCCommonStatementsLiterals
de.monticore.statements.mcexceptionstatements._ast.MCExceptionStatementsLiterals
de.monticore.statements.mcfulljavastatements._ast.MCFullJavaStatementsLiterals
de.monticore.statements.mclowlevelstatements._ast.MCLowLevelStatementsLiterals
de.monticore.statements.mcreturnstatements._ast.MCReturnStatementsLiterals
de.monticore.statements.mcstatementsbasis._ast.MCStatementsBasisLiterals
de.monticore.statements.mcsynchronizedstatements._ast.MCSynchronizedStatementsLiterals
de.monticore.statements.mcvardeclarationstatements._ast.MCVarDeclarationStatementsLiterals
de.monticore.symbols.basicsymbols._ast.BasicSymbolsLiterals
de.monticore.symbols.compsymbols._ast.CompSymbolsLiterals
de.monticore.symbols.oosymbols._ast.OOSymbolsLiterals
de.monticore.tagging.tags._ast.TagsLiterals
de.monticore.tagging.tagschema._ast.TagSchemaLiterals
de.monticore.tf.odrulegeneration._ast.ODRuleGenerationLiterals
de.monticore.tf.odrules._ast.ODRulesLiterals
de.monticore.tf.tfbasisexts._ast.TFBasisExtsLiterals
de.monticore.tf.tfcommons._ast.TFCommonsLiterals
de.monticore.types.mcarraytypes._ast.MCArrayTypesLiterals
de.monticore.types.mcbasictypes._ast.MCBasicTypesLiterals
de.monticore.types.mccollectiontypes._ast.MCCollectionTypesLiterals
de.monticore.types.mcfullgenerictypes._ast.MCFullGenericTypesLiterals
de.monticore.types.mcfunctiontypes._ast.MCFunctionTypesLiterals
de.monticore.types.mcsimplegenerictypes._ast.MCSimpleGenericTypesLiterals
de.monticore.types.mcstructuraltypes._ast.MCStructuralTypesLiterals
de.monticore.types.typeparameters._ast.TypeParametersLiterals
de.monticore.umlmodifier._ast.UMLModifierLiterals
de.monticore.umlstereotype._ast.UMLStereotypeLiterals

Fields

Field	Description
de.monticore.expressions.assignmentexpressions.cocos.LiteralAssignmentMatchesRegExExpressionCoCo.derive
de.monticore.expressions.commonexpressions._ast.ASTCallExpression.definingSymbol
de.monticore.expressions.commonexpressions._ast.ASTFieldAccessExpression.definingSymbol
de.monticore.expressions.expressionsbasis._ast.ASTNameExpression.definingSymbol
de.monticore.expressions.lambdaexpressions._symboltable.LambdaExpressionsSTCompleteTypes2.typeTraverser
de.monticore.grammar.grammar_withconcepts._parser.Grammar_WithConceptsAntlrLexer.tokenNames	Use Grammar_WithConceptsAntlrLexer.VOCABULARY instead.
de.monticore.grammar.grammar_withconcepts._parser.Grammar_WithConceptsAntlrParser.tokenNames	Use Grammar_WithConceptsAntlrParser.VOCABULARY instead.
de.monticore.ocl.oclexpressions.symboltable.OCLExpressionsSymbolTableCompleter.deriver
de.monticore.ocl.oclexpressions.symboltable.OCLExpressionsSymbolTableCompleter.synthesizer
de.monticore.siunit.siunits._parser.SIUnitsAntlrLexer.tokenNames	Use SIUnitsAntlrLexer.VOCABULARY instead.
de.monticore.siunit.siunits._parser.SIUnitsAntlrParser.tokenNames	Use SIUnitsAntlrParser.VOCABULARY instead.
de.monticore.statements.mccommonstatements.cocos.ExpressionStatementIsValid.typeCheck
de.monticore.statements.mcvardeclarationstatements._cocos.VarDeclarationInitializationHasCorrectType.typeDeriver
de.monticore.tagging.tags._parser.TagsAntlrLexer.tokenNames	Use TagsAntlrLexer.VOCABULARY instead.
de.monticore.tagging.tags._parser.TagsAntlrParser.tokenNames	Use TagsAntlrParser.VOCABULARY instead.
de.monticore.tf.odrules._parser.ODRulesAntlrLexer.tokenNames	Use ODRulesAntlrLexer.VOCABULARY instead.
de.monticore.tf.odrules._parser.ODRulesAntlrParser.tokenNames	Use ODRulesAntlrParser.VOCABULARY instead.
de.monticore.types.check.SymTypeExpression.functionList
de.monticore.types.check.SymTypeExpression.typeSymbol	TypeSymbols are to be found in the corresponding subclasses, however, not every subclass will have a type symbol
de.monticore.types.check.SymTypeOfFunction.TYPESYMBOL_NAME	only required for the deprecated type symbol
de.monticore.types.check.SymTypeOfGenerics.boxMap
de.monticore.types.check.SymTypeOfGenerics.unboxMap
de.monticore.types.check.SymTypePrimitive.boxMap
de.monticore.types.check.SymTypePrimitive.primitiveTypes	cannot assume fixed set for all languages
de.monticore.types.check.SymTypePrimitive.unboxMap
de.monticore.types.check.types3wrapper.TypeCheck3AsIDerive.type4Ast
de.monticore.types.check.types3wrapper.TypeCheck3AsIDerive.typeTraverser
de.monticore.types.check.types3wrapper.TypeCheck3AsISynthesize.type4Ast
de.monticore.types.check.types3wrapper.TypeCheck3AsISynthesize.typeTraverser
de.monticore.types.check.types3wrapper.TypeCheck3AsTypeCalculator.type4Ast
de.monticore.types.check.types3wrapper.TypeCheck3AsTypeCalculator.typeTraverser

Methods

Method	Description
de.monticore.expressions.assignmentexpressions.types3.AssignmentExpressionsTypeVisitor.derive(ASTAssignmentExpression, SymTypeExpression, SymTypeExpression)
de.monticore.expressions.assignmentexpressions.types3.AssignmentExpressionsTypeVisitor.setOperatorCalculator(TypeVisitorOperatorCalculator)	is now a static delegate
de.monticore.expressions.bitexpressions.types3.BitExpressionsTypeVisitor.setOperatorCalculator(TypeVisitorOperatorCalculator)	is now a static delegate
de.monticore.expressions.commonexpressions._ast.ASTCallExpression.getDefiningSymbol()	part of TypeCheck1. instead use SymTypeExpression.getSourceInfo().
de.monticore.expressions.commonexpressions._ast.ASTCallExpression.setDefiningSymbol(ISymbol)	part of TypeCheck1. Not required in TypeCheck3.
de.monticore.expressions.commonexpressions._ast.ASTFieldAccessExpression.getDefiningSymbol()	part of TypeCheck1. instead use SymTypeExpression.getSourceInfo().
de.monticore.expressions.commonexpressions._ast.ASTFieldAccessExpression.setDefiningSymbol(ISymbol)	part of TypeCheck1. Not required in TypeCheck3.
de.monticore.expressions.commonexpressions.types3.CommonExpressionsTypeVisitor.calculateExprFieldAccess(ASTFieldAccessExpression)
de.monticore.expressions.commonexpressions.types3.CommonExpressionsTypeVisitor.calculateExprQName(ASTFieldAccessExpression)
de.monticore.expressions.commonexpressions.types3.CommonExpressionsTypeVisitor.setOperatorCalculator(TypeVisitorOperatorCalculator)	is now a static delegate
de.monticore.expressions.commonexpressions.types3.CommonExpressionsTypeVisitor.setTypeContextCalculator(TypeContextCalculator)	is now a static delegate
de.monticore.expressions.commonexpressions.types3.CommonExpressionsTypeVisitor.setWithinScopeResolver(WithinScopeBasicSymbolsResolver)	is now a static delegate
de.monticore.expressions.commonexpressions.types3.CommonExpressionsTypeVisitor.setWithinTypeBasicSymbolsResolver(WithinTypeBasicSymbolsResolver)	is now a static delegate
de.monticore.expressions.expressionsbasis._ast.ASTNameExpression.getDefiningSymbol()	part of TypeCheck1. instead use SymTypeExpression.getSourceInfo().
de.monticore.expressions.expressionsbasis._ast.ASTNameExpression.setDefiningSymbol(ISymbol)	part of TypeCheck1. Not required in TypeCheck3.
de.monticore.expressions.expressionsbasis.types3.ExpressionBasisTypeIdAsConstructorTypeVisitor.setOOWithinTypeResolver(OOWithinTypeBasicSymbolsResolver)	is now a static delegate
de.monticore.expressions.expressionsbasis.types3.ExpressionBasisTypeVisitor.setWithinScopeResolver(WithinScopeBasicSymbolsResolver)	is now a static delegate
de.monticore.expressions.lambdaexpressions._symboltable.LambdaExpressionsSTCompleteTypes2.calculateType(ASTMCType)
de.monticore.expressions.lambdaexpressions._symboltable.LambdaExpressionsSTCompleteTypes2.getTypeMap()
de.monticore.expressions.lambdaexpressions._symboltable.LambdaExpressionsSTCompleteTypes2.getTypeTraverser()
de.monticore.expressions.uglyexpressions.types3.UglyExpressionsTypeVisitor.setOOWithinTypeBasicSymbolsResolver(OOWithinTypeBasicSymbolsResolver)	is now a static delegate
de.monticore.expressions.uglyexpressions.types3.UglyExpressionsTypeVisitor.setTypeContextCalculator(TypeContextCalculator)	is now a static delegate
de.monticore.grammar.grammar_withconcepts._parser.Grammar_WithConceptsAntlrLexer.getTokenNames()
de.monticore.grammar.grammar_withconcepts._parser.Grammar_WithConceptsAntlrParser.getTokenNames()
de.monticore.grammar.grammar._symboltable.MCGrammarSymbol.getAdditionalKeywords()
de.monticore.grammar.LexNamer.getConstantName(String)
de.monticore.grammar.LexNamer.getLexName(MCGrammarSymbol, String)	Use LexNamer.getComputedLexName(String) or LexNamer.getOrComputeLexName(MCGrammarSymbol, String) instead
de.monticore.ocl.oclexpressions.symboltable.OCLExpressionsSymbolTableCompleter.setDeriver(IDerive)	initialize TypeCheck3
de.monticore.ocl.oclexpressions.symboltable.OCLExpressionsSymbolTableCompleter.setSynthesizer(ISynthesize)	initialize TypeCheck3
de.monticore.ocl.optionaloperators.types3.OptionalOperatorsTypeVisitor.setOperatorCalculator(TypeVisitorOperatorCalculator)	is now a static delegate
de.monticore.ocl.setexpressions.symboltable.SetExpressionsSymbolTableCompleter.setDeriver(IDerive)
de.monticore.ocl.setexpressions.symboltable.SetExpressionsSymbolTableCompleter.setSynthesizer(ISynthesize)
de.monticore.siunit.siunits._parser.SIUnitsAntlrLexer.getTokenNames()
de.monticore.siunit.siunits._parser.SIUnitsAntlrParser.getTokenNames()
de.monticore.statements.mccommonstatements.cocos.ExpressionStatementIsValid.getTypeCheck()
de.monticore.symbols.basicsymbols._symboltable.FunctionSymbol.replaceTypeVariables(Map<TypeVarSymbol, SymTypeExpression>)	use TypeParameterRelations
de.monticore.symbols.basicsymbols._symboltable.VariableSymbol.replaceTypeVariables(Map<TypeVarSymbol, SymTypeExpression>)	use TypeParameterRelations
de.monticore.tagging.tags._parser.TagsAntlrLexer.getTokenNames()
de.monticore.tagging.tags._parser.TagsAntlrParser.getTokenNames()
de.monticore.tf.odrules._parser.ODRulesAntlrLexer.getTokenNames()
de.monticore.tf.odrules._parser.ODRulesAntlrParser.getTokenNames()
de.monticore.tf.odrules.util.Util.getMCAttributeSymbol(String, ASTODObject, MCGrammarSymbol)
de.monticore.tf.odrules.util.Util.isIterated(ASTODLink, ASTODDefinition, MCGrammarSymbol)
de.monticore.tf.odrules.util.Util.isOptional(ASTODLink, ASTODDefinition, MCGrammarSymbol)
de.monticore.types.check.DeriveSymTypeOfJavaClassExpressions.deprecated_traverse(ASTMCType)
de.monticore.types.check.DeriveSymTypeOfUglyExpressions.deprecated_traverse(ASTMCType)
de.monticore.types.check.SymTypeExpression.getCorrectFields(String, boolean, boolean)
de.monticore.types.check.SymTypeExpression.getCorrectMethods(String, boolean, boolean)
de.monticore.types.check.SymTypeExpression.getFieldList(String, boolean)
de.monticore.types.check.SymTypeExpression.getMethodList(String, boolean)
de.monticore.types.check.SymTypeExpression.isValidType()	not well-thought-out and unused
de.monticore.types.check.SymTypeExpression.replaceTypeVariables(Map<TypeVarSymbol, SymTypeExpression>)	use TypeParameterRelations
de.monticore.types.check.SymTypeExpression.transformFieldList(String, List<VariableSymbol>)	use WithinTypeBasicSymbolsResolver or WithinScopeBasicSymbolsResolver
de.monticore.types.check.SymTypeExpression.transformMethodList(String, List<FunctionSymbol>)	use WithinTypeBasicSymbolsResolver or WithinScopeBasicSymbolsResolver
de.monticore.types.check.SymTypeExpressionDeSer.deserialize(JsonElement)
de.monticore.types.check.SymTypeExpressionDeSer.deserializeListMember(String, JsonObject)
de.monticore.types.check.SymTypeExpressionDeSer.deserializeMember(String, JsonObject)
de.monticore.types.check.SymTypeExpressionDeSer.deserializeOptionalMember(String, JsonObject)
de.monticore.types.check.SymTypeExpressionFactory.createArrayFromString(String, IBasicSymbolsScope)
de.monticore.types.check.SymTypeExpressionFactory.createGenerics(TypeSymbol)	bad name, tends to be misused, s.a. SymTypeExpressionFactory.createGenericsDeclaredType(TypeSymbol)
de.monticore.types.check.SymTypeExpressionFactory.createGenericsFromString(String, IBasicSymbolsScope)
de.monticore.types.check.SymTypeExpressionFactory.createTypeArray(TypeSymbol, int, SymTypeExpression)	arrays do not have a type symbol use SymTypeExpressionFactory.createTypeArray(SymTypeExpression, int)
de.monticore.types.check.SymTypeExpressionFactory.createTypeExpression(TypeSymbol)	misused all the time, bad name; More often than not, one does not create a SymTypeExpression based solely on a symbol, consider either using TypeCheck3.symTypeFromAST(de.monticore.types.mcbasictypes._ast.ASTMCType), WithinScopeBasicSymbolsResolver.resolveType(IBasicSymbolsScope, String), or any other method in this class.
de.monticore.types.check.SymTypeExpressionFactory.createTypeObject(String, IBasicSymbolsScope)	did hide the usage of surrogate, and leads to questionable code consider using WithinScopeBasicSymbolsResolver.resolveType(IBasicSymbolsScope, String), of creating a Surrogate explicitly (only if required)
de.monticore.types.check.SymTypeExpressionFactory.createTypeObjectViaSurrogate(String, IBasicSymbolsScope)	most current usages are wrong and have to be changed in the future! Currently considered to be removed, unless this functionality is required often enough (alternative: explicitly create a Surrogate and call SymTypeExpressionFactory.createTypeObject(TypeSymbol))
de.monticore.types.check.SymTypeExpressionFactory.createTypeVariable(String, IBasicSymbolsScope)	create a symbol and use it to create a SymTypeVariable SymTypeExpressionFactory.createTypeVariable(TypeVarSymbol)
de.monticore.types.check.SymTypeExpressionFactory.getSubGenerics(List<String>, IBasicSymbolsScope)
de.monticore.types.check.SymTypeExpressionFactory.iterateBrackets(String, int)
de.monticore.types.check.SymTypeOfGenerics.box(SymTypeOfGenerics)	use SymtypeBoxingVisitor
de.monticore.types.check.SymTypeOfGenerics.getBaseName()	unused outside of tests, but not required for tests use Names instead, or getTypeInfo().getName()
de.monticore.types.check.SymTypeOfGenerics.getFullName()	same as the the other 2 methods even in spec? use SymTypeOfGenerics.getTypeConstructorFullName()
de.monticore.types.check.SymTypeOfGenerics.printTypeWithoutTypeArgument()	same as the the other 2 methods even in spec? use SymTypeOfGenerics.getTypeConstructorFullName()
de.monticore.types.check.SymTypeOfGenerics.replaceTypeVariables(Map<TypeVarSymbol, SymTypeExpression>)	use WithinTypeBasicSymbolsResolver or WithinScopeBasicSymbolsResolver
de.monticore.types.check.SymTypeOfGenerics.unbox(SymTypeOfGenerics)	use SymTypeUnboxingVisitor
de.monticore.types.check.SymTypeOfObject.getBaseName()	unused outside of tests, but not required for tests use Names instead, or getTypeInfo().getName()
de.monticore.types.check.SymTypeOfObject.getObjName()	questionable name: getter and setter do different things. one may add a getObjFullName() or similar if required also, seems unused in our main projects
de.monticore.types.check.SymTypeOfObject.setObjName(String)	unused in main projects
de.monticore.types.check.SymTypePrimitive.box(String)	use SymTypeBoxingVisitor
de.monticore.types.check.SymTypePrimitive.getBaseOfBoxedName()	only used in 1 test ONCE... in our main projects
de.monticore.types.check.SymTypePrimitive.getBoxedPrimitiveName()	use SymTypeRelations.box(SymTypeExpression)
de.monticore.types.check.SymTypePrimitive.setPrimitiveName(String)	only used in tests in our main projects
de.monticore.types.check.SymTypePrimitive.unbox(String)	use SymTypeUnboxingVisitor
de.monticore.types.check.SymTypeVariable.getTypeInfo()
de.monticore.types.check.SymTypeVariable.getVarName()	unused in main projects also: getter and setter do something different, questionable
de.monticore.types.check.SymTypeVariable.hasTypeVarSymbol()	(should) return true
de.monticore.types.check.SymTypeVariable.setVarName(String)	unused in main projects
de.monticore.types.check.TypeCheck.calculateInheritanceDistance(SymTypeExpression, SymTypeExpression)
de.monticore.types.check.TypeCheck.compatible(SymTypeExpression, SymTypeExpression)
de.monticore.types.check.TypeCheck.isBoolean(SymTypeExpression)
de.monticore.types.check.TypeCheck.isByte(SymTypeExpression)
de.monticore.types.check.TypeCheck.isChar(SymTypeExpression)
de.monticore.types.check.TypeCheck.isDouble(SymTypeExpression)
de.monticore.types.check.TypeCheck.isFloat(SymTypeExpression)
de.monticore.types.check.TypeCheck.isInt(SymTypeExpression)
de.monticore.types.check.TypeCheck.isLong(SymTypeExpression)
de.monticore.types.check.TypeCheck.isShort(SymTypeExpression)
de.monticore.types.check.TypeCheck.isString(SymTypeExpression)
de.monticore.types.check.TypeCheck.isSubtypeOf(SymTypeExpression, SymTypeExpression)
de.monticore.types.check.TypeCheck.isVoid(SymTypeExpression)
de.monticore.types.mcbasictypes._ast.ASTMCType.getDefiningSymbol()	part of TypeCheck1. instead use SymTypeExpression.getSourceInfo().
de.monticore.types.mcbasictypes._ast.ASTMCType.setDefiningSymbol(ISymbol)	part of TypeCheck1. Not required in TypeCheck3.
de.monticore.types.mcbasictypes.types3.MCBasicTypesTypeVisitor.setTypeContextCalculator(TypeContextCalculator)	is now a static delegate
de.monticore.types.mcbasictypes.types3.MCBasicTypesTypeVisitor.setWithinScopeResolver(WithinScopeBasicSymbolsResolver)	is now a static delegate
de.monticore.types.mcbasictypes.types3.MCBasicTypesTypeVisitor.setWithinTypeResolver(WithinTypeBasicSymbolsResolver)	is now a static delegate
de.monticore.types.mccollectiontypes.types3.util.MCCollectionTypeRelations.isCollection(SymTypeExpression)	due to bad naming, use isMCCollection
de.monticore.types3.generics.TypeParameterRelations.isInferenceVariable(SymTypeExpression)
de.monticore.types3.SymTypeRelations.internal_isSubTypeOf(SymTypeExpression, SymTypeExpression, boolean)	use constrain* methods above.
de.monticore.types3.SymTypeRelations.internal_isSubTypeOfPreNormalized(SymTypeExpression, SymTypeExpression, boolean)	Use constrain* methods above.
de.monticore.types3.Type4Ast.internal_getPartialTypeOfTypeId2(ASTNode)	do not use, only here until fix in grammar
de.monticore.types3.Type4Ast.internal_setTypeOfTypeIdentifier2(ASTNode, SymTypeExpression)	do not use, remove after fix of grammars
de.monticore.types3.util.ILValueRelations.isLValue(ASTExpression)
de.monticore.types3.util.OOWithinTypeBasicSymbolsResolver.resolveConstructorLocally(IBasicSymbolsScope, String, AccessModifier, Predicate<FunctionSymbol>)	is to be made private, use OOWithinTypeBasicSymbolsResolver.resolveConstructors(de.monticore.types.check.SymTypeExpression, de.monticore.symboltable.modifiers.AccessModifier, java.util.function.Predicate<de.monticore.symbols.basicsymbols._symboltable.FunctionSymbol>)
de.monticore.types3.util.SymTypeCompatibilityCalculator.getSuperTypes(SymTypeExpression)
de.monticore.types3.util.SymTypeCompatibilityCalculator.internal_isSubTypeOf(SymTypeExpression, SymTypeExpression, boolean)	use SymTypeCompatibilityCalculator.constrainSubTypeOf(SymTypeExpression, SymTypeExpression)
de.monticore.types3.util.SymTypeCompatibilityCalculator.internal_isSubTypeOfPreNormalized(SymTypeExpression, SymTypeExpression, boolean)
de.monticore.types3.util.WithinScopeBasicSymbolsResolver.setTypeContextCalculator(TypeContextCalculator)	is now a static delegate
de.monticore.types3.util.WithinScopeBasicSymbolsResolver.setWithinTypeBasicSymbolsResolver(WithinTypeBasicSymbolsResolver)	is now a static delegate
de.monticore.types3.util.WithinScopeBasicSymbolsResolver.typeOfNameAsExpr(IBasicSymbolsScope, String)	use WithinScopeBasicSymbolsResolver.resolveNameAsExpr(IBasicSymbolsScope, String)
de.monticore.types3.util.WithinScopeBasicSymbolsResolver.typeOfNameAsTypeId(IBasicSymbolsScope, String)	use WithinScopeBasicSymbolsResolver.resolveType(de.monticore.symbols.basicsymbols._symboltable.IBasicSymbolsScope, java.lang.String)
de.monticore.umlstereotype._ast.ASTStereoValue.getContent()
de.monticore.umlstereotype._ast.ASTStereoValue.setContent(String)
de.monticore.umlstereotype._ast.ASTStereoValueBuilder.setContent(String)
de.monticore.umlstereotype._ast.ASTStereoValueBuilder.setText(ASTStringLiteral)

Constructors

Constructor	Description
de.monticore.expressions.assignmentexpressions.cocos.AssignmentExpressionsOnlyAssignToLValuesCoCo(ILValueRelations)
de.monticore.expressions.assignmentexpressions.cocos.LiteralAssignmentMatchesRegExExpressionCoCo(IDerive)	use the other Constructor
de.monticore.expressions.lambdaexpressions._symboltable.LambdaExpressionsSTCompleteTypes2(ITraverser, Type4Ast)
de.monticore.grammar.grammar_withconcepts._parser.Grammar_WithConceptsParserTOP()	new instances of a parser should be retrieved via a language's mill
de.monticore.javalight.cocos.ReturnTypeAssignmentIsValid(TypeCalculator)	use default constructor
de.monticore.siunit.siunits._parser.SIUnitsParser()	new instances of a parser should be retrieved via a language's mill
de.monticore.statements.mccommonstatements.cocos.AssertIsValid(TypeCalculator)	use default constructor
de.monticore.statements.mccommonstatements.cocos.CatchIsValid(TypeCalculator)	use default constructor
de.monticore.statements.mccommonstatements.cocos.DoWhileConditionHasBooleanType(TypeCalculator)	use default constructor
de.monticore.statements.mccommonstatements.cocos.ExpressionStatementIsValid(TypeCalculator)	use default constructor
de.monticore.statements.mccommonstatements.cocos.ForConditionHasBooleanType(TypeCalculator)	use default constructor
de.monticore.statements.mccommonstatements.cocos.ForEachIsValid(TypeCalculator)	use default constructor
de.monticore.statements.mccommonstatements.cocos.IfConditionHasBooleanType(TypeCalculator)	use default constructor
de.monticore.statements.mccommonstatements.cocos.ResourceInTryStatementCloseable(TypeCalculator)	use default constructor
de.monticore.statements.mccommonstatements.cocos.SwitchStatementValid(TypeCalculator)	use default constructor
de.monticore.statements.mccommonstatements.cocos.SynchronizedArgIsReftype(TypeCalculator)	use default constructor
de.monticore.statements.mccommonstatements.cocos.ThrowIsValid(TypeCalculator)	use default constructor
de.monticore.statements.mccommonstatements.cocos.WhileConditionHasBooleanType(TypeCalculator)	use default constructor
de.monticore.statements.mcvardeclarationstatements._cocos.VarDeclarationInitializationHasCorrectType(IDerive)	use default constructor
de.monticore.tagging.tags._parser.TagsParser()	new instances of a parser should be retrieved via a language's mill
de.monticore.tf.odrules._parser.ODRulesParser()	new instances of a parser should be retrieved via a language's mill
de.monticore.types.check.DeriveSymTypeOfJavaClassExpressions()
de.monticore.types.check.DeriveSymTypeOfUglyExpressions()
de.monticore.types.check.SymTypeArray(TypeSymbol, int, SymTypeExpression)	TypeSymbul UND Expression: da ist was doppelt?
de.monticore.types.check.SymTypeOfFunction(SymTypeExpression, List<SymTypeExpression>, boolean)	the other constructor is to be used
de.monticore.types.check.SymTypeOfGenerics(TypeSymbol)	use SymTypeExpressionFactory The Factory then uses the constructor below
de.monticore.types.check.SymTypeOfNull()	contains no non-deprecated program logic
de.monticore.types.check.SymTypeOfWildcard()	use the Factory, the Factory uses the constructor below
de.monticore.types.check.SymTypeVariable(TypeSymbol)
de.monticore.types.check.SymTypeVoid()	no logic that is not deprecated this is to be replaced by the default constructor
de.monticore.types.check.TypeCalculator(ISynthesize, IDerive)
de.monticore.types.check.types3wrapper.TypeCheck3AsIDerive(ITraverser, Type4Ast, ILValueRelations)
de.monticore.types.check.types3wrapper.TypeCheck3AsISynthesize(ITraverser, Type4Ast)
de.monticore.types.check.types3wrapper.TypeCheck3AsTypeCalculator(ITraverser, Type4Ast, ILValueRelations)
de.monticore.types.typeparameters._symboltable.TypeParametersSTCompleteTypes(ITypeCalculator)
de.monticore.types3.util.BuiltInTypeRelations(SymTypeRelations)	use constructor BuiltInTypeRelations()