Package de.monticore.types.check

Class SymTypeOfGenerics

java.lang.Object

de.monticore.types.check.SymTypeExpression

de.monticore.types.check.SymTypeOfGenerics

All Implemented Interfaces:

Comparable<SymTypeExpression>

public class SymTypeOfGenerics
extends SymTypeExpression

SymTypeOfGenerics stores any kind of TypeConstructor applied to Arguments, such as Map< int,Person > List<Person>, List< Set< List< a >>>. This subsumes all kinds of generic Types from several of the MC-Type grammars.

Field Summary

Fields

Modifier and Type	Field	Description
protected List<SymTypeExpression>	arguments	List of arguments of a type constructor
static final Map<String,String>	boxMap	Deprecated, for removal: This API element is subject to removal in a future version.
protected TypeSymbol	typeSymbol
static final Map<String,String>	unboxMap	Deprecated, for removal: This API element is subject to removal in a future version.

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

functionList, LOG_NAME, sourceInfo

Constructor Summary

Constructors

Constructor	Description
SymTypeOfGenerics(TypeSymbol typeSymbol)	Deprecated, for removal: This API element is subject to removal in a future version. use SymTypeExpressionFactory The Factory then uses the constructor below
SymTypeOfGenerics(TypeSymbol typeSymbol, List<SymTypeExpression> arguments)	Constructor with all parameters that are stored:

Method Summary

Modifier and Type	Method	Description
void	accept(ISymTypeVisitor visitor)
boolean	addAllArguments(int index, Collection<? extends SymTypeExpression> collection)
boolean	addAllArguments(Collection<? extends SymTypeExpression> collection)
void	addArgument(int index, SymTypeExpression element)
boolean	addArgument(SymTypeExpression element)
SymTypeOfGenerics	asGenericType()
static String	box(SymTypeOfGenerics type)	Deprecated, for removal: This API element is subject to removal in a future version. use SymtypeBoxingVisitor
void	clearArguments()
boolean	containsAllArguments(Collection<?> collection)
boolean	containsArgument(Object element)
boolean	deepEquals(SymTypeExpression sym)
boolean	deepEqualsWithoutArguments(SymTypeExpression sym)
boolean	equalsArguments(Object o)
void	forEachArguments(Consumer<? super SymTypeExpression> action)
SymTypeExpression	getArgument(int index)
List<SymTypeExpression>	getArgumentList()
String	getBaseName()	Deprecated, for removal: This API element is subject to removal in a future version. unused outside of tests, but not required for tests use Names instead, or getTypeInfo().getName()
SymTypeOfGenerics	getDeclaredType()	returns the declared type, e.g., for List<int>, this will return List<T> where T is a type variable.
String	getFullName()	Deprecated, for removal: This API element is subject to removal in a future version. same as the the other 2 methods even in spec? use getTypeConstructorFullName()
String	getTypeConstructorFullName()
TypeSymbol	getTypeInfo()	Returns an TypeSymbol representing the type Only to be called according to SymTypeExpression.hasTypeInfo()
Map<SymTypeVariable,SymTypeExpression>	getTypeVariableReplaceMap()
int	hashCodeArguments()
boolean	hasTypeInfo()	Whether we can call getTypeInfo
int	indexOfArgument(Object element)
boolean	isEmptyArguments()
boolean	isGenericType()	Am I a generic type? (such as "List<Integer>")
Iterator<SymTypeExpression>	iteratorArguments()
int	lastIndexOfArgument(Object element)
ListIterator<SymTypeExpression>	listIteratorArguments()
ListIterator<SymTypeExpression>	listIteratorArguments(int index)
Stream<SymTypeExpression>	parallelStreamArguments()
String	printTypeWithoutTypeArgument()	Deprecated, for removal: This API element is subject to removal in a future version. same as the the other 2 methods even in spec? use getTypeConstructorFullName()
boolean	removeAllArguments(Collection<?> collection)
SymTypeExpression	removeArgument(int index)
boolean	removeArgument(Object element)
boolean	removeIfArgument(Predicate<? super SymTypeExpression> filter)
void	replaceAllArguments(UnaryOperator<SymTypeExpression> operator)
void	replaceTypeVariables(Map<TypeVarSymbol,SymTypeExpression> replaceMap)	Deprecated, for removal: This API element is subject to removal in a future version. use WithinTypeBasicSymbolsResolver or WithinScopeBasicSymbolsResolver
boolean	retainAllArguments(Collection<?> collection)
SymTypeExpression	setArgument(int index, SymTypeExpression element)
void	setArgumentList(List<SymTypeExpression> arguments)
int	sizeArguments()
void	sortArguments(Comparator<? super SymTypeExpression> comparator)
Spliterator<SymTypeExpression>	spliteratorArguments()
Stream<SymTypeExpression>	streamArguments()
List<SymTypeExpression>	subListArguments(int start, int end)
Object[]	toArrayArguments()
SymTypeExpression[]	toArrayArguments(SymTypeExpression[] array)
static String	unbox(SymTypeOfGenerics type)	Deprecated, for removal: This API element is subject to removal in a future version. use SymTypeUnboxingVisitor

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

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

Methods inherited from class java.lang.Object

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

Field Details

unboxMap

@Deprecated(forRemoval=true)
public static final Map<String,String> unboxMap

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

Map for unboxing generic types (e.g. "java.util.Collection" -> "Collection")

boxMap

@Deprecated(forRemoval=true)
public static final Map<String,String> boxMap

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

Map for boxing generic types (e.g. "Collection" -> "java.util.Collection") Results are fully qualified.

