Interp

esmeta.es.util.Coverage.Interp
class Interp(initSt: State, kFs: Int, cp: Boolean, timeLimit: Option[Int]) extends Interpreter

Attributes

Graph
Supertypes
class Interpreter
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

override def eval(node: Node): Unit

transition for nodes

transition for nodes

Attributes

Definition Classes
override def moveBranch(branch: Branch, b: Boolean): Unit

set return value and move to the exit node

set return value and move to the exit node

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(cursor: Cursor): Boolean

transition for cursors

transition for cursors

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 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

var touchedCondViews: Map[CondView, Option[Nearest]]
var touchedNodeViews: Map[NodeView, Option[Nearest]]

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