jist.runtime
Class RewriterTraversalModifyEntityReferences

java.lang.Object
  jist.runtime.ClassTraversal.Empty
      jist.runtime.RewriterTraversalModifyEntityReferences

All Implemented Interfaces:

ClassTraversal.Visitor

 class RewriterTraversalModifyEntityReferences
extends ClassTraversal.Empty

Traversal object that converts any references to entity objects within a class into EntityRef objects. This means that all method parameter and method return types, as well as all field types, that implement the JistAPI.Entity interface are converted into the EntityRef type.

Since:

JIST1.0

Author:

Rimon Barr <barr+jist@cs.cornell.edu>

See Also:

Controller.newEntityReference(jist.runtime.Entity), JistAPI.Entity, EntityRef

Field Summary

private org.apache.bcel.generic.InstructionFactory	ifc class instruction factory.
private Rewriter	rewriter primary rewriter.

Constructor Summary

RewriterTraversalModifyEntityReferences(Rewriter rewriter)
Create rewriter object to modify all entity references.

Method Summary

org.apache.bcel.generic.ClassGen	doClass(org.apache.bcel.generic.ClassGen cg) Upcall to process class before field and method processing.
org.apache.bcel.generic.FieldGen	doField(org.apache.bcel.generic.ClassGen cg, org.apache.bcel.generic.FieldGen fg) Upcall to process field.
void	doInstruction(org.apache.bcel.generic.ClassGen cg, org.apache.bcel.generic.MethodGen mg, org.apache.bcel.generic.InstructionHandle ih, org.apache.bcel.generic.Instruction inst) Upcall to process instruction. Note that instructions can be inserted and deleted directly using the BCEL API, and therefore this method returns void.
org.apache.bcel.generic.MethodGen	doMethod(org.apache.bcel.generic.ClassGen cg, org.apache.bcel.generic.MethodGen mg) Upcall to process method before instruction processing.

Methods inherited from class jist.runtime.ClassTraversal.Empty

doClassPost, doMethodPost

Methods inherited from class java.lang.Object

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

Field Detail

ifc

private org.apache.bcel.generic.InstructionFactory ifc

class instruction factory.

rewriter

private Rewriter rewriter

primary rewriter.

Constructor Detail

RewriterTraversalModifyEntityReferences

public RewriterTraversalModifyEntityReferences(Rewriter rewriter)

Create rewriter object to modify all entity references.

Parameters:

rewriter - reference to primary rewriter

Method Detail

doClass

public org.apache.bcel.generic.ClassGen doClass(org.apache.bcel.generic.ClassGen cg)

Upcall to process class before field and method processing.

Specified by:

doClass in interface ClassTraversal.Visitor

Overrides:

doClass in class ClassTraversal.Empty

Parameters:

cg - BCEL class generator object to process

Returns:

processed BCEL class generator object

doField

public org.apache.bcel.generic.FieldGen doField(org.apache.bcel.generic.ClassGen cg,
                                                org.apache.bcel.generic.FieldGen fg)
                                         throws java.lang.ClassNotFoundException

Upcall to process field.

Specified by:

doField in interface ClassTraversal.Visitor

Overrides:

doField in class ClassTraversal.Empty

Parameters:

cg - BCEL class generator object

fg - BCEL field generator object to process

Returns:

processed BCEL field generator object

Throws:

java.lang.ClassNotFoundException

doMethod

public org.apache.bcel.generic.MethodGen doMethod(org.apache.bcel.generic.ClassGen cg,
                                                  org.apache.bcel.generic.MethodGen mg)
                                           throws java.lang.ClassNotFoundException

Upcall to process method before instruction processing.

Specified by:

doMethod in interface ClassTraversal.Visitor

Overrides:

doMethod in class ClassTraversal.Empty

Parameters:

cg - BCEL class generator object

mg - BCEL method generator object to process

Returns:

processed BCEL method generator object

Throws:

java.lang.ClassNotFoundException

doInstruction

public void doInstruction(org.apache.bcel.generic.ClassGen cg,
                          org.apache.bcel.generic.MethodGen mg,
                          org.apache.bcel.generic.InstructionHandle ih,
                          org.apache.bcel.generic.Instruction inst)
                   throws java.lang.ClassNotFoundException

Upcall to process instruction. Note that instructions can be inserted and deleted directly using the BCEL API, and therefore this method returns void.

Specified by:

doInstruction in interface ClassTraversal.Visitor

Overrides:

doInstruction in class ClassTraversal.Empty

Parameters:

cg - BCEL class generator object

mg - BCEL method generator object

ih - BCEL instruction handle object to process

inst - BCEL instruction object to process

Throws:

java.lang.ClassNotFoundException