Package de.monticore.types.check

Class SymTypeOfIntersection

java.lang.Object

de.monticore.types.check.SymTypeExpression

de.monticore.types.check.SymTypeOfIntersection

public class SymTypeOfIntersection
extends SymTypeExpression

Field Summary

Fields

Modifier and Type	Field	Description
protected java.util.Set<SymTypeExpression>	intersectedTypes	Set of types within the intersection

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

functionList, LOG_NAME, sourceInfo, typeSymbol

Constructor Summary

Constructors

Constructor	Description
SymTypeOfIntersection(java.util.Collection<? extends SymTypeExpression> types)

Method Summary

Modifier and Type	Method	Description
void	accept(ISymTypeVisitor visitor)
boolean	addAllIntersectedTypes(java.util.Collection<? extends SymTypeExpression> collection)
boolean	addIntersectedType(SymTypeExpression element)
SymTypeOfIntersection	asIntersectionType()
void	clearIntersectedTypes()
boolean	containsAllIntersectedTypes(java.util.Collection<?> collection)
boolean	containsIntersectedType(java.lang.Object element)
boolean	deepEquals(SymTypeExpression sym)
boolean	equalsIntersectedTypeTypes(java.lang.Object o)
void	forEachIntersectedTypes(java.util.function.Consumer<? super SymTypeExpression> action)
java.util.Set<SymTypeExpression>	getIntersectedTypeSet()
int	hashCodeIntersectedTypes()
boolean	isEmptyIntersectedTypes()
boolean	isIntersectionType()	Am I an intersection type (e.g.
java.util.Iterator<SymTypeExpression>	iteratorIntersectedTypes()
java.util.stream.Stream<SymTypeExpression>	parallelStreamIntersectedTypes()
boolean	removeAllIntersectedTypes(java.util.Collection<?> collection)
boolean	removeIfIntersectedType(java.util.function.Predicate<? super SymTypeExpression> filter)
boolean	removeIntersectedType(java.lang.Object element)
boolean	retainAllIntersectedTypes(java.util.Collection<?> collection)
void	setIntersectedTypeSet(java.util.Set<SymTypeExpression> intersectedTypes)
int	sizeIntersectedTypes()
java.util.Spliterator<SymTypeExpression>	spliteratorIntersectedTypes()
java.util.stream.Stream<SymTypeExpression>	streamIntersectedTypes()
java.lang.Object[]	toArrayIntersectedTypes()
SymTypeExpression[]	toArrayIntersectedTypes(SymTypeExpression[] array)

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

_internal_setSourceInfo, asArrayType, asFunctionType, asGenericType, asInferenceVariable, asNullType, asNumericWithSIUnitType, asObjectType, asObscureType, asPrimitive, asRegExType, asSIUnitType, asTupleType, asTypeVariable, asUnionType, asVoidType, asWildcard, deepClone, getCorrectFields, getCorrectFields, getCorrectMethods, getCorrectMethods, getFieldList, getFieldList, getFieldList, getFieldList, getMethodList, getMethodList, getMethodList, getMethodList, getSourceInfo, getTypeInfo, hasTypeInfo, isArrayType, isFunctionType, isGenericType, isInferenceVariable, isNullType, isNumericWithSIUnitType, isObjectType, isObscureType, isPrimitive, isRegExType, isSIUnitType, isTupleType, isTypeVariable, isUnionType, 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

intersectedTypes

protected java.util.Set<SymTypeExpression> intersectedTypes

Set of types within the intersection

Constructor Detail

SymTypeOfIntersection

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

Method Detail

isIntersectionType

public boolean isIntersectionType()

Description copied from class: SymTypeExpression

Am I an intersection type (e.g. "(A&B)")

Overrides:

isIntersectionType in class SymTypeExpression

asIntersectionType

public SymTypeOfIntersection asIntersectionType()

Overrides:

asIntersectionType 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

containsIntersectedType

public boolean containsIntersectedType(java.lang.Object element)

containsAllIntersectedTypes

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

isEmptyIntersectedTypes

public boolean isEmptyIntersectedTypes()

iteratorIntersectedTypes

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

sizeIntersectedTypes

public int sizeIntersectedTypes()

toArrayIntersectedTypes

public SymTypeExpression[] toArrayIntersectedTypes(SymTypeExpression[] array)

toArrayIntersectedTypes

public java.lang.Object[] toArrayIntersectedTypes()

spliteratorIntersectedTypes

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

streamIntersectedTypes

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

parallelStreamIntersectedTypes

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

equalsIntersectedTypeTypes

public boolean equalsIntersectedTypeTypes(java.lang.Object o)

hashCodeIntersectedTypes

public int hashCodeIntersectedTypes()

getIntersectedTypeSet

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

clearIntersectedTypes

public void clearIntersectedTypes()

addIntersectedType

public boolean addIntersectedType(SymTypeExpression element)

addAllIntersectedTypes

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

removeIntersectedType

public boolean removeIntersectedType(java.lang.Object element)

removeAllIntersectedTypes

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

retainAllIntersectedTypes

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

removeIfIntersectedType

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

forEachIntersectedTypes

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

setIntersectedTypeSet

public void setIntersectedTypeSet(java.util.Set<SymTypeExpression> intersectedTypes)