Package pascal.taie.analysis.sideeffect

Class SideEffect

java.lang.Object

pascal.taie.analysis.sideeffect.SideEffect

All Implemented Interfaces:

StmtResult<Set<Obj>>

public class SideEffect
extends Object
implements StmtResult<Set<Obj>>

Represents result of side-effect analysis.

Method Summary

Modifier and Type	Method	Description
Set<Obj>	getModifiedObjects(Stmt stmt)
Set<Obj>	getModifiedObjects(JMethod method)
Set<Obj>	getResult(Stmt stmt)
boolean	isPure(JMethod method)
boolean	isRelevant(Stmt stmt)

Methods inherited from class java.lang.Object

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

Method Details

getModifiedObjects

public Set<Obj> getModifiedObjects(JMethod method)

Returns:

set of objects that may be modified by given method.

getModifiedObjects

public Set<Obj> getModifiedObjects(Stmt stmt)

Returns:

set of objects that may be modified by given stmt.

isPure

public boolean isPure(JMethod method)

Returns:

true if given method does not modify any objects.

isRelevant

public boolean isRelevant(Stmt stmt)

Specified by:

isRelevant in interface StmtResult<Set<Obj>>

Returns:

if stmt is relevant in this result.

getResult

public Set<Obj> getResult(Stmt stmt)

Specified by:

getResult in interface StmtResult<Set<Obj>>

Returns:

analysis result of given stmt.