envgen.codegen
Class UniversalStubGenerator

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

All Implemented Interfaces:

ICodeGenerator

public class UniversalStubGenerator

extends JavaStubGenerator

Generates most general stubs for environment methods.

Field Summary

(package private) int

debug Set to print debugging messages.

Fields inherited from class envgen.codegen.AbstractStubGenerator

assumptions, envInterface, envTable, unitTable

Constructor Summary

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

Method Summary

void	buildEmptyStubBody(soot.SootMethod markedMethod)
void	genStubBody(soot.SootClass sc, soot.SootMethod sm)

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

debug

int debug

Set to print debugging messages.

Constructor Detail

UniversalStubGenerator

public UniversalStubGenerator(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 sc,
                        soot.SootMethod sm)

Specified by:

genStubBody in class AbstractStubGenerator

buildEmptyStubBody

public void buildEmptyStubBody(soot.SootMethod markedMethod)