Package de.monticore.types.check

Class SymTypeOfUnion

java.lang.Object

de.monticore.types.check.SymTypeExpression

de.monticore.types.check.SymTypeOfUnion

All Implemented Interfaces:

Comparable<SymTypeExpression>

public class SymTypeOfUnion
extends SymTypeExpression

Field Summary

Fields

Modifier and Type	Field	Description
static final String	DEFAULT_TYPESYMBOL_NAME
protected Set<SymTypeExpression>	unionizedTypes	Set of types within the union

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

functionList, LOG_NAME, sourceInfo, typeSymbol

Constructor Summary

Constructors

Constructor	Description
SymTypeOfUnion(Collection<? extends SymTypeExpression> types)

Method Summary

Modifier and Type	Method	Description
void	accept(ISymTypeVisitor visitor)
boolean	addAllUnionizedTypes(Collection<? extends SymTypeExpression> collection)
boolean	addUnionizedType(SymTypeExpression element)
SymTypeOfUnion	asUnionType()
void	clearUnionizedTypes()
boolean	containsAllUnionizedTypes(Collection<?> collection)
boolean	containsUnionizedType(Object element)
boolean	deepEquals(SymTypeExpression sym)
boolean	equalsUnionizedTypeTypes(Object o)
void	forEachUnionizedTypes(Consumer<? super SymTypeExpression> action)
Set<SymTypeExpression>	getUnionizedTypeSet()
int	hashCodeUnionizedTypes()
boolean	isEmptyUnionizedTypes()
boolean	isUnionType()	Am I an union type (e.g.
Iterator<SymTypeExpression>	iteratorUnionizedTypes()
Stream<SymTypeExpression>	parallelStreamUnionizedTypes()
boolean	removeAllUnionizedTypes(Collection<?> collection)
boolean	removeIfUnionizedType(Predicate<? super SymTypeExpression> filter)
boolean	removeUnionizedType(Object element)
boolean	retainAllUnionizedTypes(Collection<?> collection)
void	setUnionizedTypeSet(Set<SymTypeExpression> unionizedTypes)
int	sizeUnionizedTypes()
Spliterator<SymTypeExpression>	spliteratorUnionizedTypes()
Stream<SymTypeExpression>	streamUnionizedTypes()
Object[]	toArrayUnionizedTypes()
SymTypeExpression[]	toArrayUnionizedTypes(SymTypeExpression[] array)

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, asVoidType, asWildcard, compareTo, 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, isValidType, isVoidType, isWildcard, 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 Details

DEFAULT_TYPESYMBOL_NAME

public static final String DEFAULT_TYPESYMBOL_NAME

See Also:

• Constant Field Values

unionizedTypes

protected Set<SymTypeExpression> unionizedTypes

Set of types within the union

Constructor Details

SymTypeOfUnion

public SymTypeOfUnion(Collection<? extends SymTypeExpression> types)

Method Details

isUnionType

public boolean isUnionType()

Description copied from class: SymTypeExpression

Am I an union type (e.g. "(A|B)")?

Overrides:

isUnionType in class SymTypeExpression

asUnionType

public SymTypeOfUnion asUnionType()

Overrides:

asUnionType 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

containsUnionizedType

public boolean containsUnionizedType(Object element)

containsAllUnionizedTypes

public boolean containsAllUnionizedTypes(Collection<?> collection)

isEmptyUnionizedTypes

public boolean isEmptyUnionizedTypes()

iteratorUnionizedTypes

public Iterator<SymTypeExpression> iteratorUnionizedTypes()

sizeUnionizedTypes

public int sizeUnionizedTypes()

toArrayUnionizedTypes

public SymTypeExpression[] toArrayUnionizedTypes(SymTypeExpression[] array)

toArrayUnionizedTypes

public Object[] toArrayUnionizedTypes()

spliteratorUnionizedTypes

public Spliterator<SymTypeExpression> spliteratorUnionizedTypes()

streamUnionizedTypes

public Stream<SymTypeExpression> streamUnionizedTypes()

parallelStreamUnionizedTypes

public Stream<SymTypeExpression> parallelStreamUnionizedTypes()

equalsUnionizedTypeTypes

public boolean equalsUnionizedTypeTypes(Object o)

hashCodeUnionizedTypes

public int hashCodeUnionizedTypes()

getUnionizedTypeSet

public Set<SymTypeExpression> getUnionizedTypeSet()

clearUnionizedTypes

public void clearUnionizedTypes()

addUnionizedType

public boolean addUnionizedType(SymTypeExpression element)

addAllUnionizedTypes

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

removeUnionizedType

public boolean removeUnionizedType(Object element)

removeAllUnionizedTypes

public boolean removeAllUnionizedTypes(Collection<?> collection)

retainAllUnionizedTypes

public boolean retainAllUnionizedTypes(Collection<?> collection)

removeIfUnionizedType

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

forEachUnionizedTypes

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

setUnionizedTypeSet

public void setUnionizedTypeSet(Set<SymTypeExpression> unionizedTypes)