public static class WyalFile.Expr.ArrayLength extends WyalFile.Expr.Operator
|arr|" where arr is the source
array. This simply returns the length of array arr.
e.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 |
|---|
ArrayLength(WyalFile.Expr src) |
| Modifier and Type | Method and Description |
|---|---|
WyalFile.Expr.ArrayLength |
clone(wybs.lang.SyntacticItem[] operands) |
WyalFile.Expr |
getSource() |
String |
toString() |
get, getAllallocate, compareTo, equals, getAncestor, getData, getHeap, getIndex, getOpcode, getParent, hashCode, match, setOpcode, setOperand, size, toArrayclone, finalize, getClass, notify, notifyAll, wait, wait, waitallocate, getData, getHeap, getIndex, getOpcode, getParent, setOpcode, setOperand, sizecompareTopublic ArrayLength(WyalFile.Expr src)
public WyalFile.Expr getSource()
public WyalFile.Expr.ArrayLength clone(wybs.lang.SyntacticItem[] operands)
clone in interface wybs.lang.SyntacticItemclone in class WyalFile.Expr.Operatorpublic String toString()
toString in class wybs.util.AbstractSyntacticItemCopyright © 2017. All rights reserved.