public static class WyalFile.Expr.ArrayUpdate extends WyalFile.Expr.Operator
arr[e1:=e2]" where arr is the source
array, e1 the subscript expression and
e2 is the value expression. This returns a new array
which is equivalent to arr but where the element
determined by e1 has the value resulting from
e2.AbstractSyntacticItem.Blocks, AbstractSyntacticItem.Extras, AbstractSyntacticItem.Operands, AbstractSyntacticItem.SchemaWyalFile.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.IfThendata| Constructor and Description |
|---|
ArrayUpdate(WyalFile.Expr src,
WyalFile.Expr index,
WyalFile.Expr value) |
| Modifier and Type | Method and Description |
|---|---|
WyalFile.Expr.ArrayUpdate |
clone(SyntacticItem[] operands)
Create a new copy of the given syntactic item with the given operands.
|
WyalFile.Expr |
getSource() |
WyalFile.Expr |
getSubscript() |
WyalFile.Expr |
getValue() |
String |
toString() |
getOperand, getOperandsallocate, compareTo, equals, getData, getIndex, getOpcode, getParent, hashCode, setOpcode, setOperand, sizeclone, finalize, getClass, notify, notifyAll, wait, wait, waitallocate, getData, getIndex, getOpcode, getParent, setOpcode, setOperand, sizecompareTopublic ArrayUpdate(WyalFile.Expr src, WyalFile.Expr index, WyalFile.Expr value)
public WyalFile.Expr getSource()
public WyalFile.Expr getSubscript()
public WyalFile.Expr getValue()
public WyalFile.Expr.ArrayUpdate clone(SyntacticItem[] operands)
SyntacticItemsize() for this item, and
be of appropriate type.clone in interface SyntacticItemclone in class WyalFile.Expr.Operatorpublic String toString()
toString in class AbstractSyntacticItemCopyright © 2017. All rights reserved.