public static class WyalFile.Expr.RecordAccess extends wybs.util.AbstractSyntacticItem implements WyalFile.Expr
rec.f" where rec is the source record
and f is the field.WyalFile.Expr.Addition, WyalFile.Expr.ArrayAccess, WyalFile.Expr.ArrayGenerator, WyalFile.Expr.ArrayInitialiser, WyalFile.Expr.ArrayLength, WyalFile.Expr.ArrayUpdate, WyalFile.Expr.Cast, WyalFile.Expr.Constant, WyalFile.Expr.Dereference, WyalFile.Expr.Division, WyalFile.Expr.Equal, WyalFile.Expr.ExistentialQuantifier, WyalFile.Expr.GreaterThan, WyalFile.Expr.GreaterThanOrEqual, WyalFile.Expr.InfixOperator, WyalFile.Expr.Invoke, WyalFile.Expr.Is, WyalFile.Expr.LessThan, WyalFile.Expr.LessThanOrEqual, WyalFile.Expr.LogicalAnd, WyalFile.Expr.LogicalIff, WyalFile.Expr.LogicalImplication, WyalFile.Expr.LogicalNot, WyalFile.Expr.LogicalOr, WyalFile.Expr.Multiplication, WyalFile.Expr.Negation, WyalFile.Expr.NotEqual, WyalFile.Expr.Operator, WyalFile.Expr.Quantifier, WyalFile.Expr.RecordAccess, WyalFile.Expr.RecordInitialiser, WyalFile.Expr.RecordUpdate, WyalFile.Expr.Remainder, WyalFile.Expr.Subtraction, WyalFile.Expr.UniversalQuantifier, WyalFile.Expr.VariableAccessWyalFile.Stmt.Block, WyalFile.Stmt.CaseOf, WyalFile.Stmt.IfThen| Constructor and Description |
|---|
RecordAccess(WyalFile.Expr lhs,
wybs.util.AbstractCompilationUnit.Identifier rhs) |
| Modifier and Type | Method and Description |
|---|---|
WyalFile.Expr.RecordAccess |
clone(wybs.lang.SyntacticItem[] operands) |
wybs.util.AbstractCompilationUnit.Identifier |
getField() |
WyalFile.Expr |
getSource() |
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 RecordAccess(WyalFile.Expr lhs, wybs.util.AbstractCompilationUnit.Identifier rhs)
public WyalFile.Expr getSource()
public wybs.util.AbstractCompilationUnit.Identifier getField()
public WyalFile.Expr.RecordAccess clone(wybs.lang.SyntacticItem[] operands)
clone in interface wybs.lang.SyntacticItempublic String toString()
toString in class wybs.util.AbstractSyntacticItemCopyright © 2017. All rights reserved.