wyil.lang

Interface Type.Reference

All Superinterfaces:

Type, Type.EffectiveReference

Enclosing interface:

Type

public static interface Type.Reference
extends Type.EffectiveReference

Represents a reference to an object in Whiley. For example, &this:int is the type of a reference to a location allocated in the enclosing scope which holds an integer value.

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

Modifier and Type	Method and Description
Type	element() Return the type of the location that this reference refers to.
String	lifetime() Return the lifetime of this reference.

Methods inherited from interface wyil.lang.Type.EffectiveReference

getReadableElementType, getWriteableElementType

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

element

Type element()

Return the type of the location that this reference refers to. It is an invariant that the type does not change for the life of the location.

Returns:

lifetime

String lifetime()

Return the lifetime of this reference. That is a symbolic name which declared in the enclosing scope, or "*" in the case of the global lifetime.

Returns: