BlackBoxCycler 1.3.2 - treadle.executable.BlackBoxCycler

Implements an assigner that can be scheduled to publish clock transitions to specific black box implementations

symbol: symbol name of instance
blackBox: the instance
clockSymbol: clock used by instance
info: source location

Source: BlackBoxCycler.scala

Linear Supertypes

Serializable, Serializable, Product, Equals, Assigner, AnyRef, Any

Type Hierarchy

Instance Constructors

new BlackBoxCycler(symbol: Symbol, blackBox: ScalaBlackBox, clockSymbol: Symbol, clockTransitionGetter: ClockTransitionGetter, info: Info)

symbol
symbol name of instance
blackBox
the instance
clockSymbol
clock used by instance
info
source location

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
val blackBox: ScalaBlackBox

the instance
val clockSymbol: Symbol

clock used by instance
val clockTransitionGetter: ClockTransitionGetter
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def getRenderMode: Boolean

Definition Classes
Assigner
val info: Info

source location
source location

Definition Classes
BlackBoxCycler → Assigner
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def isVerbose: Boolean

Definition Classes
Assigner
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def render: String

Definition Classes
Assigner
def run: FuncUnit

Definition Classes
BlackBoxCycler → Assigner
def setLeanMode(isLean: Boolean): Unit

Definition Classes
Assigner
def setRender(value: Boolean): Unit

Definition Classes
Assigner
def setVerbose(value: Boolean): Unit

Definition Classes
Assigner
val symbol: Symbol

symbol name of instance
symbol name of instance

Definition Classes
BlackBoxCycler → Assigner
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

BlackBoxCycler

Related Doc: package executable

case class BlackBoxCycler(symbol: Symbol, blackBox: ScalaBlackBox, clockSymbol: Symbol, clockTransitionGetter: ClockTransitionGetter, info: Info) extends Assigner with Product with Serializable

Instance Constructors

new BlackBoxCycler(symbol: Symbol, blackBox: ScalaBlackBox, clockSymbol: Symbol, clockTransitionGetter: ClockTransitionGetter, info: Info)

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

val blackBox: ScalaBlackBox

val clockSymbol: Symbol

val clockTransitionGetter: ClockTransitionGetter

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def getRenderMode: Boolean

val info: Info

final def isInstanceOf[T0]: Boolean

def isVerbose: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def render: String

def run: FuncUnit

def setLeanMode(isLean: Boolean): Unit

def setRender(value: Boolean): Unit

def setVerbose(value: Boolean): Unit

val symbol: Symbol

final def synchronized[T0](arg0: ⇒ T0): T0

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from Assigner

Inherited from AnyRef

Inherited from Any

Ungrouped