tools/scala.scalanative.interflow/State

State

final
class State(block: Local)
class Object
trait Matchable
class Any

Value members

Concrete methods

def allocArray(elemty: Type, count: Int)(implicit linked: Result): Addr
def allocBox(boxname: Global, value: Val)(implicit linked: Result): Addr
def allocClass(cls: Class): Addr
def allocString(value: String)(implicit linked: Result): Addr
def delay(op: Op): Val
def deref(addr: Addr): Instance
def emit(op: Op, idempotent: Boolean)(implicit position: Position): Val
override
def equals(other: Any): Boolean
Definition Classes
Any
def fullClone(block: Local): State
def hasEscaped(addr: Addr): Boolean
def hasEscaped(value: Val): Boolean
def heapClosure(roots: Seq[Val]): Set[Addr]
def inherit(other: State, roots: Seq[Val]): Unit
def isDelayed(addr: Addr): Boolean
def isDelayed(value: Val): Boolean
def isVirtual(addr: Addr): Boolean
def isVirtual(value: Val): Boolean
def loadLocal(local: Local): Val
def loadVar(local: Local): Val
def materialize(rootValue: Val)(implicit linked: Result, origPos: Position): Val
def newVar(ty: Type): Local
def storeLocal(local: Local, value: Val): Unit
def storeVar(local: Local, value: Val): Unit

Concrete fields

var delayed: AnyRefMap[Op, Val]
var emit: Buffer
var emitted: AnyRefMap[Op, Val]
var fresh: Fresh
var heap: LongMap[Instance]
var locals: OpenHashMap[Local, Val]