gov.nasa.jpf.symbc.veritesting.ast.def

Interface Stmt

All Superinterfaces:

Ast

All Known Implementing Classes:

ArrayLengthInstruction, ArrayLoadInstruction, ArrayStoreInstruction, AssignmentStmt, CheckCastInstruction, CompositionStmt, GetInstruction, IfThenElseStmt, InstanceOfInstruction, Instruction, InvokeInstruction, NewInstruction, PhiInstruction, PutInstruction, ReturnInstruction, SkipStmt, SPFCaseStmt, SwitchInstruction, ThrowInstruction

public interface Stmt
extends Ast

Defines an interface for all statements in the RangerIR.

Method Summary

Modifier and Type	Method and Description
<T> T	accept(AstVisitor<T> visitor)
boolean	equals(Stmt stmt2)
java.lang.String	toString()

Method Detail

accept

<T> T accept(AstVisitor<T> visitor)

Specified by:

accept in interface Ast

toString

java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

boolean equals(Stmt stmt2)