analysis/org.polystat.odin.analysis.stateaccess/DetectStateAccess

DetectStateAccess

object DetectStateAccess
class Object
trait Matchable
class Any

Type members

Classlikes

case class State(statePath: List[String], state: EONamedBnd)
case class StateChange(method: EONamedBnd, statePath: List[String], state: EONamedBnd)

Types

Value members

Concrete methods

def accumulateParentState(tree: Map[EONamedBnd, CompleteObjectTree])(childObject: ObjInfo, existingStates: Map[ObjectName, Vector[State]], previousParents: Vector[ObjectName]): EitherNel[String, Map[ObjectName, Vector[State]]]
def analyze[F[_]](originalTree: Map[EONamedBnd, CompleteObjectTree]): EitherNel[String, List[String]]
def collectLocalStates(obj: CompleteObjectTree, existingStates: Map[ObjectName, Vector[State]])(implicit originalObjInfo: ObjInfo): Map[ObjectName, Vector[State]]
def detectStateAccesses(tree: Map[EONamedBnd, CompleteObjectTree])(obj: (EONamedBnd, CompleteObjectTree)): EitherNel[String, List[String]]
def getAccessedStates(selfArgName: String)(method: (EONamedBnd, MethodInfo)): List[StateChange]
def isJ2EOPrimitive(source: EOExprOnly): Boolean