wyil.lang

Class Type.Impl

java.lang.Object

wyil.lang.Type.Impl

All Implemented Interfaces:

Comparable<Type.Impl>, Type

Direct Known Subclasses:

Type.Impl.Conjunctable

Enclosing interface:

Type

public abstract static class Type.Impl
extends Object
implements Type, Comparable<Type.Impl>

Nested Class Summary

Nested Classes

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

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

Method Summary

Modifier and Type	Method and Description
abstract int	getKind()
static Type	intersectClosedClosedRecord(wyil.lang.Type.Impl.Record ith, wyil.lang.Type.Impl.Record jth) When intersecting two closed records, we require they both have the same set of fields.
static Type	intersectOpenClosedRecord(wyil.lang.Type.Impl.Record open, wyil.lang.Type.Impl.Record closed) When intersecting an open record with a closed record.
static Type	intersectOpenOpenRecord(wyil.lang.Type.Impl.Record ith, wyil.lang.Type.Impl.Record jth) When intersecting an open record with another open record, there is always a resulting intersection.

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

Impl

public Impl()

Method Detail

getKind

public abstract int getKind()

intersectClosedClosedRecord

public static Type intersectClosedClosedRecord(wyil.lang.Type.Impl.Record ith,
                                               wyil.lang.Type.Impl.Record jth)

When intersecting two closed records, we require they both have the same set of fields. Then we simply intersect each respective field.

Parameters:

ith -

jth -

Returns:

intersectOpenClosedRecord

public static Type intersectOpenClosedRecord(wyil.lang.Type.Impl.Record open,
                                             wyil.lang.Type.Impl.Record closed)

When intersecting an open record with a closed record. In this case, the result is void if there is a field in the open record not present in the closed record. Otherwise, the result is the intersection of those fields common to both with the remainder taken from the closed record.

Parameters:

open -

jth -

Returns:

intersectOpenOpenRecord

public static Type intersectOpenOpenRecord(wyil.lang.Type.Impl.Record ith,
                                           wyil.lang.Type.Impl.Record jth)

When intersecting an open record with another open record, there is always a resulting intersection. In this case, fields common to both are intersected and the remainder are pulled as is.

Parameters:

ith -

jth -

Returns: