Inst

object Inst
Companion:
class
class Object
trait Matchable
class Any
Inst.type

Type members

Classlikes

sealed abstract class Cf extends Inst
final case class If(value: Val, thenp: Next, elsep: Next)(implicit pos: Position) extends Cf
final case class Jump(next: Next)(implicit pos: Position) extends Cf
final case class Label(name: Local, params: Seq[Local])(implicit pos: Position) extends Inst
final case class Let(name: Local, op: Op, unwind: Next)(implicit pos: Position) extends Inst
Companion:
object
object Let
Companion:
class
sealed trait LinktimeCf extends Cf
final case class LinktimeIf(cond: LinktimeCondition, thenp: Next, elsep: Next)(implicit pos: Position) extends LinktimeCf
final case class Ret(value: Val)(implicit pos: Position) extends Cf
final case class Switch(value: Val, default: Next, cases: Seq[Next])(implicit pos: Position) extends Cf
final case class Throw(value: Val, unwind: Next)(implicit pos: Position) extends Cf
final case class Unreachable(unwind: Next)(implicit pos: Position) extends Cf