wyil.lang

Interface Bytecode.Stmt

All Superinterfaces:

Bytecode

All Known Subinterfaces:

Bytecode.StmtExpr

All Known Implementing Classes:

Bytecode.AliasDeclaration, Bytecode.Assert, Bytecode.AssertOrAssume, Bytecode.Assign, Bytecode.Assume, Bytecode.Break, Bytecode.Continue, Bytecode.Debug, Bytecode.DoWhile, Bytecode.Fail, Bytecode.If, Bytecode.IndirectInvoke, Bytecode.Invoke, Bytecode.Loop, Bytecode.NamedBlock, Bytecode.Return, Bytecode.Skip, Bytecode.Switch, Bytecode.VariableDeclaration, Bytecode.While

Enclosing interface:

Bytecode

public static interface Bytecode.Stmt
extends Bytecode

A statement bytecode represents a bytecode that contains a sequence of zero or more bytecodes. For example, a loop bytecode contains its loop body. The nested blocks of bytecodes are represented as a block identifier in the enclosing forest.

Author:

David J. Pearce

Nested Class Summary

Nested classes/interfaces inherited from interface wyil.lang.Bytecode

Bytecode.AliasDeclaration, Bytecode.Assert, Bytecode.AssertOrAssume, Bytecode.Assign, Bytecode.Assume, Bytecode.Block, Bytecode.Blocks, Bytecode.Break, Bytecode.Case, Bytecode.Const, Bytecode.Continue, Bytecode.Convert, Bytecode.Debug, Bytecode.DoWhile, Bytecode.Expr, Bytecode.Extras, Bytecode.Fail, Bytecode.FieldLoad, Bytecode.If, Bytecode.Index, Bytecode.IndirectInvoke, Bytecode.Invoke, Bytecode.Lambda, Bytecode.Loop, Bytecode.NamedBlock, Bytecode.OperandGroups, Bytecode.Operands, Bytecode.Operator, Bytecode.OperatorKind, Bytecode.Quantifier, Bytecode.QuantifierKind, Bytecode.Range, Bytecode.Return, Bytecode.Schema, Bytecode.Skip, Bytecode.Stmt, Bytecode.StmtExpr, Bytecode.Switch, Bytecode.Util, Bytecode.VariableAccess, Bytecode.VariableDeclaration, Bytecode.While

Field Summary

Fields inherited from interface wyil.lang.Bytecode

BINARY_ASSIGNABLE, BINARY_OPERATOR, NARY_ASSIGNABLE, OPCODE_add, OPCODE_aliasdecl, OPCODE_all, OPCODE_array, OPCODE_arraygen, OPCODE_arrayindex, OPCODE_arraylength, OPCODE_assert, OPCODE_assign, OPCODE_assume, OPCODE_bitwiseand, OPCODE_bitwiseinvert, OPCODE_bitwiseor, OPCODE_bitwisexor, OPCODE_block, OPCODE_break, OPCODE_const, OPCODE_continue, OPCODE_convert, OPCODE_debug, OPCODE_dereference, OPCODE_div, OPCODE_dowhile, OPCODE_eq, OPCODE_fail, OPCODE_fieldload, OPCODE_ge, OPCODE_gt, OPCODE_if, OPCODE_ifelse, OPCODE_ifis, OPCODE_indirectinvoke, OPCODE_invoke, OPCODE_is, OPCODE_lambda, OPCODE_le, OPCODE_logicaland, OPCODE_logicalnot, OPCODE_logicalor, OPCODE_lt, OPCODE_mul, OPCODE_namedblock, OPCODE_ne, OPCODE_neg, OPCODE_newobject, OPCODE_record, OPCODE_rem, OPCODE_return, OPCODE_shl, OPCODE_shr, OPCODE_skip, OPCODE_some, OPCODE_sub, OPCODE_switch, OPCODE_varcopy, OPCODE_vardecl, OPCODE_vardeclinit, OPCODE_varmove, OPCODE_while, UNARY_ASSIGNABLE, UNARY_OPERATOR

Method Summary

Modifier and Type	Method and Description
int	getBlock(int i) Get the ith block contained in this statement
int[]	getBlocks() Get the blocks contained in this statement
int	numberOfBlocks() Determine the number of blocks contained in this bytecode.

Methods inherited from interface wyil.lang.Bytecode

getOpcode, getOperand, getOperandGroup, getOperands, numberOfOperandGroups, numberOfOperands

Method Detail

numberOfBlocks

int numberOfBlocks()

Determine the number of blocks contained in this bytecode.

Returns:

getBlock

int getBlock(int i)

Get the ith block contained in this statement

Parameters:

i -

Returns:

getBlocks

int[] getBlocks()

Get the blocks contained in this statement

Parameters:

i -

Returns: