java.lang.Object
- de.monticore.types.check.SymTypeExpression

All Implemented Interfaces:

java.lang.Comparable<SymTypeExpression>

Direct Known Subclasses:

SymTypeArray, SymTypeInferenceVariable, SymTypeObscure, SymTypeOfFunction, SymTypeOfGenerics, SymTypeOfIntersection, SymTypeOfNull, SymTypeOfNumericWithSIUnit, SymTypeOfObject, SymTypeOfRegEx, SymTypeOfSIUnit, SymTypeOfTuple, SymTypeOfUnion, SymTypeOfWildcard, SymTypePrimitive, SymTypeVariable, SymTypeVoid
```
public abstract class SymTypeExpression
extends java.lang.Object
implements java.lang.Comparable<SymTypeExpression>
```
SymTypeExpression is the superclass for all typeexpressions, such as TypeConstants, TypeVariables and applications of Type-Constructors. It shares common functionality (such as comparison, printing)

Field Summary

Fields
Modifier and Type	Field	Description
`protected java.util.List<FunctionSymbol>`	`functionList`	Deprecated, for removal: This API element is subject to removal in a future version.
`protected static java.lang.String`	`LOG_NAME`
`protected SymTypeSourceInfo`	`sourceInfo`
`protected TypeSymbol`	`typeSymbol`	Deprecated, for removal: This API element is subject to removal in a future version. TypeSymbols are to be found in the corresponding subclasses, however, not every subclass will have a type symbol

Constructor Summary

Constructors
Constructor Description

SymTypeExpression()

Method Summary

