gov.nasa.jpf.symbc.veritesting.ast.transformations.AstToGreen

Class NoSkipVisitor

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.transformations.AstToGreen.NoSkipVisitor

All Implemented Interfaces:

AstVisitor<Stmt>

public class NoSkipVisitor
extends java.lang.Object
implements AstVisitor<Stmt>

Constructor Summary

Constructors

Constructor and Description
NoSkipVisitor()

Method Summary

Modifier and Type	Method and Description
Stmt	bad(java.lang.Object obj)
Stmt	visit(ArrayLengthInstruction c)
Stmt	visit(ArrayLoadInstruction c)
Stmt	visit(ArrayStoreInstruction c)
Stmt	visit(AssignmentStmt a)
Stmt	visit(CheckCastInstruction c)
Stmt	visit(CompositionStmt a)
Stmt	visit(GetInstruction c)
Stmt	visit(IfThenElseStmt a)
Stmt	visit(InstanceOfInstruction c)
Stmt	visit(InvokeInstruction c)
Stmt	visit(NewInstruction c)
Stmt	visit(PhiInstruction c)
Stmt	visit(PutInstruction c)
Stmt	visit(ReturnInstruction c)
Stmt	visit(SkipStmt a)
Stmt	visit(SPFCaseStmt c)
Stmt	visit(SwitchInstruction c)
Stmt	visit(ThrowInstruction c)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NoSkipVisitor

public NoSkipVisitor()

Method Detail

visit

public Stmt visit(AssignmentStmt a)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(CompositionStmt a)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(IfThenElseStmt a)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(SkipStmt a)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(SPFCaseStmt c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(ArrayLoadInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(ArrayStoreInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(SwitchInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(ReturnInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(GetInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(PutInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(NewInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(InvokeInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(ArrayLengthInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(ThrowInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(CheckCastInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(InstanceOfInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(PhiInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

bad

public Stmt bad(java.lang.Object obj)