wyil.lang

Class Type.Impl.Atom

java.lang.Object

wyil.lang.Type.Impl

wyil.lang.Type.Impl.Conjunctable

wyil.lang.Type.Impl.Atom

All Implemented Interfaces:

Comparable<Type.Impl>, Type

Direct Known Subclasses:

Type.Impl.FunctionOrMethod, Type.Impl.PositiveAtom

Enclosing class:

Type.Impl

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

An atom represents an indivisible type. More specifically, a type which does not contain a union or intersection anywhere, including in subcomponents.

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
Atom()

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

Atom

public Atom()