All Methods Instance Methods Abstract Methods Concrete Methods Deprecated Methods
Modifier and Type	Method	Description
`void`	`_internal_setSourceInfo(SymTypeSourceInfo sourceInfo)`	used during deep-cloning, clones the SymTypeSourceInfo
`void`	`accept(ISymTypeVisitor visitor)`
`SymTypeArray`	`asArrayType()`
`SymTypeOfFunction`	`asFunctionType()`
`SymTypeOfGenerics`	`asGenericType()`
`SymTypeInferenceVariable`	`asInferenceVariable()`
`SymTypeOfIntersection`	`asIntersectionType()`
`SymTypeOfNull`	`asNullType()`
`SymTypeOfNumericWithSIUnit`	`asNumericWithSIUnitType()`
`SymTypeOfObject`	`asObjectType()`
`SymTypeObscure`	`asObscureType()`
`SymTypePrimitive`	`asPrimitive()`
`SymTypeOfRegEx`	`asRegExType()`
`SymTypeOfSIUnit`	`asSIUnitType()`
`SymTypeOfTuple`	`asTupleType()`
`SymTypeVariable`	`asTypeVariable()`
`SymTypeOfUnion`	`asUnionType()`
`SymTypeVoid`	`asVoidType()`
`SymTypeOfWildcard`	`asWildcard()`
`int`	`compareTo(SymTypeExpression o)`
`SymTypeExpression`	`deepClone()`
`abstract boolean`	`deepEquals(SymTypeExpression sym)`
`java.util.List<VariableSymbol>`	`getCorrectFields(java.lang.String fieldName, boolean outerIsType, boolean abstractTc)`	Deprecated, for removal: This API element is subject to removal in a future version.
`protected java.util.List<VariableSymbol>`	`getCorrectFields(java.lang.String fieldName, boolean outerIsType, boolean abstractTc, de.monticore.symboltable.modifiers.AccessModifier modifier)`	Deprecated, for removal: This API element is subject to removal in a future version. use `WithinTypeBasicSymbolsResolver` or `WithinScopeBasicSymbolsResolver`
`java.util.List<FunctionSymbol>`	`getCorrectMethods(java.lang.String methodName, boolean outerIsType, boolean abstractTc)`	Deprecated, for removal: This API element is subject to removal in a future version.
`protected java.util.List<FunctionSymbol>`	`getCorrectMethods(java.lang.String methodName, boolean outerIsType, boolean abstractTc, de.monticore.symboltable.modifiers.AccessModifier modifier)`	Deprecated, for removal: This API element is subject to removal in a future version. use `WithinTypeBasicSymbolsResolver` or `WithinScopeBasicSymbolsResolver`
`java.util.List<VariableSymbol>`	`getFieldList(java.lang.String fieldName, boolean abstractTc)`	Deprecated, for removal: This API element is subject to removal in a future version.
`java.util.List<VariableSymbol>`	`getFieldList(java.lang.String fieldName, boolean outerIsType, boolean abstractTc)`	Deprecated, for removal: This API element is subject to removal in a future version.
`java.util.List<VariableSymbol>`	`getFieldList(java.lang.String fieldName, boolean outerIsType, boolean abstractTc, de.monticore.symboltable.modifiers.AccessModifier modifier)`	Deprecated, for removal: This API element is subject to removal in a future version. use `WithinTypeBasicSymbolsResolver` or `WithinScopeBasicSymbolsResolver`
`java.util.List<VariableSymbol>`	`getFieldList(java.lang.String fieldName, boolean abstractTc, de.monticore.symboltable.modifiers.AccessModifier modifier)`	Deprecated, for removal: This API element is subject to removal in a future version. use `WithinTypeBasicSymbolsResolver` or `WithinScopeBasicSymbolsResolver`
`java.util.List<FunctionSymbol>`	`getMethodList(java.lang.String methodName, boolean abstractTc)`	Deprecated, for removal: This API element is subject to removal in a future version.
`java.util.List<FunctionSymbol>`	`getMethodList(java.lang.String methodName, boolean outerIsType, boolean abstractTc)`	Deprecated, for removal: This API element is subject to removal in a future version.
`java.util.List<FunctionSymbol>`	`getMethodList(java.lang.String methodName, boolean outerIsType, boolean abstractTc, de.monticore.symboltable.modifiers.AccessModifier modifier)`	Deprecated, for removal: This API element is subject to removal in a future version. use `WithinTypeBasicSymbolsResolver` or `WithinScopeBasicSymbolsResolver`
`java.util.List<FunctionSymbol>`	`getMethodList(java.lang.String methodname, boolean abstractTc, de.monticore.symboltable.modifiers.AccessModifier modifier)`	Deprecated, for removal: This API element is subject to removal in a future version. use `WithinTypeBasicSymbolsResolver` or `WithinScopeBasicSymbolsResolver`
`SymTypeSourceInfo`	`getSourceInfo()`	Contains information where this SymTypeExpression comes from.
`TypeSymbol`	`getTypeInfo()`	Returns an TypeSymbol representing the type Only to be called according to `hasTypeInfo()`
`boolean`	`hasTypeInfo()`	Whether we can call getTypeInfo
`boolean`	`isArrayType()`	Am I an array?
`boolean`	`isFunctionType()`	Am I a function type (e.g.
`boolean`	`isGenericType()`	Am I a generic type? (such as `"List<Integer>"`)
`boolean`	`isInferenceVariable()`	Am I a free type variable?
`boolean`	`isIntersectionType()`	Am I an intersection type (e.g.
`boolean`	`isNullType()`	Am I of null type?
`boolean`	`isNumericWithSIUnitType()`	Am I a numeric with SIUnit type (e.g., `"[km/h]<float>"`)
`boolean`	`isObjectType()`	Am I an object type? (e.g.
`boolean`	`isObscureType()`	Can I not have a type derived from (e.g.
`boolean`	`isPrimitive()`	Am I primitive? (such as "int") (default: no)
`boolean`	`isRegExType()`	Am I a regex type (e.g.
`boolean`	`isSIUnitType()`	Am I an SIUnit type (e.g., "[km/h]")
`boolean`	`isTupleType()`	Am I a tuple type (e.g.
`boolean`	`isTypeVariable()`	Am I a bound type variable?
`boolean`	`isUnionType()`	Am I an union type (e.g.
`boolean`	`isValidType()`	Deprecated, for removal: This API element is subject to removal in a future version. not well-thought-out and unused
`boolean`	`isVoidType()`	Am I of void type?
`boolean`	`isWildcard()`	Am I a wildcard (s.
`java.lang.String`	`print()`	print: Conversion to a compact string, such as `"int"`, `"Person"`, `"List< A >"`
`protected java.lang.String`	`printAsJson()`	printAsJson: Umwandlung in einen kompakten Json String
`java.lang.String`	`printFullName()`	printFullName: prints the full name of the symbol, such as `"java.util.List<java.lang.String>"`
`void`	`replaceTypeVariables(java.util.Map<TypeVarSymbol,SymTypeExpression> replaceMap)`	Deprecated, for removal: This API element is subject to removal in a future version. use `TypeParameterRelations`
`protected java.util.List<VariableSymbol>`	`transformFieldList(java.lang.String fieldName, java.util.List<VariableSymbol> fields)`	Deprecated, for removal: This API element is subject to removal in a future version. use `WithinTypeBasicSymbolsResolver` or `WithinScopeBasicSymbolsResolver`
`protected java.util.List<FunctionSymbol>`	`transformMethodList(java.lang.String methodName, java.util.List<FunctionSymbol> functions)`	Deprecated, for removal: This API element is subject to removal in a future version. use `WithinTypeBasicSymbolsResolver` or `WithinScopeBasicSymbolsResolver`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - LOG_NAME
```
protected static final java.lang.String LOG_NAME
```
    See Also:
    
    Constant Field Values
  - functionList
```
@Deprecated(forRemoval=true)
protected java.util.List<FunctionSymbol> functionList
```
    Deprecated, for removal: This API element is subject to removal in a future version.
  - typeSymbol
```
@Deprecated(forRemoval=true)
protected TypeSymbol typeSymbol
```
    Deprecated, for removal: This API element is subject to removal in a future version.
    TypeSymbols are to be found in the corresponding subclasses, however, not every subclass will have a type symbol
  - sourceInfo
```
protected SymTypeSourceInfo sourceInfo
```
- Constructor Detail
  - SymTypeExpression
```
public SymTypeExpression()
```
- Method Detail
  - print
```
public java.lang.String print()
```
    print: Conversion to a compact string, such as "int", "Person", "List< A >"
  - printFullName
```
public java.lang.String printFullName()
```
    printFullName: prints the full name of the symbol, such as "java.util.List<java.lang.String>"
    
    Returns:
  - printAsJson
```
protected java.lang.String printAsJson()
```
    printAsJson: Umwandlung in einen kompakten Json String
  - isValidType
```
@Deprecated(forRemoval=true)
public boolean isValidType()
```
    Deprecated, for removal: This API element is subject to removal in a future version.
    not well-thought-out and unused
    
    Am I a not valid type? e.g. unknown type, not all type variables set, pseudo types like typeVariables
  - isPrimitive
```
public boolean isPrimitive()
```
    Am I primitive? (such as "int") (default: no)
  - asPrimitive
```
public SymTypePrimitive asPrimitive()
```
  - isGenericType
```
public boolean isGenericType()
```
    Am I a generic type? (such as "List<Integer>")
  - asGenericType
```
public SymTypeOfGenerics asGenericType()
```
  - isTypeVariable
```
public boolean isTypeVariable()
```
    Am I a bound type variable?
  - asTypeVariable
```
public SymTypeVariable asTypeVariable()
```
  - isInferenceVariable
```
public boolean isInferenceVariable()
```
    Am I a free type variable?
  - asInferenceVariable
```
public SymTypeInferenceVariable asInferenceVariable()
```
  - isArrayType
```
public boolean isArrayType()
```
    Am I an array?
  - asArrayType
```
public SymTypeArray asArrayType()
```
  - isVoidType
```
public boolean isVoidType()
```
    Am I of void type?
  - asVoidType
```
public SymTypeVoid asVoidType()
```
  - isNullType
```
public boolean isNullType()
```
    Am I of null type?
  - asNullType
```
public SymTypeOfNull asNullType()
```
  - isObjectType
```
public boolean isObjectType()
```
    Am I an object type? (e.g. "String", "Person")
  - asObjectType
```
public SymTypeOfObject asObjectType()
```
  - isRegExType
```
public boolean isRegExType()
```
    Am I a regex type (e.g. 'R"rege(x(es)?|xps?)"')
  - asRegExType
```
public SymTypeOfRegEx asRegExType()
```
  - isFunctionType
```
public boolean isFunctionType()
```
    Am I a function type (e.g. "String -> Integer")
  - asFunctionType
```
public SymTypeOfFunction asFunctionType()
```
  - isSIUnitType
```
public boolean isSIUnitType()
```
    Am I an SIUnit type (e.g., "[km/h]")
  - asSIUnitType
```
public SymTypeOfSIUnit asSIUnitType()
```
  - isNumericWithSIUnitType
```
public boolean isNumericWithSIUnitType()
```
    Am I a numeric with SIUnit type (e.g., "[km/h]<float>")
  - asNumericWithSIUnitType
```
public SymTypeOfNumericWithSIUnit asNumericWithSIUnitType()
```
  - isTupleType
```
public boolean isTupleType()
```
    Am I a tuple type (e.g. "(String, int)")
  - asTupleType
```
public SymTypeOfTuple asTupleType()
```
  - isUnionType
```
public boolean isUnionType()
```
    Am I an union type (e.g. "(A|B)")?
  - asUnionType
```
public SymTypeOfUnion asUnionType()
```
  - isIntersectionType
```
public boolean isIntersectionType()
```
    Am I an intersection type (e.g. "(A&B)")
  - asIntersectionType
```
public SymTypeOfIntersection asIntersectionType()
```
  - isObscureType
```
public boolean isObscureType()
```
    Can I not have a type derived from (e.g. "1 - student")?
  - asObscureType
```
public SymTypeObscure asObscureType()
```
  - isWildcard
```
public boolean isWildcard()
```
    Am I a wildcard (s. generics)?
  - asWildcard
```
public SymTypeOfWildcard asWildcard()
```
  - deepClone
```
public SymTypeExpression deepClone()
```
  - deepEquals
```
public abstract boolean deepEquals(SymTypeExpression sym)
```
  - compareTo
```
public int compareTo(SymTypeExpression o)
```
    Specified by:
    
    compareTo in interface java.lang.Comparable<SymTypeExpression>
  - getMethodList
```
@Deprecated(forRemoval=true)
public java.util.List<FunctionSymbol> getMethodList(java.lang.String methodName,
                                                    boolean abstractTc)
```
    Deprecated, for removal: This API element is subject to removal in a future version.
  - getMethodList
```
@Deprecated(forRemoval=true)
public java.util.List<FunctionSymbol> getMethodList(java.lang.String methodname,
                                                    boolean abstractTc,
                                                    de.monticore.symboltable.modifiers.AccessModifier modifier)
```
    Deprecated, for removal: This API element is subject to removal in a future version.
    use WithinTypeBasicSymbolsResolver or WithinScopeBasicSymbolsResolver
    
    returns the list of methods the SymTypeExpression can access and filters these for a method with specific name the last calculated type in the type check was no type
  - getCorrectMethods
```
@Deprecated(forRemoval=true)
public java.util.List<FunctionSymbol> getCorrectMethods(java.lang.String methodName,
                                                        boolean outerIsType,
                                                        boolean abstractTc)
```
    Deprecated, for removal: This API element is subject to removal in a future version.
  - getCorrectMethods
```
@Deprecated(forRemoval=true)
protected java.util.List<FunctionSymbol> getCorrectMethods(java.lang.String methodName,
                                                           boolean outerIsType,
                                                           boolean abstractTc,
                                                           de.monticore.symboltable.modifiers.AccessModifier modifier)
```
    Deprecated, for removal: This API element is subject to removal in a future version.
    use WithinTypeBasicSymbolsResolver or WithinScopeBasicSymbolsResolver
    
    return the correct methods for the two situations: 1) the last calculated type in the type check was a type, then filter for non-static methods and add the static methods of this type 2) the last calculated type in the type check was an instance, then just resolve for methods
    
    Parameters:
    
    methodName - name of the method we search for
    
    outerIsType - true if last result of type check was type, false if it was an instance
    
    abstractTc - true if the tc is not used for object-oriented languages
    
    Returns:
    
    the correct methods for the specific case
  - transformMethodList
```
@Deprecated(forRemoval=true)
protected java.util.List<FunctionSymbol> transformMethodList(java.lang.String methodName,
                                                             java.util.List<FunctionSymbol> functions)
```
    Deprecated, for removal: This API element is subject to removal in a future version.
    use WithinTypeBasicSymbolsResolver or WithinScopeBasicSymbolsResolver
    
    transforms the methods by replacing their type variables with the actual type arguments
    
    Parameters:
    
    methodName - name of the method we search for
    
    functions - methods that need to be transformed
    
    Returns:
    
    transformed methods
  - replaceTypeVariables
```
@Deprecated(forRemoval=true)
public void replaceTypeVariables(java.util.Map<TypeVarSymbol,SymTypeExpression> replaceMap)
```
    Deprecated, for removal: This API element is subject to removal in a future version.
    use TypeParameterRelations
  - getMethodList
```
@Deprecated(forRemoval=true)
public java.util.List<FunctionSymbol> getMethodList(java.lang.String methodName,
                                                    boolean outerIsType,
                                                    boolean abstractTc)
```
    Deprecated, for removal: This API element is subject to removal in a future version.
  - getMethodList
```
@Deprecated(forRemoval=true)
public java.util.List<FunctionSymbol> getMethodList(java.lang.String methodName,
                                                    boolean outerIsType,
                                                    boolean abstractTc,
                                                    de.monticore.symboltable.modifiers.AccessModifier modifier)
```
    Deprecated, for removal: This API element is subject to removal in a future version.
    use WithinTypeBasicSymbolsResolver or WithinScopeBasicSymbolsResolver
    
    returns the correct methods in both cases: 1) the last result was a type, 2) the last result was an instance
    
    Parameters:
    
    methodName - name of the method we search for
    
    outerIsType - true if the last result was a type, false if it was an instance
    
    Returns:
    
    the correct methods for the specific case
  - getFieldList
```
@Deprecated(forRemoval=true)
public java.util.List<VariableSymbol> getFieldList(java.lang.String fieldName,
                                                   boolean abstractTc)
```
    Deprecated, for removal: This API element is subject to removal in a future version.
  - getFieldList
```
@Deprecated(forRemoval=true)
public java.util.List<VariableSymbol> getFieldList(java.lang.String fieldName,
                                                   boolean abstractTc,
                                                   de.monticore.symboltable.modifiers.AccessModifier modifier)
```
    Deprecated, for removal: This API element is subject to removal in a future version.
    use WithinTypeBasicSymbolsResolver or WithinScopeBasicSymbolsResolver
    
    returns the list of fields the SymTypeExpression can access and filters these for a field with specific name
  - getFieldList
```
@Deprecated(forRemoval=true)
public java.util.List<VariableSymbol> getFieldList(java.lang.String fieldName,
                                                   boolean outerIsType,
                                                   boolean abstractTc)
```
    Deprecated, for removal: This API element is subject to removal in a future version.
  - getFieldList
```
@Deprecated(forRemoval=true)
public java.util.List<VariableSymbol> getFieldList(java.lang.String fieldName,
                                                   boolean outerIsType,
                                                   boolean abstractTc,
                                                   de.monticore.symboltable.modifiers.AccessModifier modifier)
```
    Deprecated, for removal: This API element is subject to removal in a future version.
    use WithinTypeBasicSymbolsResolver or WithinScopeBasicSymbolsResolver
    
    returns the correct fields in both cases: 1) the last result was a type, 2) the last result was an instance
    
    Parameters:
    
    fieldName - name of the field we search for
    
    outerIsType - true if the last result was a type, false if it was an instance
    
    Returns:
    
    the correct fields for the specific case
  - getCorrectFields
```
@Deprecated(forRemoval=true)
public java.util.List<VariableSymbol> getCorrectFields(java.lang.String fieldName,
                                                       boolean outerIsType,
                                                       boolean abstractTc)
```
    Deprecated, for removal: This API element is subject to removal in a future version.
  - getCorrectFields
```
@Deprecated(forRemoval=true)
protected java.util.List<VariableSymbol> getCorrectFields(java.lang.String fieldName,
                                                          boolean outerIsType,
                                                          boolean abstractTc,
                                                          de.monticore.symboltable.modifiers.AccessModifier modifier)
```
    Deprecated, for removal: This API element is subject to removal in a future version.
    use WithinTypeBasicSymbolsResolver or WithinScopeBasicSymbolsResolver
    
    return the correct fields for the two situations: 1) the last calculated type in the type check was a type, then filter for non-static fields and add the static fields of this type 2) the last calculated type in the type check was an instance, then just resolve for fields
    
    Parameters:
    
    fieldName - name of the field we search for
    
    outerIsType - true if last result of type check was type, false if it was an instance
    
    Returns:
    
    the correct fields for the specific case
  - transformFieldList
