envgen.codegen.javagrammar
Class JavaBody

java.lang.Object
  |
  +--soot.tagkit.AbstractHost
        |
        +--soot.Body
              |
              +--envgen.codegen.javagrammar.JavaBody

All Implemented Interfaces:

soot.tagkit.Host, java.io.Serializable

public class JavaBody

extends soot.Body

Representation of the Java body for a method, similar to JimpleBody, holds Java statements.

See Also:

Serialized Form

Field Summary

Fields inherited from class soot.Body

localChain, method, trapChain, unitChain

Fields inherited from class soot.tagkit.AbstractHost

Constructor Summary

JavaBody()

Method Summary

java.lang.Object	clone()
private void	printf(java.io.FileWriter outStream, java.lang.String string)
void	printToFile(java.io.FileWriter file)

Methods inherited from class soot.Body

getAllUnitBoxes, getDefBoxes, getLocalCount, getLocals, getMethod, getParameterLocal, getThisLocal, getTraps, getUnitBoxes, getUnits, getUseAndDefBoxes, getUseBoxes, importBodyContentsFrom, setMethod, validate, validateLocals, validateTraps, validateUnitBoxes, validateUses

Methods inherited from class soot.tagkit.AbstractHost

addAllTagsOf, addTag, getTag, getTags, hasTag, removeAllTags, removeTag

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaBody

public JavaBody()

Method Detail

clone

public java.lang.Object clone()

Specified by:

clone in class soot.Body

printToFile

public void printToFile(java.io.FileWriter file)

printf

private void printf(java.io.FileWriter outStream,
                    java.lang.String string)