joeq.Compiler.Quad
Interface QuadVisitor

All Known Implementing Classes:
CalculateSize, LoopAnalysis.InvokeVisitor, MethodSummary.BuildMethodSummary, ObjectCreationGraph, PrimitiveMethodSummary.BuildMethodSummary, QuadInterpreter, QuadVisitor.EmptyVisitor, RegisterNumberVisitor

public interface QuadVisitor

Version:
$Id: QuadVisitor.java 1590 2004-03-26 23:20:37Z joewhaley $
Author:
John Whaley

Nested Class Summary
static class QuadVisitor.AllQuadVisitor
           
static class 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.
 

Method Detail

visitExceptionThrower

void visitExceptionThrower(Quad obj)
A potentially excepting instruction..


visitLoad

void visitLoad(Quad obj)
An instruction that loads from memory.


visitStore

void visitStore(Quad obj)
An instruction that stores into memory.


visitBranch

void visitBranch(Quad obj)
An instruction that may branch (not including exceptional control flow).


visitCondBranch

void visitCondBranch(Quad obj)
A conditional branch instruction.


visitCheck

void visitCheck(Quad obj)
An exception check instruction.


visitStaticField

void visitStaticField(Quad obj)
An instruction.that accesses a static field.


visitInstanceField

void visitInstanceField(Quad obj)
An instruction.that accesses an instance field.


visitArray

void visitArray(Quad obj)
An instruction.that accesses an array.


visitAllocation

void visitAllocation(Quad obj)
An instruction.that does an allocation.


visitTypeCheck

void visitTypeCheck(Quad obj)
An instruction.that does a type check.


visitALoad

void visitALoad(Quad obj)
An array load instruction.


visitAStore

void visitAStore(Quad obj)
An array store instruction.


visitALength

void visitALength(Quad obj)
An array length instruction.


visitBinary

void visitBinary(Quad obj)
A binary operation instruction.


visitBoundsCheck

void visitBoundsCheck(Quad obj)
An array bounds check instruction.


visitCheckCast

void visitCheckCast(Quad obj)
A type cast check instruction.


visitGetfield

void visitGetfield(Quad obj)
A get instance field instruction.


visitGetstatic

void visitGetstatic(Quad obj)
A get static field instruction.


visitGoto

void visitGoto(Quad obj)
A goto instruction.


visitInstanceOf

void visitInstanceOf(Quad obj)
A type instance of instruction.


visitIntIfCmp

void visitIntIfCmp(Quad obj)
A compare and branch instruction.


visitInvoke

void visitInvoke(Quad obj)
An invoke instruction.


visitJsr

void visitJsr(Quad obj)
A jump local subroutine instruction.


visitLookupSwitch

void visitLookupSwitch(Quad obj)
A lookup switch instruction.


visitMemLoad

void visitMemLoad(Quad obj)
A raw memory load instruction.


visitMemStore

void visitMemStore(Quad obj)
A raw memory store instruction.


visitMonitor

void visitMonitor(Quad obj)
An object monitor lock/unlock instruction.


visitMove

void visitMove(Quad obj)
A register move instruction.


visitNew

void visitNew(Quad obj)
An object allocation instruction.


visitNewArray

void visitNewArray(Quad obj)
An array allocation instruction.


visitNullCheck

void visitNullCheck(Quad obj)
A null pointer check instruction.


visitPhi

void visitPhi(Quad obj)
A phi instruction. (For SSA.)


visitPutfield

void visitPutfield(Quad obj)
A put instance field instruction.


visitPutstatic

void visitPutstatic(Quad obj)
A put static field instruction.


visitRet

void visitRet(Quad obj)
A return from local subroutine instruction.


visitReturn

void visitReturn(Quad obj)
A return from method instruction.


visitSpecial

void visitSpecial(Quad obj)
A special instruction.


visitStoreCheck

void visitStoreCheck(Quad obj)
An object array store type check instruction.


visitTableSwitch

void visitTableSwitch(Quad obj)
A jump table switch instruction.


visitUnary

void visitUnary(Quad obj)
A unary operation instruction.


visitZeroCheck

void visitZeroCheck(Quad obj)
A divide-by-zero check instruction.


visitQuad

void visitQuad(Quad obj)
Any quad.



Copyright © 2001-2008 John Whaley. All Rights Reserved.