```
@Deprecated(forRemoval=true)
protected java.util.List<VariableSymbol> transformFieldList(java.lang.String fieldName,
                                                            java.util.List<VariableSymbol> fields)
```
    Deprecated, for removal: This API element is subject to removal in a future version.
    use WithinTypeBasicSymbolsResolver or WithinScopeBasicSymbolsResolver
    
    transforms the fields by replacing their type variables with the actual type arguments
    
    Parameters:
    
    fieldName - name of the field we search for
    
    fields - fields that need to be transformed
    
    Returns:
    
    transformed fields
  - hasTypeInfo
```
public boolean hasTypeInfo()
```
    Whether we can call getTypeInfo
  - getTypeInfo
```
public TypeSymbol getTypeInfo()
```
    Returns an TypeSymbol representing the type Only to be called according to hasTypeInfo()
    As most SymTypeExpressions do not have a TypeSymbol (this is legacy), this method will log a warning and is expected to be overridden, if a TypeSymbol exists.
  - getSourceInfo
```
public SymTypeSourceInfo getSourceInfo()
```
    Contains information where this SymTypeExpression comes from. Used in CoCos, code-generation, etc.
    not considered during deepEquals(SymTypeExpression).
  - _internal_setSourceInfo
```
public void _internal_setSourceInfo(SymTypeSourceInfo sourceInfo)
```
    used during deep-cloning, clones the SymTypeSourceInfo
  - accept
```
public void accept(ISymTypeVisitor visitor)
```

Class SymTypeExpression

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

LOG_NAME

functionList

typeSymbol

sourceInfo

Constructor Detail

SymTypeExpression

Method Detail

print

printFullName

printAsJson

isValidType

isPrimitive

asPrimitive

isGenericType

asGenericType

isTypeVariable

asTypeVariable

isInferenceVariable

asInferenceVariable

isArrayType

asArrayType

isVoidType

asVoidType

isNullType

asNullType

isObjectType

asObjectType

isRegExType

asRegExType

isFunctionType

asFunctionType

isSIUnitType

asSIUnitType

isNumericWithSIUnitType

asNumericWithSIUnitType

isTupleType

asTupleType

isUnionType

asUnionType

isIntersectionType

asIntersectionType

isObscureType

asObscureType

isWildcard

asWildcard

deepClone

deepEquals

compareTo

getMethodList

getMethodList

getCorrectMethods

getCorrectMethods

transformMethodList

replaceTypeVariables

getMethodList

getMethodList

getFieldList

getFieldList

getFieldList

getFieldList

getCorrectFields

getCorrectFields

transformFieldList

hasTypeInfo

getTypeInfo

getSourceInfo

_internal_setSourceInfo

accept