esmeta
API
Generated with
esmeta/esmeta/esmeta.injector/ExitStateExtractor

ExitStateExtractor

esmeta.injector.ExitStateExtractor
class ExitStateExtractor(val initSt: State) extends Interpreter

exit state extractor

Attributes

Graph
Supertypes
class Interpreter
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

override def eval(cursor: Cursor): Boolean

transition for cursors and wrap errors with cursor info

transition for cursors and wrap errors with cursor info

Attributes

Definition Classes

Inherited methods

def eval(ref: Ref): RefTarget

transition for references

transition for references

Attributes

Inherited from:
Interpreter
def eval(expr: Expr): Value

transition for expressions

transition for expressions

Attributes

Inherited from:
Interpreter
def eval(call: Call): Unit

transition for calls

transition for calls

Attributes

Inherited from:
Interpreter
def eval(inst: NormalInst): Unit

transition for normal instructions

transition for normal instructions

Attributes

Inherited from:
Interpreter
def eval(node: Node): Unit

transition for nodes

transition for nodes

Attributes

Inherited from:
Interpreter
def getLocals(params: List[Param], args: List[Value], caller: Call, callee: Callable): Map[Local, Value]

get initial local variables

get initial local variables

Attributes

Inherited from:
Interpreter
def moveBranch(branch: Branch, cond: Boolean): Unit

set return value and move to the exit node

set return value and move to the exit node

Attributes

Inherited from:
Interpreter
def moveExit: Unit

set return value and move to the exit node

set return value and move to the exit node

Attributes

Inherited from:
Interpreter
def setCallResult(x: Var, value: Value): Unit

define call result to state and move to next

define call result to state and move to next

Attributes

Inherited from:
Interpreter
def shortCircuit(bop: BOp, left: Expr, right: Expr): Value

short circuit evaluation

short circuit evaluation

Attributes

Inherited from:
Interpreter
def step: Boolean

step

step

Attributes

Inherited from:
Interpreter

Concrete fields

val addrNames: Map[Addr, String]

address name mapping

address name mapping

Attributes

val initSt: State

Inherited fields

lazy val ITER_CYCLE: Int

iteration cycle

iteration cycle

Attributes

Inherited from:
Interpreter
val detail: Boolean

Attributes

Inherited from:
Interpreter
lazy val esParser: ESParser

ECMAScript parser

ECMAScript parser

Attributes

Inherited from:
Interpreter
val log: Boolean

Attributes

Inherited from:
Interpreter
val logPW: Option[PrintWriter]

Attributes

Inherited from:
Interpreter
lazy val result: State

final state

final state

Attributes

Inherited from:
Interpreter
val st: State

Attributes

Inherited from:
Interpreter
lazy val startTime: Long

initial time

initial time

Attributes

Inherited from:
Interpreter
val timeLimit: Option[Int]

Attributes

Inherited from:
Interpreter
Generated with