Package de.monticore.types.check

Class SymTypeOfWildcard

java.lang.Object

de.monticore.types.check.SymTypeExpression

de.monticore.types.check.SymTypeOfWildcard

public class SymTypeOfWildcard
extends SymTypeExpression

Field Summary

Fields

Modifier and Type	Field	Description
protected java.util.Optional<SymTypeExpression>	bound
protected boolean	isUpper

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

functionList, LOG_NAME, sourceInfo, typeSymbol

Constructor Summary

Constructors

Constructor	Description
SymTypeOfWildcard()	Deprecated, for removal: This API element is subject to removal in a future version. use the Factory, the Factory uses the constructor below
SymTypeOfWildcard(SymTypeExpression bound, boolean isUpper)	To be used by the SymTypeExpressionFactory

Method Summary

Modifier and Type	Method	Description
void	accept(ISymTypeVisitor visitor)
SymTypeOfWildcard	asWildcard()
boolean	deepEquals(SymTypeExpression sym)
SymTypeExpression	getBound()
SymTypeExpression	getLowerBound()
SymTypeExpression	getUpperBound()
boolean	hasBound()
boolean	isUpper()
boolean	isValidType()	Am I a not valid type? e.g.
boolean	isWildcard()	Am I a wildcard (s.

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

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

Methods inherited from class java.lang.Object

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

Field Detail

bound

protected java.util.Optional<SymTypeExpression> bound

isUpper

protected boolean isUpper

Constructor Detail

SymTypeOfWildcard

@Deprecated(forRemoval=true)
public SymTypeOfWildcard()

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

use the Factory, the Factory uses the constructor below

SymTypeOfWildcard

public SymTypeOfWildcard(SymTypeExpression bound,
                         boolean isUpper)

To be used by the SymTypeExpressionFactory

Method Detail

hasBound

public boolean hasBound()

getBound

public SymTypeExpression getBound()

isUpper

public boolean isUpper()

getUpperBound

public SymTypeExpression getUpperBound()

Returns:

upper bound, TOP if not bounded otherwise

getLowerBound

public SymTypeExpression getLowerBound()

Returns:

lower bound, BOTTOM if not bounded otherwise

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

isWildcard

public boolean isWildcard()

Description copied from class: SymTypeExpression

Am I a wildcard (s. generics)?

Overrides:

isWildcard in class SymTypeExpression

asWildcard

public SymTypeOfWildcard asWildcard()

Overrides:

asWildcard in class SymTypeExpression

deepEquals

public boolean deepEquals(SymTypeExpression sym)

Specified by:

deepEquals in class SymTypeExpression

accept

public void accept(ISymTypeVisitor visitor)

Overrides:

accept in class SymTypeExpression