Package de.monticore.types.check

Interface Summary

Interface	Description
IDerive	Deprecated. use TypeCheck3
ISynthesize	Deprecated. use TypeCheck3
ISynthesizeComponent	Interface for synthesizing a CompKindExpression from an ASTMCType.
ITypeRelations	Deprecated. use SymTypeRelations

Class Summary

Class	Description
AbstractDerive	Deprecated. part of typecheck1, use TypeCheck3 instead.
AbstractDeriveFromExpression	Deprecated. part of typecheck1, use TypeCheck3 instead.
AbstractSynthesize	Deprecated. part of typecheck1, use TypeCheck3 instead.
AbstractSynthesizeFromType	Deprecated. part of typecheck1, use TypeCheck3 instead.
CompKindCheckResult	Wraps a CompKindExpression (if present).
CompKindExpression	Represents all sorts of component kinds.
CompKindExpressionDeSer	Serializes and deserializes CompKindExpressions from and to their Json encoding.
CompKindOfComponentType	Represents a component expression that is solely defined by the component symbol.
CompKindOfComponentTypeDeSer	(De-)serializes CompKindOfComponentTypes.
CompKindOfGenericComponentType	Represents generic component with filled type parameters.
CompKindOfGenericComponentTypeDeSer
DeriveSymTypeOfAssignmentExpressions	Deprecated. part of typecheck1, use TypeCheck3 instead.
DeriveSymTypeOfBitExpressions	Deprecated. part of typecheck1, use TypeCheck3 instead.
DeriveSymTypeOfBSCommonExpressions	Deprecated. part of typecheck1, use TypeCheck3 instead.
DeriveSymTypeOfCommonExpressions	Deprecated. part of typecheck1, use TypeCheck3 instead.
DeriveSymTypeOfExpression	Deprecated. part of typecheck1, use TypeCheck3 instead.
DeriveSymTypeOfJavaClassExpressions	Deprecated. part of typecheck1, use TypeCheck3 instead.
DeriveSymTypeOfLambdaExpressions	Deprecated. part of typecheck1, use TypeCheck3 instead.
DeriveSymTypeOfLiterals	Deprecated. part of typecheck1, use TypeCheck3 instead.
DeriveSymTypeOfMCCommonLiterals	Deprecated. part of typecheck1, use TypeCheck3 instead.
DeriveSymTypeOfMCJavaLiterals	Deprecated. part of typecheck1, use TypeCheck3 instead.
DeriveSymTypeOfUglyExpressions	Deprecated. part of typecheck1, use TypeCheck3 instead.
FullSynthesizeCompKindFromMCBasicTypes
FullSynthesizeCompKindFromMCSimpleGenericTypes
FullSynthesizeFromMCArrayTypes	Deprecated. part of typecheck1, use TypeCheck3 instead.
FullSynthesizeFromMCBasicTypes	Deprecated. part of typecheck1, use TypeCheck3 instead.
FullSynthesizeFromMCCollectionTypes	Deprecated. part of typecheck1, use TypeCheck3 instead.
FullSynthesizeFromMCFullGenericTypes	Deprecated. part of typecheck1, use TypeCheck3 instead.
FullSynthesizeFromMCFunctionTypes	Deprecated. part of typecheck1, use TypeCheck3 instead.
FullSynthesizeFromMCSimpleGenericTypes	Deprecated. part of typecheck1, use TypeCheck3 instead.
SIUnitBasic
SymTypeArray	Arrays of a certain dimension (>= 1)
SymTypeArrayDeSer
SymTypeExpression	SymTypeExpression is the superclass for all typeexpressions, such as TypeConstants, TypeVariables and applications of Type-Constructors.
SymTypeExpressionDeSer	This DeSer reailizes serialization and deserialization of SymTypeExpressions.
SymTypeExpressionFactory	SymTypeExpressionFactory contains static functions that create the various forms of TypeExpressions used for Sym-Types.
SymTypeInferenceVariable
SymTypeObscure
SymTypeOfFunction	SymTypeOfFunction stores any kind of Function, such as List<Person>::get, obj::<Integer>getX, i -> i + 2
SymTypeOfFunctionDeSer
SymTypeOfGenerics	SymTypeOfGenerics stores any kind of TypeConstructor applied to Arguments, such as Map< int,Person > List<Person>, List< Set< List< a >>>.
SymTypeOfGenericsDeSer
SymTypeOfIntersection
SymTypeOfIntersectionDeSer
SymTypeOfNull
SymTypeOfNumericWithSIUnit	SymTypeOfNumericWithSIUnit stores any kind of Numerics combined with SIUnit applied such as m<int> m/s<double>
SymTypeOfNumericWithSIUnitDeSer
SymTypeOfObject	An objectType is a full qualified class name.
SymTypeOfObjectDeSer
SymTypeOfRegEx
SymTypeOfRegExDeSer
SymTypeOfSIUnit	SymTypeOfSIUnit stores any kind of derived SIUnit with prefixes, such as m, km/h, m^2, ...
SymTypeOfSIUnitDeSer
SymTypeOfTuple
SymTypeOfTupleDeSer
SymTypeOfUnion
SymTypeOfUnionDeSer
SymTypeOfWildcard
SymTypeOfWildcardDeSer
SymTypePrimitive
SymTypePrimitiveDeSer
SymTypeSourceInfo	Stores information where a SymTypeExpression comes from.
SymTypeVariable
SymTypeVariableDeSer
SymTypeVoid
SynthesizeCompKindFromMCBasicTypes	A visitor (a handler indeed) that creates a CompKindOfComponentType from an ASTMCQualifiedType, given that there is matching, resolvable component type symbol.
SynthesizeCompKindFromMCSimpleGenericTypes	A visitor (a handler indeed) that creates a CompKindOfComponentType from an ASTMCBasicGenericType, given that there is a matching resolvable component type symbol.
SynthesizeSymTypeFromMCArrayTypes	Deprecated. part of typecheck1, use TypeCheck3 instead.
SynthesizeSymTypeFromMCBasicTypes	Deprecated. part of typecheck1, use TypeCheck3 instead.
SynthesizeSymTypeFromMCCollectionTypes	Deprecated. part of typecheck1, use TypeCheck3 instead.
SynthesizeSymTypeFromMCFullGenericTypes	Deprecated. part of typecheck1, use TypeCheck3 instead.
SynthesizeSymTypeFromMCFunctionTypes	Deprecated. part of typecheck1, use TypeCheck3 instead.
SynthesizeSymTypeFromMCSimpleGenericTypes	Deprecated. part of typecheck1, use TypeCheck3 instead.
TypeCalculator	Deprecated. use TypeCheck3 and SymTypeRelations
TypeCheck	Deprecated.
TypeCheckResult	Deprecated. of no use anymore, ISynthesize/IDerive are deprecated
TypeRelations	Deprecated. use SymTypeRelations