envgen.codegen
Class AbstractDriverGenerator

java.lang.Object
  |
  +--envgen.codegen.AbstractDriverGenerator

All Implemented Interfaces:

ICodeGenerator

Direct Known Subclasses:

JavaDriverGenerator

public abstract class AbstractDriverGenerator

extends java.lang.Object

implements ICodeGenerator

Generates drivers for unit under analysis.

Field Summary

(package private) int	debug
(package private) java.util.HashMap	envTable Table of environment classes.
(package private) UnitInterface	unitInterface Default propositions and instantiations.
(package private) java.util.HashMap	unitTable Table of unit (internal) classes.
(package private) UserSpec	userSpec User assumptions.

Constructor Summary

AbstractDriverGenerator()

Method Summary

void	genCode(Assumptions assumptions)
abstract void	genMainThread()
abstract void	genThreads()

Methods inherited from class java.lang.Object

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

Field Detail

unitTable

java.util.HashMap unitTable

Table of unit (internal) classes.

envTable

java.util.HashMap envTable

Table of environment classes.

userSpec

UserSpec userSpec

User assumptions.

unitInterface

UnitInterface unitInterface

Default propositions and instantiations.

debug

int debug

Constructor Detail

AbstractDriverGenerator

public AbstractDriverGenerator()

Method Detail

genCode

public void genCode(Assumptions assumptions)

Specified by:

genCode in interface ICodeGenerator

genMainThread

public abstract void genMainThread()

genThreads

public abstract void genThreads()