Package de.monticore.types.check

Class SymTypeOfUnion

java.lang.Object

de.monticore.types.check.SymTypeExpression

de.monticore.types.check.SymTypeOfUnion

public class SymTypeOfUnion
extends SymTypeExpression

Field Summary

Fields

Modifier and Type	Field	Description
static java.lang.String	DEFAULT_TYPESYMBOL_NAME
protected java.util.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(java.util.Collection<? extends SymTypeExpression> types)

Method Summary

Modifier and Type	Method	Description
void	accept(ISymTypeVisitor visitor)
boolean	addAllUnionizedTypes(java.util.Collection<? extends SymTypeExpression> collection)
boolean	addUnionizedType(SymTypeExpression element)
SymTypeOfUnion	asUnionType()
void	clearUnionizedTypes()
boolean	containsAllUnionizedTypes(java.util.Collection<?> collection)
boolean	containsUnionizedType(java.lang.Object element)
boolean	deepEquals(SymTypeExpression sym)
boolean	equalsUnionizedTypeTypes(java.lang.Object o)
void	forEachUnionizedTypes(java.util.function.Consumer<? super SymTypeExpression> action)
java.util.Set<SymTypeExpression>	getUnionizedTypeSet()
int	hashCodeUnionizedTypes()
boolean	isEmptyUnionizedTypes()
boolean	isUnionType()	Am I an union type (e.g.
java.util.Iterator<SymTypeExpression>	iteratorUnionizedTypes()
java.util.stream.Stream<SymTypeExpression>	parallelStreamUnionizedTypes()
boolean	removeAllUnionizedTypes(java.util.Collection<?> collection)
boolean	removeIfUnionizedType(java.util.function.Predicate<? super SymTypeExpression> filter)
boolean	removeUnionizedType(java.lang.Object element)
boolean	retainAllUnionizedTypes(java.util.Collection<?> collection)
void	setUnionizedTypeSet(java.util.Set<SymTypeExpression> unionizedTypes)
int	sizeUnionizedTypes()
java.util.Spliterator<SymTypeExpression>	spliteratorUnionizedTypes()
java.util.stream.Stream<SymTypeExpression>	streamUnionizedTypes()
java.lang.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, 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 Detail

DEFAULT_TYPESYMBOL_NAME

public static final java.lang.String DEFAULT_TYPESYMBOL_NAME

See Also:

Constant Field Values

unionizedTypes

protected java.util.Set<SymTypeExpression> unionizedTypes

Set of types within the union

Constructor Detail

SymTypeOfUnion

public SymTypeOfUnion(java.util.Collection<? extends SymTypeExpression> types)

Method Detail

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(java.lang.Object element)

containsAllUnionizedTypes

public boolean containsAllUnionizedTypes(java.util.Collection<?> collection)

isEmptyUnionizedTypes

public boolean isEmptyUnionizedTypes()

iteratorUnionizedTypes

public java.util.Iterator<SymTypeExpression> iteratorUnionizedTypes()

sizeUnionizedTypes

public int sizeUnionizedTypes()

toArrayUnionizedTypes

public SymTypeExpression[] toArrayUnionizedTypes(SymTypeExpression[] array)

toArrayUnionizedTypes

public java.lang.Object[] toArrayUnionizedTypes()

spliteratorUnionizedTypes

public java.util.Spliterator<SymTypeExpression> spliteratorUnionizedTypes()

streamUnionizedTypes

public java.util.stream.Stream<SymTypeExpression> streamUnionizedTypes()

parallelStreamUnionizedTypes

public java.util.stream.Stream<SymTypeExpression> parallelStreamUnionizedTypes()

equalsUnionizedTypeTypes

public boolean equalsUnionizedTypeTypes(java.lang.Object o)

hashCodeUnionizedTypes

public int hashCodeUnionizedTypes()

getUnionizedTypeSet

public java.util.Set<SymTypeExpression> getUnionizedTypeSet()

clearUnionizedTypes

public void clearUnionizedTypes()

addUnionizedType

public boolean addUnionizedType(SymTypeExpression element)

addAllUnionizedTypes

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

removeUnionizedType

public boolean removeUnionizedType(java.lang.Object element)

removeAllUnionizedTypes

public boolean removeAllUnionizedTypes(java.util.Collection<?> collection)

retainAllUnionizedTypes

public boolean retainAllUnionizedTypes(java.util.Collection<?> collection)

removeIfUnionizedType

public boolean removeIfUnionizedType(java.util.function.Predicate<? super SymTypeExpression> filter)

forEachUnionizedTypes

public void forEachUnionizedTypes(java.util.function.Consumer<? super SymTypeExpression> action)

setUnionizedTypeSet

public void setUnionizedTypeSet(java.util.Set<SymTypeExpression> unionizedTypes)