envgen.codegen
Class CFGStubGenerator

java.lang.Object
  |
  +--envgen.codegen.AbstractStubGenerator
        |
        +--envgen.codegen.JavaStubGenerator
              |
              +--envgen.codegen.CFGStubGenerator

All Implemented Interfaces:

ICodeGenerator

public class CFGStubGenerator

extends JavaStubGenerator

Generates stubs for environment methods based on cfg analysis.

Field Summary

(package private) EnvCallGraph	callGraph Set to insert atomic steps into the generated environment.
(package private) int	debug Set to print debugging messages.

Fields inherited from class envgen.codegen.AbstractStubGenerator

assumptions, envInterface, envTable, unitTable

Constructor Summary

CFGStubGenerator(java.util.HashMap unitTable, java.util.HashMap envTable)
StubGenerator constructor that sets fields flowing from the EnvGenerator.

Method Summary

void	genStubBody(soot.SootClass markedClass, soot.SootMethod markedMethod)

Methods inherited from class envgen.codegen.JavaStubGenerator

genEnvEqualsClass, genMissingFields, genTopFields

Methods inherited from class envgen.codegen.AbstractStubGenerator

genCode

Methods inherited from class java.lang.Object

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

Field Detail

callGraph

EnvCallGraph callGraph

Set to insert atomic steps into the generated environment.

debug

int debug

Set to print debugging messages.

Constructor Detail

CFGStubGenerator

public CFGStubGenerator(java.util.HashMap unitTable,
                        java.util.HashMap envTable)

StubGenerator constructor that sets fields flowing from the EnvGenerator.

Method Detail

genStubBody

public void genStubBody(soot.SootClass markedClass,
                        soot.SootMethod markedMethod)

Specified by:

genStubBody in class AbstractStubGenerator