Package de.monticore.types.check

Class SymTypeVariable

java.lang.Object

de.monticore.types.check.SymTypeExpression

de.monticore.types.check.SymTypeVariable

public class SymTypeVariable
extends SymTypeExpression

Field Summary

Fields

Modifier and Type	Field	Description
protected static java.lang.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.
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)	Similar to deepEquals, but only checks whether the variables are supposed to be the same variable.
TypeSymbol	getTypeInfo()	Deprecated.
TypeVarSymbol	getTypeVarSymbol()
SymTypeExpression	getUpperBound()	a type variable only allows sub-types of its upper bound, e.g., T extends Number
java.lang.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. (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.
java.lang.String	print()	print: Conversion to a compact string, such as "int", "Person", "List< A >"
java.lang.String	printFullName()	printFullName: prints the full name of the symbol, such as "java.util.List<java.lang.String>"
void	setVarName(java.lang.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, 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 Detail

LOG_NAME

protected static final java.lang.String LOG_NAME

See Also:

Constant Field Values

typeVarSymbol

protected TypeVarSymbol typeVarSymbol

Constructor Detail

SymTypeVariable

public SymTypeVariable(TypeVarSymbol typeSymbol)

SymTypeVariable

@Deprecated
public SymTypeVariable(TypeSymbol typeSymbol)

Deprecated.

Method Detail

hasTypeVarSymbol

@Deprecated
public boolean hasTypeVarSymbol()

Deprecated.

(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 java.lang.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(java.lang.String name)

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

unused in main projects

print

public java.lang.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 java.lang.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

public boolean denotesSameVar(SymTypeExpression other)

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