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

Interface Ast

All Known Subinterfaces:

Stmt

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 Ast

Interface that provides the signature of accept method which all Statements in RangerIR supports.

Method Summary

Modifier and Type	Method and Description
<T> T	accept(AstVisitor<T> visitor)

Method Detail

accept

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