Package de.monticore.types.check

Class SymTypeOfIntersection

java.lang.Object

de.monticore.types.check.SymTypeExpression

de.monticore.types.check.SymTypeOfIntersection

All Implemented Interfaces:

Comparable<SymTypeExpression>

public class SymTypeOfIntersection
extends SymTypeExpression

Field Summary

Fields

Modifier and Type	Field	Description
protected 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(Collection<? extends SymTypeExpression> types)

Method Summary

Modifier and Type	Method	Description
void	accept(ISymTypeVisitor visitor)
boolean	addAllIntersectedTypes(Collection<? extends SymTypeExpression> collection)
boolean	addIntersectedType(SymTypeExpression element)
SymTypeOfIntersection	asIntersectionType()
void	clearIntersectedTypes()
boolean	containsAllIntersectedTypes(Collection<?> collection)
boolean	containsIntersectedType(Object element)
boolean	deepEquals(SymTypeExpression sym)
boolean	equalsIntersectedTypeTypes(Object o)
void	forEachIntersectedTypes(Consumer<? super SymTypeExpression> action)
Set<SymTypeExpression>	getIntersectedTypeSet()
int	hashCodeIntersectedTypes()
boolean	isEmptyIntersectedTypes()
boolean	isIntersectionType()	Am I an intersection type (e.g.
Iterator<SymTypeExpression>	iteratorIntersectedTypes()
Stream<SymTypeExpression>	parallelStreamIntersectedTypes()
boolean	removeAllIntersectedTypes(Collection<?> collection)
boolean	removeIfIntersectedType(Predicate<? super SymTypeExpression> filter)
boolean	removeIntersectedType(Object element)
boolean	retainAllIntersectedTypes(Collection<?> collection)
void	setIntersectedTypeSet(Set<SymTypeExpression> intersectedTypes)
int	sizeIntersectedTypes()
Spliterator<SymTypeExpression>	spliteratorIntersectedTypes()
Stream<SymTypeExpression>	streamIntersectedTypes()
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, compareTo, 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 Details

intersectedTypes

protected Set<SymTypeExpression> intersectedTypes

Set of types within the intersection

Constructor Details

SymTypeOfIntersection

public SymTypeOfIntersection(Collection<? extends SymTypeExpression> types)

Method Details

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

containsAllIntersectedTypes

public boolean containsAllIntersectedTypes(Collection<?> collection)

isEmptyIntersectedTypes

public boolean isEmptyIntersectedTypes()

iteratorIntersectedTypes

public Iterator<SymTypeExpression> iteratorIntersectedTypes()

sizeIntersectedTypes

public int sizeIntersectedTypes()

toArrayIntersectedTypes

public SymTypeExpression[] toArrayIntersectedTypes(SymTypeExpression[] array)

toArrayIntersectedTypes

public Object[] toArrayIntersectedTypes()

spliteratorIntersectedTypes

public Spliterator<SymTypeExpression> spliteratorIntersectedTypes()

streamIntersectedTypes

public Stream<SymTypeExpression> streamIntersectedTypes()

parallelStreamIntersectedTypes

public Stream<SymTypeExpression> parallelStreamIntersectedTypes()

equalsIntersectedTypeTypes

public boolean equalsIntersectedTypeTypes(Object o)

hashCodeIntersectedTypes

public int hashCodeIntersectedTypes()

getIntersectedTypeSet

public Set<SymTypeExpression> getIntersectedTypeSet()

clearIntersectedTypes

public void clearIntersectedTypes()

addIntersectedType

public boolean addIntersectedType(SymTypeExpression element)

addAllIntersectedTypes

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

removeIntersectedType

public boolean removeIntersectedType(Object element)

removeAllIntersectedTypes

public boolean removeAllIntersectedTypes(Collection<?> collection)

retainAllIntersectedTypes

public boolean retainAllIntersectedTypes(Collection<?> collection)

removeIfIntersectedType

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

forEachIntersectedTypes

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

setIntersectedTypeSet

public void setIntersectedTypeSet(Set<SymTypeExpression> intersectedTypes)