joeq.Compiler.Quad
Class QuadVisitor.EmptyVisitor

java.lang.Object
  joeq.Compiler.Quad.QuadVisitor.EmptyVisitor

All Implemented Interfaces:

QuadVisitor

Direct Known Subclasses:

CalculateSize, LoopAnalysis.InvokeVisitor, MethodSummary.BuildMethodSummary, ObjectCreationGraph, PrimitiveMethodSummary.BuildMethodSummary, QuadInterpreter, RegisterNumberVisitor

Enclosing interface:

QuadVisitor

public abstract static class QuadVisitor.EmptyVisitor
extends Object
implements QuadVisitor

Nested Class Summary

Nested classes/interfaces inherited from interface joeq.Compiler.Quad.QuadVisitor

QuadVisitor.AllQuadVisitor, QuadVisitor.EmptyVisitor

Constructor Summary

QuadVisitor.EmptyVisitor()

Method Summary

void	visitALength(Quad obj) An array length instruction.
void	visitAllocation(Quad obj) An instruction.that does an allocation.
void	visitALoad(Quad obj) An array load instruction.
void	visitArray(Quad obj) An instruction.that accesses an array.
void	visitAStore(Quad obj) An array store instruction.
void	visitBinary(Quad obj) A binary operation instruction.
void	visitBoundsCheck(Quad obj) An array bounds check instruction.
void	visitBranch(Quad obj) An instruction that may branch (not including exceptional control flow).
void	visitCheck(Quad obj) An exception check instruction.
void	visitCheckCast(Quad obj) A type cast check instruction.
void	visitCondBranch(Quad obj) A conditional branch instruction.
void	visitExceptionThrower(Quad obj) A potentially excepting instruction..
void	visitGetfield(Quad obj) A get instance field instruction.
void	visitGetstatic(Quad obj) A get static field instruction.
void	visitGoto(Quad obj) A goto instruction.
void	visitInstanceField(Quad obj) An instruction.that accesses an instance field.
void	visitInstanceOf(Quad obj) A type instance of instruction.
void	visitIntIfCmp(Quad obj) A compare and branch instruction.
void	visitInvoke(Quad obj) An invoke instruction.
void	visitJsr(Quad obj) A jump local subroutine instruction.
void	visitLoad(Quad obj) An instruction that loads from memory.
void	visitLookupSwitch(Quad obj) A lookup switch instruction.
void	visitMemLoad(Quad obj) A raw memory load instruction.
void	visitMemStore(Quad obj) A raw memory store instruction.
void	visitMonitor(Quad obj) An object monitor lock/unlock instruction.
void	visitMove(Quad obj) A register move instruction.
void	visitNew(Quad obj) An object allocation instruction.
void	visitNewArray(Quad obj) An array allocation instruction.
void	visitNullCheck(Quad obj) A null pointer check instruction.
void	visitPhi(Quad obj) A phi instruction.
void	visitPutfield(Quad obj) A put instance field instruction.
void	visitPutstatic(Quad obj) A put static field instruction.
void	visitQuad(Quad obj) Any quad.
void	visitRet(Quad obj) A return from local subroutine instruction.
void	visitReturn(Quad obj) A return from method instruction.
void	visitSpecial(Quad obj) A special instruction.
void	visitStaticField(Quad obj) An instruction.that accesses a static field.
void	visitStore(Quad obj) An instruction that stores into memory.
void	visitStoreCheck(Quad obj) An object array store type check instruction.
void	visitTableSwitch(Quad obj) A jump table switch instruction.
void	visitTypeCheck(Quad obj) An instruction.that does a type check.
void	visitUnary(Quad obj) A unary operation instruction.
void	visitZeroCheck(Quad obj) A divide-by-zero check instruction.

Methods inherited from class java.lang.Object

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

Constructor Detail

QuadVisitor.EmptyVisitor

public QuadVisitor.EmptyVisitor()

Method Detail

visitExceptionThrower

public void visitExceptionThrower(Quad obj)

A potentially excepting instruction..

Specified by:

visitExceptionThrower in interface QuadVisitor

visitLoad

public void visitLoad(Quad obj)

An instruction that loads from memory.

Specified by:

visitLoad in interface QuadVisitor

visitStore

public void visitStore(Quad obj)

An instruction that stores into memory.

Specified by:

visitStore in interface QuadVisitor

visitBranch

public void visitBranch(Quad obj)

An instruction that may branch (not including exceptional control flow).

Specified by:

visitBranch in interface QuadVisitor

visitCondBranch

public void visitCondBranch(Quad obj)

A conditional branch instruction.

Specified by:

visitCondBranch in interface QuadVisitor

visitCheck

public void visitCheck(Quad obj)

An exception check instruction.

Specified by:

visitCheck in interface QuadVisitor

visitStaticField

public void visitStaticField(Quad obj)

An instruction.that accesses a static field.

Specified by:

visitStaticField in interface QuadVisitor

visitInstanceField

public void visitInstanceField(Quad obj)

An instruction.that accesses an instance field.

Specified by:

