wyil.lang

Class Type.Impl.Conjunctable

java.lang.Object

wyil.lang.Type.Impl

wyil.lang.Type.Impl.Conjunctable

All Implemented Interfaces:

Comparable<Type.Impl>, Type

Direct Known Subclasses:

Type.Impl.Atom

Enclosing class:

Type.Impl

public abstract static class Type.Impl.Conjunctable
extends Type.Impl

Represents either an atom or a conjunct

Author:

David J. Pearce

Nested Class Summary

Nested classes/interfaces inherited from class wyil.lang.Type.Impl

Type.Impl.Atom, Type.Impl.Conjunctable, Type.Impl.Function, Type.Impl.FunctionOrMethod, Type.Impl.Method, Type.Impl.PositiveAtom, Type.Impl.Primitive, Type.Impl.Property

Nested classes/interfaces inherited from interface wyil.lang.Type

Type.EffectiveArray, Type.EffectiveRecord, Type.EffectiveReference, Type.Impl, Type.Intersection, Type.Leaf

Field Summary

Fields inherited from interface wyil.lang.Type

T_ANY, T_BOOL, T_BYTE, T_INT, T_META, T_NULL, T_VOID

Constructor Summary

Constructors

Constructor and Description
Conjunctable()

Method Summary

Methods inherited from class wyil.lang.Type.Impl

getKind, intersectClosedClosedRecord, intersectOpenClosedRecord, intersectOpenOpenRecord

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface wyil.lang.Type

Array, fromString, Function, Intersection, Method, Method, Method, Negation, Nominal, Property, Record, Record, Reference, toImplArrays, toImplOrVoid, toImplRecords, Union

Methods inherited from interface java.lang.Comparable

compareTo

Constructor Detail

Conjunctable

public Conjunctable()