envgen.spec
Class ThreadSpec

java.lang.Object
  |
  +--envgen.spec.ThreadSpec

public class ThreadSpec

extends java.lang.Object

Field Summary

(package private) int	index Used to figure out a default name of the thread.
(package private) java.lang.String	name
(package private) int	num
(package private) java.util.List	propositions
(package private) soot.SootClass	sc
(package private) SpecNode	spec

Constructor Summary

ThreadSpec(soot.SootClass sc, int num)

ThreadSpec(java.lang.String name, int index, SpecNode spec)

Method Summary

void	addProposition(Proposition prop)
soot.SootClass	getImplClass()
java.lang.String	getName()
int	getNum()
java.util.List	getPropositions()
SpecNode	getSpecification()
void	setImplClass(soot.SootClass sc)
void	setName(java.lang.String name)
void	setNum(int num)
void	setPropositions(java.util.List propositions)
void	setSpecification(SpecNode spec)

Methods inherited from class java.lang.Object

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

Field Detail

num

int num

index

int index

Used to figure out a default name of the thread.

name

java.lang.String name

spec

SpecNode spec

propositions

java.util.List propositions

sc

soot.SootClass sc

Constructor Detail

ThreadSpec

public ThreadSpec(java.lang.String name,
                  int index,
                  SpecNode spec)

ThreadSpec

public ThreadSpec(soot.SootClass sc,
                  int num)

Method Detail

setNum

public void setNum(int num)

getNum

public int getNum()

setName

public void setName(java.lang.String name)

getName

public java.lang.String getName()

setSpecification

public void setSpecification(SpecNode spec)

getSpecification

public SpecNode getSpecification()

setPropositions

public void setPropositions(java.util.List propositions)

getPropositions

public java.util.List getPropositions()

setImplClass

public void setImplClass(soot.SootClass sc)

getImplClass

public soot.SootClass getImplClass()

addProposition

public void addProposition(Proposition prop)