wyal.lang

Interface WyalFile.Stmt

All Superinterfaces:

Comparable<wybs.lang.SyntacticItem>, wybs.lang.SyntacticElement, wybs.lang.SyntacticItem

All Known Subinterfaces:

Formula, Formula.ArithmeticEquation, Formula.Equation, WyalFile.Expr

All Known Implementing Classes:

Formula.ArithmeticEquality, Formula.Conjunct, Formula.Disjunct, Formula.Equality, Formula.Inequality, Formula.Invoke, Formula.Is, Formula.Quantifier, Formula.Truth, 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.VariableAccess, WyalFile.Stmt.Block, WyalFile.Stmt.CaseOf, WyalFile.Stmt.ExistentialQuantifier, WyalFile.Stmt.IfThen, WyalFile.Stmt.Quantifier, WyalFile.Stmt.UniversalQuantifier

Enclosing class:

WyalFile

public static interface WyalFile.Stmt
extends wybs.lang.SyntacticItem

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	WyalFile.Stmt.Block
static class	WyalFile.Stmt.CaseOf
static class	WyalFile.Stmt.ExistentialQuantifier Represents an unbounded existentially quantified expression of the form "some(T v1, ...
static class	WyalFile.Stmt.IfThen
static class	WyalFile.Stmt.Quantifier
static class	WyalFile.Stmt.UniversalQuantifier Represents an unbounded universally quantified expression of the form "forall(T v1, ...

Nested classes/interfaces inherited from interface wybs.lang.SyntacticItem

wybs.lang.SyntacticItem.Data, wybs.lang.SyntacticItem.Operands, wybs.lang.SyntacticItem.Schema

Nested classes/interfaces inherited from interface wybs.lang.SyntacticElement

wybs.lang.SyntacticElement.Impl

Method Summary

Methods inherited from interface wybs.lang.SyntacticItem

allocate, clone, get, getAll, getData, getHeap, getIndex, getOpcode, getParent, setOpcode, setOperand, size

Methods inherited from interface wybs.lang.SyntacticElement

attribute, attributes

Methods inherited from interface java.lang.Comparable

compareTo