wyil.lang

Interface Type.Leaf

All Superinterfaces:

Type

All Known Subinterfaces:

Type.Nominal, Type.Primitive

All Known Implementing Classes:

Type.Impl.Primitive

Enclosing interface:

Type

public static interface Type.Leaf
extends Type

Represents a type which constitutes a "leaf" node in the type tree. That is, it contains no types as subcomponents.

Author:

David J. Pearce

Nested Class Summary

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

Methods inherited from interface wyil.lang.Type

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