envgen.codegen
Class JavaStubGenerator

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

All Implemented Interfaces:

ICodeGenerator

Direct Known Subclasses:

CFGStubGenerator, EmptyStubGenerator, SafeLockStubGenerator, SEStubGenerator, UniversalStubGenerator

public abstract class JavaStubGenerator

extends AbstractStubGenerator

Generates 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

JavaStubGenerator()

Method Summary

soot.SootClass	genEnvEqualsClass() Adds a class with a special definition of "equals" method.
void	genMissingFields(SymLocValue symVal, soot.SootClass markedClass) If sym is of the form this.f and markedClass doesn't declare f, such field is included.
void	genTopFields() This method adds top fields and special constructors.

Methods inherited from class envgen.codegen.AbstractStubGenerator

genCode, genStubBody

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

JavaStubGenerator

public JavaStubGenerator()

Method Detail

genMissingFields

public void genMissingFields(SymLocValue symVal,
                             soot.SootClass markedClass)

If sym is of the form this.f and markedClass doesn't declare f, such field is included.

genTopFields

public void genTopFields()

This method adds top fields and special constructors.

genEnvEqualsClass

public soot.SootClass genEnvEqualsClass()

Adds a class with a special definition of "equals" method.