typeSymbol

protected TypeSymbol typeSymbol

arguments

protected List<SymTypeExpression> arguments

List of arguments of a type constructor

Constructor Details

SymTypeOfGenerics

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

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

use SymTypeExpressionFactory The Factory then uses the constructor below

SymTypeOfGenerics

public SymTypeOfGenerics(TypeSymbol typeSymbol,
 List<SymTypeExpression> arguments)

Constructor with all parameters that are stored:

Method Details

unbox

@Deprecated(forRemoval=true)
public static String unbox(SymTypeOfGenerics type)

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

use SymTypeUnboxingVisitor

unboxing generic types (e.g. "java.util.Collection" -> "Collection"). otherwise return is unchanged

Parameters:

type -

Returns:

box

@Deprecated(forRemoval=true)
public static String box(SymTypeOfGenerics type)

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

use SymtypeBoxingVisitor

Boxing generic types (e.g. "Collection" -> "java.util.Collection") Results are fully qualified. Otherwise return is unchanged

Parameters:

type -

Returns:

hasTypeInfo

public boolean hasTypeInfo()

Description copied from class: SymTypeExpression

Whether we can call getTypeInfo

Overrides:

hasTypeInfo in class SymTypeExpression

getTypeInfo

public TypeSymbol getTypeInfo()

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

getTypeConstructorFullName

public String getTypeConstructorFullName()

printTypeWithoutTypeArgument

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

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

same as the the other 2 methods even in spec? use getTypeConstructorFullName()

getFullName

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

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

same as the the other 2 methods even in spec? use getTypeConstructorFullName()

getBaseName

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

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

unused outside of tests, but not required for tests use Names instead, or getTypeInfo().getName()

getBaseName: get the unqualified Name (no ., no Package)

isGenericType

public boolean isGenericType()

Description copied from class: SymTypeExpression

Am I a generic type? (such as "List<Integer>")

Overrides:

isGenericType in class SymTypeExpression

asGenericType

public SymTypeOfGenerics asGenericType()

Overrides:

asGenericType in class SymTypeExpression

deepEqualsWithoutArguments

public boolean deepEqualsWithoutArguments(SymTypeExpression sym)

deepEquals

public boolean deepEquals(SymTypeExpression sym)

Specified by:

deepEquals in class SymTypeExpression

getDeclaredType

public SymTypeOfGenerics getDeclaredType()

returns the declared type, e.g., for List<int>, this will return List<T> where T is a type variable.

getTypeVariableReplaceMap

public Map<SymTypeVariable,SymTypeExpression> getTypeVariableReplaceMap()

replaceTypeVariables

@Deprecated(forRemoval=true)
public void replaceTypeVariables(Map<TypeVarSymbol,SymTypeExpression> replaceMap)

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

use WithinTypeBasicSymbolsResolver or WithinScopeBasicSymbolsResolver

Overrides:

replaceTypeVariables in class SymTypeExpression

accept

public void accept(ISymTypeVisitor visitor)

Overrides:

accept in class SymTypeExpression

containsArgument

public boolean containsArgument(Object element)

containsAllArguments

public boolean containsAllArguments(Collection<?> collection)

isEmptyArguments

public boolean isEmptyArguments()

iteratorArguments

public Iterator<SymTypeExpression> iteratorArguments()

sizeArguments

public int sizeArguments()

toArrayArguments

public SymTypeExpression[] toArrayArguments(SymTypeExpression[] array)

toArrayArguments

public Object[] toArrayArguments()

spliteratorArguments

public Spliterator<SymTypeExpression> spliteratorArguments()

streamArguments

public Stream<SymTypeExpression> streamArguments()

parallelStreamArguments

public Stream<SymTypeExpression> parallelStreamArguments()

getArgument

public SymTypeExpression getArgument(int index)

indexOfArgument

public int indexOfArgument(Object element)

lastIndexOfArgument

public int lastIndexOfArgument(Object element)

equalsArguments

public boolean equalsArguments(Object o)

hashCodeArguments

public int hashCodeArguments()

listIteratorArguments

public ListIterator<SymTypeExpression> listIteratorArguments()

listIteratorArguments

public ListIterator<SymTypeExpression> listIteratorArguments(int index)

subListArguments

public List<SymTypeExpression> subListArguments(int start,
 int end)

getArgumentList

public List<SymTypeExpression> getArgumentList()

clearArguments

public void clearArguments()

addArgument

public boolean addArgument(SymTypeExpression element)

addAllArguments

public boolean addAllArguments(Collection<? extends SymTypeExpression> collection)

removeArgument

public boolean removeArgument(Object element)

removeAllArguments

public boolean removeAllArguments(Collection<?> collection)

retainAllArguments

public boolean retainAllArguments(Collection<?> collection)

removeIfArgument

public boolean removeIfArgument(Predicate<? super SymTypeExpression> filter)

forEachArguments

public void forEachArguments(Consumer<? super SymTypeExpression> action)

addArgument

public void addArgument(int index,
 SymTypeExpression element)

addAllArguments

public boolean addAllArguments(int index,
 Collection<? extends SymTypeExpression> collection)

removeArgument

public SymTypeExpression removeArgument(int index)

setArgument

public SymTypeExpression setArgument(int index,
 SymTypeExpression element)

replaceAllArguments

public void replaceAllArguments(UnaryOperator<SymTypeExpression> operator)

sortArguments

public void sortArguments(Comparator<? super SymTypeExpression> comparator)

setArgumentList

public void setArgumentList(List<SymTypeExpression> arguments)