envgen.codegen
Class EmptyStubGenerator

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

All Implemented Interfaces:

ICodeGenerator

public class EmptyStubGenerator

extends JavaStubGenerator

Generates empty stubs for environment methods, useful for producing a skeleton of the environment.

Field Summary

(package private) int

debug Set to print debugging messages.

Fields inherited from class envgen.codegen.AbstractStubGenerator

assumptions, envInterface, envTable, unitTable

Constructor Summary

EmptyStubGenerator(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

debug

int debug

Set to print debugging messages.

Constructor Detail

EmptyStubGenerator

public EmptyStubGenerator(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