bayou.jtype

Class IntersectionType<T>

java.lang.Object

bayou.jtype.JavaType<T>

bayou.jtype.ReferenceType<T>

bayou.jtype.IntersectionType<T>

All Implemented Interfaces:

TypeArg

public final class IntersectionType<T>
extends ReferenceType<T>

Intersection type.

An intersection type takes the form T1 & .. & Tn ; we call T1,...Tn the super types of the intersection type.

Constructor Summary

Constructors

Constructor and Description
IntersectionType(ReferenceType<?>... superTypes) Create an intersection type.

Method Summary

Instance Methods
List<ReferenceType<?>>	getSuperTypes() Get the super types of the intersection.
String	toString(boolean full) A textual description of the type.

Methods inherited from class bayou.jtype.JavaType

convertFrom, equals, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

IntersectionType

public IntersectionType(ReferenceType<?>... superTypes)

Create an intersection type.

Method Detail

getSuperTypes

public List<ReferenceType<?>> getSuperTypes()

Get the super types of the intersection.

toString

public String toString(boolean full)

A textual description of the type.

Example: "Foo & Runnable"

Specified by:

toString in interface TypeArg

Specified by:

toString in class JavaType<T>