Package de.monticore.types.check

Class SymTypeVariable

java.lang.Object

de.monticore.types.check.SymTypeExpression

de.monticore.types.check.SymTypeVariable

All Implemented Interfaces:

Comparable<SymTypeExpression>

public class SymTypeVariable
extends SymTypeExpression

Field Summary

Fields

Modifier and Type	Field	Description
protected static final String	LOG_NAME
protected TypeVarSymbol	typeVarSymbol

Fields inherited from class de.monticore.types.check.SymTypeExpression

functionList, sourceInfo, typeSymbol

Constructor Summary

Constructors

Constructor	Description
SymTypeVariable(TypeSymbol typeSymbol)	Deprecated, for removal: This API element is subject to removal in a future version.
SymTypeVariable(TypeVarSymbol typeSymbol)

Method Summary

Modifier and Type	Method	Description
void	accept(ISymTypeVisitor visitor)
SymTypeVariable	asTypeVariable()
SymTypeVariable	deepClone()
boolean	deepEquals(SymTypeExpression sym)
boolean	denotesSameVar(SymTypeExpression other)	Deprecated, for removal: This API element is subject to removal in a future version. leftover of old version, simply use deepEquals() instead.
TypeSymbol	getTypeInfo()	Deprecated.
TypeVarSymbol	getTypeVarSymbol()
SymTypeExpression	getUpperBound()	a type variable only allows sub-types of its upper bound, e.g., T extends Number
String	getVarName()	Deprecated, for removal: This API element is subject to removal in a future version. unused in main projects also: getter and setter do something different, questionable
boolean	hasTypeVarSymbol()	Deprecated, for removal: This API element is subject to removal in a future version. (should) return true
boolean	isPrimitive()	Am I primitive? (such as "int") (default: no)
boolean	isTypeVariable()	Am I a bound type variable?
boolean	isValidType()	Am I a not valid type? e.g.
String	print()	print: Conversion to a compact string, such as "int", "Person", "List< A >"
String	printFullName()	printFullName: prints the full name of the symbol, such as "java.util.List<java.lang.String>"
void	setVarName(String name)	Deprecated, for removal: This API element is subject to removal in a future version. unused in main projects

Methods inherited from class de.monticore.types.check.SymTypeExpression

_internal_setSourceInfo, asArrayType, asFunctionType, asGenericType, asInferenceVariable, asIntersectionType, asNullType, asNumericWithSIUnitType, asObjectType, asObscureType, asPrimitive, asRegExType, asSIUnitType, asTupleType, asUnionType, asVoidType, asWildcard, compareTo, getCorrectFields, getCorrectFields, getCorrectMethods, getCorrectMethods, getFieldList, getFieldList, getFieldList, getFieldList, getMethodList, getMethodList, getMethodList, getMethodList, getSourceInfo, hasTypeInfo, isArrayType, isFunctionType, isGenericType, isInferenceVariable, isIntersectionType, isNullType, isNumericWithSIUnitType, isObjectType, isObscureType, isRegExType, isSIUnitType, isTupleType, isUnionType, isVoidType, isWildcard, printAsJson, replaceTypeVariables, transformFieldList, transformMethodList

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

LOG_NAME

protected static final String LOG_NAME

See Also:

• Constant Field Values

typeVarSymbol

protected TypeVarSymbol typeVarSymbol

Constructor Details

SymTypeVariable

public SymTypeVariable(TypeVarSymbol typeSymbol)

SymTypeVariable

@Deprecated(forRemoval=true)
public SymTypeVariable(TypeSymbol typeSymbol)

Deprecated, for removal: This API element is subject to removal in a future version.

Method Details

hasTypeVarSymbol

@Deprecated(forRemoval=true)
public boolean hasTypeVarSymbol()

Deprecated, for removal: This API element is subject to removal in a future version.

(should) return true

getTypeVarSymbol

public TypeVarSymbol getTypeVarSymbol()

getTypeInfo

@Deprecated
public TypeSymbol getTypeInfo()

Deprecated.

Description copied from class: SymTypeExpression

Returns an TypeSymbol representing the type Only to be called according to SymTypeExpression.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.

Overrides:

getTypeInfo in class SymTypeExpression

getUpperBound

public SymTypeExpression getUpperBound()

a type variable only allows sub-types of its upper bound, e.g., T extends Number

getVarName

@Deprecated(forRemoval=true)
public String getVarName()

Deprecated, for removal: This API element is subject to removal in a future version.

unused in main projects also: getter and setter do something different, questionable

setVarName

@Deprecated(forRemoval=true)
public void setVarName(String name)

Deprecated, for removal: This API element is subject to removal in a future version.

unused in main projects

print

public String print()

Description copied from class: SymTypeExpression

print: Conversion to a compact string, such as "int", "Person", "List< A >"

Overrides:

print in class SymTypeExpression

printFullName

public String printFullName()

Description copied from class: SymTypeExpression

printFullName: prints the full name of the symbol, such as "java.util.List<java.lang.String>"

Overrides:

printFullName in class SymTypeExpression

Returns:

isPrimitive

public boolean isPrimitive()

Description copied from class: SymTypeExpression

Am I primitive? (such as "int") (default: no)

Overrides:

isPrimitive in class SymTypeExpression

isValidType

public boolean isValidType()

Description copied from class: SymTypeExpression

Am I a not valid type? e.g. unknown type, not all type variables set, pseudo types like typeVariables

Overrides:

isValidType in class SymTypeExpression

isTypeVariable

public boolean isTypeVariable()

Description copied from class: SymTypeExpression

Am I a bound type variable?

Overrides:

isTypeVariable in class SymTypeExpression

asTypeVariable

public SymTypeVariable asTypeVariable()

Overrides:

asTypeVariable in class SymTypeExpression

deepClone

public SymTypeVariable deepClone()

Overrides:

deepClone in class SymTypeExpression

denotesSameVar

@Deprecated(forRemoval=true)
public boolean denotesSameVar(SymTypeExpression other)

Deprecated, for removal: This API element is subject to removal in a future version.

leftover of old version, simply use deepEquals() instead.

Similar to deepEquals, but only checks whether the variables are supposed to be the same variable. E.g., bounds are ignored

deepEquals

public boolean deepEquals(SymTypeExpression sym)

Specified by:

deepEquals in class SymTypeExpression

accept

public void accept(ISymTypeVisitor visitor)

Overrides:

accept in class SymTypeExpression