public static class WyalFile.Type.Reference extends WyalFile.Type.Atom
ReferenceType ::= '&' Type
WyalFile.Type.Any, WyalFile.Type.Array, WyalFile.Type.Atom, WyalFile.Type.Bool, WyalFile.Type.Byte, WyalFile.Type.Function, WyalFile.Type.FunctionOrMacroOrInvariant, WyalFile.Type.FunctionOrMethodOrProperty, WyalFile.Type.Int, WyalFile.Type.Intersection, WyalFile.Type.Invariant, WyalFile.Type.Method, WyalFile.Type.Negation, WyalFile.Type.Nominal, WyalFile.Type.Null, WyalFile.Type.Primitive, WyalFile.Type.Property, WyalFile.Type.Record, WyalFile.Type.Reference, WyalFile.Type.Union, WyalFile.Type.UnionOrIntersection, WyalFile.Type.Void| Constructor and Description |
|---|
Reference(WyalFile.Type element,
wybs.util.AbstractCompilationUnit.Identifier lifetime) |
| Modifier and Type | Method and Description |
|---|---|
WyalFile.Type.Reference |
clone(wybs.lang.SyntacticItem[] operands) |
WyalFile.Type |
getElement() |
wybs.util.AbstractCompilationUnit.Identifier |
getLifetime() |
String |
toString() |
allocate, compareTo, equals, get, getAll, getAncestor, getData, getHeap, getIndex, getOpcode, getParent, hashCode, match, setOpcode, setOperand, size, toArrayclone, finalize, getClass, notify, notifyAll, wait, wait, waitallocate, get, getAll, getData, getHeap, getIndex, getOpcode, getParent, setOpcode, setOperand, sizecompareTopublic Reference(WyalFile.Type element, wybs.util.AbstractCompilationUnit.Identifier lifetime)
public WyalFile.Type getElement()
public wybs.util.AbstractCompilationUnit.Identifier getLifetime()
public WyalFile.Type.Reference clone(wybs.lang.SyntacticItem[] operands)
public String toString()
toString in class wybs.util.AbstractSyntacticItemCopyright © 2017. All rights reserved.