visitInstanceField in interface QuadVisitor

visitArray

public void visitArray(Quad obj)

An instruction.that accesses an array.

Specified by:

visitArray in interface QuadVisitor

visitAllocation

public void visitAllocation(Quad obj)

An instruction.that does an allocation.

Specified by:

visitAllocation in interface QuadVisitor

visitTypeCheck

public void visitTypeCheck(Quad obj)

An instruction.that does a type check.

Specified by:

visitTypeCheck in interface QuadVisitor

visitALoad

public void visitALoad(Quad obj)

An array load instruction.

Specified by:

visitALoad in interface QuadVisitor

visitAStore

public void visitAStore(Quad obj)

An array store instruction.

Specified by:

visitAStore in interface QuadVisitor

visitALength

public void visitALength(Quad obj)

An array length instruction.

Specified by:

visitALength in interface QuadVisitor

visitBinary

public void visitBinary(Quad obj)

A binary operation instruction.

Specified by:

visitBinary in interface QuadVisitor

visitBoundsCheck

public void visitBoundsCheck(Quad obj)

An array bounds check instruction.

Specified by:

visitBoundsCheck in interface QuadVisitor

visitCheckCast

public void visitCheckCast(Quad obj)

A type cast check instruction.

Specified by:

visitCheckCast in interface QuadVisitor

visitGetfield

public void visitGetfield(Quad obj)

A get instance field instruction.

Specified by:

visitGetfield in interface QuadVisitor

visitGetstatic

public void visitGetstatic(Quad obj)

A get static field instruction.

Specified by:

visitGetstatic in interface QuadVisitor

visitGoto

public void visitGoto(Quad obj)

A goto instruction.

Specified by:

visitGoto in interface QuadVisitor

visitInstanceOf

public void visitInstanceOf(Quad obj)

A type instance of instruction.

Specified by:

visitInstanceOf in interface QuadVisitor

visitIntIfCmp

public void visitIntIfCmp(Quad obj)

A compare and branch instruction.

Specified by:

visitIntIfCmp in interface QuadVisitor

visitInvoke

public void visitInvoke(Quad obj)

An invoke instruction.

Specified by:

visitInvoke in interface QuadVisitor

visitJsr

public void visitJsr(Quad obj)

A jump local subroutine instruction.

Specified by:

visitJsr in interface QuadVisitor

visitLookupSwitch

public void visitLookupSwitch(Quad obj)

A lookup switch instruction.

Specified by:

visitLookupSwitch in interface QuadVisitor

visitMemLoad

public void visitMemLoad(Quad obj)

A raw memory load instruction.

Specified by:

visitMemLoad in interface QuadVisitor

visitMemStore

public void visitMemStore(Quad obj)

A raw memory store instruction.

Specified by:

visitMemStore in interface QuadVisitor

visitMonitor

public void visitMonitor(Quad obj)

An object monitor lock/unlock instruction.

Specified by:

visitMonitor in interface QuadVisitor

visitMove

public void visitMove(Quad obj)

A register move instruction.

Specified by:

visitMove in interface QuadVisitor

visitNew

public void visitNew(Quad obj)

An object allocation instruction.

Specified by:

visitNew in interface QuadVisitor

visitNewArray

public void visitNewArray(Quad obj)

An array allocation instruction.

Specified by:

visitNewArray in interface QuadVisitor

visitNullCheck

public void visitNullCheck(Quad obj)

A null pointer check instruction.

Specified by:

visitNullCheck in interface QuadVisitor

visitPhi

public void visitPhi(Quad obj)

A phi instruction. (For SSA.)

Specified by:

visitPhi in interface QuadVisitor

visitPutfield

public void visitPutfield(Quad obj)

A put instance field instruction.

Specified by:

visitPutfield in interface QuadVisitor

visitPutstatic

public void visitPutstatic(Quad obj)

A put static field instruction.

Specified by:

visitPutstatic in interface QuadVisitor

visitRet

public void visitRet(Quad obj)

A return from local subroutine instruction.

Specified by:

visitRet in interface QuadVisitor

visitReturn

public void visitReturn(Quad obj)

A return from method instruction.

Specified by:

visitReturn in interface QuadVisitor

visitSpecial

public void visitSpecial(Quad obj)

A special instruction.

Specified by:

visitSpecial in interface QuadVisitor

visitStoreCheck

public void visitStoreCheck(Quad obj)

An object array store type check instruction.

Specified by:

visitStoreCheck in interface QuadVisitor

visitTableSwitch

public void visitTableSwitch(Quad obj)

A jump table switch instruction.

Specified by:

visitTableSwitch in interface QuadVisitor

visitUnary

public void visitUnary(Quad obj)

A unary operation instruction.

Specified by:

visitUnary in interface QuadVisitor

visitZeroCheck

public void visitZeroCheck(Quad obj)

A divide-by-zero check instruction.

Specified by:

visitZeroCheck in interface QuadVisitor

visitQuad

public void visitQuad(Quad obj)

Any quad.

Specified by:

visitQuad in interface QuadVisitor