trait TotalTrellisBuilder extends AnyRef
TrellisBuilder is a way for a final user to watch the process of trellis building. One may override #newTotalTrellisBuilder and put own implementation of TotalTrellisBuilder.
Linear Supertypes
Known Subclasses
Ordering
- Alphabetic
- By Inheritance
Inherited
- TotalTrellisBuilder
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Abstract Value Members
-
abstract
def
addException(trace: TSignal, proc: SignalProcessingApi0.RuntimeComponent, exception: Throwable): Unit
Adds an exception to the trellis.
Adds an exception to the trellis. Usually calls runtimeSystem.unhandledExceptionHandler.
- trace
original signal that has lead to the exception
- proc
signal processor
- abstract def currentState: SignalProcessingApi0.Context
- abstract def currentState_=(ctx: SignalProcessingApi0.Context): Unit
-
abstract
def
newSingleStepBuilder: TrellisBuilder
Completes the previous step and starts a new time moment.
Completes the previous step and starts a new time moment.
- returns
builder for the next part of the trellis.
-
abstract
def
saveStopSignal(signal: TSignal): Unit
Save the signal that appeared on the stop-contact.
-
abstract
def
saveTerminatedSignal(signal: TSignal): Unit
Saves the signal that is the last one in a trace.
Saves the signal that is the last one in a trace. It didn't produce output.
-
abstract
def
stopSignals: TSignals
The list of signals on stop contacts.
Concrete 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
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
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
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
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( ... )