wyil.lang

Class Type.Impl.Primitive

java.lang.Object

wyil.lang.Type.Impl

wyil.lang.Type.Impl.Conjunctable

wyil.lang.Type.Impl.Atom

wyil.lang.Type.Impl.PositiveAtom

wyil.lang.Type.Impl.Primitive

All Implemented Interfaces:

Comparable<Type.Impl>, Type, Type.Leaf, Type.Primitive

Enclosing class:

Type.Impl

public abstract static class Type.Impl.Primitive
extends Type.Impl.PositiveAtom
implements Type.Primitive

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.Array, Type.EffectiveArray, Type.EffectiveRecord, Type.EffectiveReference, Type.Function, Type.FunctionOrMethod, Type.Impl, Type.Intersection, Type.Leaf, Type.Method, Type.Negation, Type.Nominal, Type.Primitive, Type.Property, Type.Record, Type.Reference, Type.Union

Field Summary

Fields inherited from interface wyil.lang.Type

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

Method Summary

Modifier and Type	Method and Description
int	compareTo(Type.Impl p)
boolean	equals(Object o)
int	getKind()
int	hashCode()
abstract String	toString()

Methods inherited from class wyil.lang.Type.Impl

intersectClosedClosedRecord, intersectOpenClosedRecord, intersectOpenOpenRecord

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, 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

Method Detail

toString

public abstract String toString()

Overrides:

toString in class Object

getKind

public int getKind()

Specified by:

getKind in class Type.Impl

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

compareTo

public int compareTo(Type.Impl p)

Specified by:

compareTo in interface Comparable<Type.Impl>