envgen.spec
Class UserSpec

java.lang.Object
  |
  +--envgen.Assumptions
        |
        +--envgen.spec.UserSpec

public class UserSpec

extends Assumptions

Manages various data structures that play a role of symbol tables, records instantiations, definitions, specification propositions and checks their validity against unit specification.

Field Summary

(package private) boolean	debug
(package private) java.util.Hashtable	definitions
(package private) java.util.List	initPropositions Unit class instantiations as defined in a specification.
(package private) ThreadSpec	mainThread Specification of the main thread
(package private) ThreadSpec	thread
(package private) java.util.List	threads List of specifications of driver threads other than the main

Constructor Summary

UserSpec()

Method Summary

void	addDefinition(java.lang.String key, Proposition prop)
void	addInitProposition(Proposition prop)
void	addProposition(Proposition prop, SpecNode node)
void	addThread()
void	addThread(soot.SootClass implClass, int num)
java.util.Hashtable	getDefinitions()
java.util.List	getInstantiations()
ThreadSpec	getMainThread()
java.util.List	getThreads()
void	setThreadName(java.lang.String name)
void	setThreadNum(int num)
void	setThreadSpecification(SpecNode spec)

Methods inherited from class java.lang.Object

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

Field Detail

definitions

java.util.Hashtable definitions

initPropositions

java.util.List initPropositions

Unit class instantiations as defined in a specification.

threads

java.util.List threads

List of specifications of driver threads other than the main

thread

ThreadSpec thread

mainThread

ThreadSpec mainThread

Specification of the main thread

debug

boolean debug

Constructor Detail

UserSpec

public UserSpec()

Method Detail

getThreads

public java.util.List getThreads()

getDefinitions

public java.util.Hashtable getDefinitions()

getInstantiations

public java.util.List getInstantiations()

getMainThread

public ThreadSpec getMainThread()

addThread

public void addThread()

addThread

public void addThread(soot.SootClass implClass,
                      int num)

setThreadNum

public void setThreadNum(int num)

setThreadName

public void setThreadName(java.lang.String name)

setThreadSpecification

public void setThreadSpecification(SpecNode spec)

addProposition

public void addProposition(Proposition prop,
                           SpecNode node)

addInitProposition

public void addInitProposition(Proposition prop)

addDefinition

public void addDefinition(java.lang.String key,
                          Proposition prop)