envgen.spec.prop
Class Assignment

java.lang.Object
  |
  +--envgen.spec.prop.Proposition
        |
        +--envgen.spec.prop.Assignment

public class Assignment

extends Proposition

Field Summary

(package private) soot.SootClass	declClass
(package private) soot.Type	declType
(package private) java.lang.String	type
(package private) java.lang.String	value
(package private) java.lang.String	varName

Fields inherited from class envgen.spec.prop.Proposition

label, propCode

Constructor Summary

Assignment(java.lang.String type, java.lang.String varName, java.lang.String value)

Method Summary

soot.SootClass	getDeclClass()
soot.Type	getDeclType()
java.lang.String	getType()
java.lang.String	getValue()
java.lang.String	getVarName()
void	setDeclClass(soot.SootClass declClass)
void	setDeclType(soot.Type declType)
void	setType(java.lang.String type)
void	setValue(java.lang.String value)
void	setVarName(java.lang.String varName)

Methods inherited from class envgen.spec.prop.Proposition

equals, getLabel, getPropCode, setLabel, setPropCode, toString

Methods inherited from class java.lang.Object

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

Field Detail

type

java.lang.String type

varName

java.lang.String varName

value

java.lang.String value

declClass

soot.SootClass declClass

declType

soot.Type declType

Constructor Detail

Assignment

public Assignment(java.lang.String type,
                  java.lang.String varName,
                  java.lang.String value)

Method Detail

setType

public void setType(java.lang.String type)

getType

public java.lang.String getType()

setDeclType

public void setDeclType(soot.Type declType)

getDeclType

public soot.Type getDeclType()

setDeclClass

public void setDeclClass(soot.SootClass declClass)

getDeclClass

public soot.SootClass getDeclClass()

setVarName

public void setVarName(java.lang.String varName)

getVarName

public java.lang.String getVarName()

setValue

public void setValue(java.lang.String value)

getValue

public java.lang.String getValue()