envgen.spec.prop
Class MethodCall

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

public class MethodCall

extends Proposition

Data structure to hold information about a specific proposition from ltl or re specification.

Field Summary

(package private) java.lang.String	args
(package private) soot.SootMethod	method SootMethod for the call.
(package private) java.lang.String	methodName
(package private) java.lang.String	receiver Receiver of the call.

Fields inherited from class envgen.spec.prop.Proposition

label, propCode

Constructor Summary

MethodCall(java.lang.String receiver, java.lang.String methodName, java.lang.String args)

Method Summary

java.lang.String	getArgs()
soot.SootMethod	getMethod()
java.lang.String	getMethodName()
java.lang.String	getReceiver()
boolean	isNonObservable()
void	setArgs(java.lang.String args)
void	setMethod(soot.SootMethod method)
void	setMethodName(java.lang.String methodName)
void	setReceiver(java.lang.String rec)
boolean	throwsExceptions()

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

receiver

java.lang.String receiver

Receiver of the call.

methodName

java.lang.String methodName

args

java.lang.String args

method

soot.SootMethod method

SootMethod for the call.

Constructor Detail

MethodCall

public MethodCall(java.lang.String receiver,
                  java.lang.String methodName,
                  java.lang.String args)

Method Detail

getReceiver

public java.lang.String getReceiver()

setReceiver

public void setReceiver(java.lang.String rec)

getMethodName

public java.lang.String getMethodName()

setMethodName

public void setMethodName(java.lang.String methodName)

getArgs

public java.lang.String getArgs()

setArgs

public void setArgs(java.lang.String args)

getMethod

public soot.SootMethod getMethod()

setMethod

public void setMethod(soot.SootMethod method)

throwsExceptions

public boolean throwsExceptions()

isNonObservable

public boolean isNonObservable()