Uses of Class
wyil.lang.Type.Impl

Packages that use Type.Impl

Package	Description
wyil.lang	Provides core classes for representing WYIL modules and bytecodes.

Uses of Type.Impl in wyil.lang

Subclasses of Type.Impl in wyil.lang

Modifier and Type	Class and Description
static class	Type.Impl.Atom An atom represents an indivisible type.
static class	Type.Impl.Conjunctable Represents either an atom or a conjunct
static class	Type.Impl.Function A function type, consisting of a list of zero or more parameters and a return type.
static class	Type.Impl.FunctionOrMethod
static class	Type.Impl.Method
static class	Type.Impl.PositiveAtom A positive atom is any atom except a negation
static class	Type.Impl.Primitive
static class	Type.Impl.Property

Fields in wyil.lang declared as Type.Impl

Modifier and Type	Field and Description
protected Type.Impl[]	Type.Impl.FunctionOrMethod.parameters
protected Type.Impl[]	Type.Impl.FunctionOrMethod.returns

Methods in wyil.lang that return Type.Impl

Modifier and Type	Method and Description
Type.Impl	Type.Impl.FunctionOrMethod.parameter(int i)
Type.Impl[]	Type.Impl.FunctionOrMethod.params() Get the parameter types of this function or method type.
Type.Impl[]	Type.Impl.FunctionOrMethod.returns() Get the return types of this function or method type.
static Type.Impl[]	Type.toImplOrVoid(Type[] types)

Methods in wyil.lang with parameters of type Type.Impl

Modifier and Type	Method and Description
int	Type.Impl.Primitive.compareTo(Type.Impl p)
int	Type.Impl.FunctionOrMethod.compareTo(Type.Impl o)
static wyil.lang.Type.Impl.Array[]	Type.toImplArrays(Type.Impl[] types)
static wyil.lang.Type.Impl.Record[]	Type.toImplRecords(Type.Impl[] types)

Constructors in wyil.lang with parameters of type Type.Impl

Constructor and Description
Function(Type.Impl[] parameters, Type.Impl[] returns)
Function(Type.Impl[] parameters, Type.Impl[] returns)
FunctionOrMethod(Type.Impl[] parameters, Type.Impl[] returns)
FunctionOrMethod(Type.Impl[] parameters, Type.Impl[] returns)
Method(Collection<String> lifetimeParameters, Collection<String> contextLifetimes, Type.Impl[] parameters, Type.Impl[] returns)
Method(Collection<String> lifetimeParameters, Collection<String> contextLifetimes, Type.Impl[] parameters, Type.Impl[] returns)
Method(String[] lifetimeParameters, String[] contextLifetimes, Type.Impl[] parameters, Type.Impl[] returns)
Method(String[] lifetimeParameters, String[] contextLifetimes, Type.Impl[] parameters, Type.Impl[] returns)
Method(Type.Impl[] parameters, Type.Impl[] returns)
Method(Type.Impl[] parameters, Type.Impl[] returns)
Property(Type.Impl[] parameters)