Interflow

class Interflow(val config: Config)(implicit val linked: Result) extends Visit with Opt with NoOpt with Eval with Combine with Inline with PolyInline with Intrinsics with Log
Companion:
object
trait Log
trait Inline
trait Combine
trait Eval
trait NoOpt
trait Opt
trait Visit
class Object
trait Matchable
class Any

Value members

Concrete methods

def allTodo(): Seq[Global]
def blockFresh: Fresh
def getDone(name: Global): Define
def getModulePurity(name: Global): Boolean
def getOriginal(name: Global): Define
def hasModulePurity(name: Global): Boolean
def hasOriginal(name: Global): Boolean
def hasStarted(name: Global): Boolean
def isBlacklisted(name: Global): Boolean
def isDone(name: Global): Boolean
def markBlacklisted(name: Global): Unit
def markStarted(name: Global): Unit
def maybeDone(name: Global): Option[Define]
def maybeOriginal(name: Global): Option[Define]
def popTodo(): Global
def pushBlockFresh(value: Fresh): Unit
def pushContext(value: String): Unit
def pushTodo(name: Global): Unit
def result(): Seq[Defn]
def setDone(name: Global, value: Define): Unit
def setModulePurity(name: Global, value: Boolean): Unit

Inherited methods

def adapt(args: Seq[Val], sig: Type)(implicit state: State): Seq[Val]
Inherited from:
Inline
def adapt(value: Val, ty: Type)(implicit state: State): Val
Inherited from:
Inline
def argumentTypes(name: Global): Seq[Type]
Inherited from:
Visit
def combine(conv: Conv, ty: Type, value: Val)(implicit state: State): Val
Inherited from:
Combine
def combine(comp: Comp, ty: Type, l: Val, r: Val)(implicit state: State): Val
Inherited from:
Combine
def combine(bin: Bin, ty: Type, l: Val, r: Val)(implicit state: State, origPos: Position): Val
Inherited from:
Combine
def debug[T](msg: String)(f: => T): T
Inherited from:
Log
def duplicateName(name: Global, argtys: Seq[Type]): Global
Inherited from:
Visit
def eval(value: Val)(implicit state: State, origPos: Position): Val
Inherited from:
Eval
def eval(conv: Conv, ty: Type, value: Val)(implicit state: State): Val
Inherited from:
Eval
def eval(comp: Comp, ty: Type, l: Val, r: Val)(implicit state: State): Val
Inherited from:
Eval
def eval(bin: Bin, ty: Type, l: Val, r: Val)(implicit state: State, origPos: Position): Val
Inherited from:
Eval
def eval(op: Op)(implicit state: State, linked: Result, origPos: Position): Val
Inherited from:
Eval
def in[T](msg: String)(f: => T): T
Inherited from:
Log
def inline(name: Global, args: Seq[Val])(implicit state: State, linked: Result, origPos: Position): Val
Inherited from:
Inline
def intrinsic(ty: Type, name: Global, rawArgs: Seq[Val])(implicit state: State, origPos: Position): Option[Val]
Inherited from:
Intrinsics
def log(msg: => String): Unit
Inherited from:
Log
def noOpt(defn: Define): Unit
Inherited from:
NoOpt
def noOptGlobal(name: Global): Unit
Inherited from:
NoOpt
def noOptInst(inst: Inst): Unit
Inherited from:
NoOpt
def noOptInsts(insts: Seq[Inst]): Unit
Inherited from:
NoOpt
def noOptNext(next: Next): Unit
Inherited from:
NoOpt
def noOptOp(op: Op): Unit
Inherited from:
NoOpt
def noOptVal(value: Val): Unit
Inherited from:
NoOpt
def opt(name: Global): Define
Inherited from:
Opt
def originalFunctionType(name: Global): Type
Inherited from:
Visit
def originalName(name: Global): Global
Inherited from:
Visit
def polyInline(op: Method, args: Seq[Val])(implicit state: State, linked: Result, origPos: Position): Val
Inherited from:
PolyInline
def process(insts: Array[Inst], args: Seq[Val], state: State, doInline: Boolean, retTy: Type)(implicit originDefnPos: Position): Seq[MergeBlock]
Inherited from:
Opt
def run(insts: Array[Inst], offsets: Map[Local, Int], from: Local)(implicit state: State): Cf
Inherited from:
Eval
def shallDuplicate(name: Global, argtys: Seq[Type]): Boolean
Inherited from:
Visit
def shallInline(name: Global, args: Seq[Val])(implicit state: State, linked: Result): Boolean
Inherited from:
Inline
def shallOpt(name: Global): Boolean
Inherited from:
Opt
def shallPolyInline(op: Method, args: Seq[Val])(implicit state: State, linked: Result): Boolean
Inherited from:
PolyInline
def shallVisit(name: Global): Boolean
Inherited from:
Visit
def visitDuplicate(name: Global, argtys: Seq[Type]): Option[Define]
Inherited from:
Visit
Inherited from:
Visit
def visitEntry(name: Global): Unit
Inherited from:
Visit
Inherited from:
Visit
def visitMethod(name: Global): Unit
Inherited from:
Visit
def visitRoot(name: Global): Unit
Inherited from:
Visit
def withLogger(f: (String => Unit) => Unit): Unit
Inherited from:
Log

Concrete fields

Inherited fields

Inherited from:
Intrinsics
val arrayIntrinsics: Set[Global]
Inherited from:
Intrinsics
Inherited from:
Intrinsics
Inherited from:
Intrinsics
val intrinsics: Set[Global]
Inherited from:
Intrinsics

Implicits

Implicits

implicit val linked: Result