Interface JIntersectionType

All Superinterfaces:

honeyroasted.collect.copy.Copyable<JType, JTypeCache<JType,JType>>, JType, honeyroasted.collect.modify.PossiblyUnmodifiable, honeyroasted.almonds.SimpleName

All Known Implementing Classes:

JIntersectionTypeDelegate, JIntersectionTypeImpl

public interface JIntersectionType
extends JType, honeyroasted.collect.modify.PossiblyUnmodifiable

Nested Class Summary

Nested classes/interfaces inherited from interface honeyroasted.jype.type.JType

JType.Equality

Method Summary

Modifier and Type	Method	Description
default <R,P> R	accept(JTypeVisitor<R,P> visitor, P context)
Set<JType>	children()
default JType	flatten()
static Set<JType>	flatten(Set<JType> children)
boolean	isSimplified()
static JType	of(Set<JType> types, JTypeSystem system)
void	setChildren(Set<JType> children)
JType	simplify()
default boolean	typeContains(JType other)

Methods inherited from interface honeyroasted.jype.type.JType

accept, accept, copy, copy, declarationSignature, descriptor, downwardsProjection, downwardsProjection, equals, equals, hasCyclicTypeVariables, hasCyclicTypeVariables, hashCode, isAssignableFrom, isAssignableTo, isCompatibleFrom, isCompatibleTo, isContextType, isNullType, isProperType, isResultType, knownDirectSupertypes, metadata, signature, structuralEquals, typeEquals, typeSystem, upwardsProjection, upwardsProjection, varTypeResolver

Methods inherited from interface honeyroasted.collect.modify.PossiblyUnmodifiable

isUnmodifiable, setUnmodifiable

Methods inherited from interface honeyroasted.almonds.SimpleName

simpleName

Method Details

of

static JType of(Set<JType> types,
 JTypeSystem system)

children

Set<JType> children()

simplify

JType simplify()

flatten

default JType flatten()

isSimplified

boolean isSimplified()

setChildren

void setChildren(Set<JType> children)

typeContains

default boolean typeContains(JType other)

flatten

static Set<JType> flatten(Set<JType> children)

accept

default <R,P> R accept(JTypeVisitor<R,P> visitor,
 P context)

Specified by:

accept in interface JType