Trait

ru.primetalk.synapse.core.dsl

SystemBuilderDsl

Related Doc: package dsl

Permalink

trait SystemBuilderDsl extends SystemBuilderApi with NextLabelExt with AuxNumberingExt with DevNullExt

Doesn't work because T2 is unknown when it is called implicitly.

implicit def contactToLink[T1, T2](c1:Contact[T1]) = {
val c2 = addContact(new Contact[T2](nextContactName, AuxiliaryContact))
new ImplLinkBuilder(c1, c2)
}

Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SystemBuilderDsl
  2. DevNullExt
  3. AuxNumberingExt
  4. ContactStyleExt
  5. NextLabelExt
  6. SystemBuilderApi
  7. ExceptionHandlingExt
  8. TrellisApi
  9. SignalsApi
  10. ContactsDsl
  11. ComponentsApi
  12. AnyRef
  13. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. class AuxContactNumberingExt extends SystemBuilderExtension

    Permalink
    Definition Classes
    AuxNumberingExt
  2. type Component = components.Component

    Permalink
    Definition Classes
    ComponentsApi
  3. type ComponentWithInternalStructure = components.ComponentWithInternalStructure

    Permalink
    Definition Classes
    ComponentsApi
  4. type Contact[T] = components.Contact[T]

    Permalink
    Definition Classes
    ComponentsApi
  5. implicit class ContactExtractor[T] extends AnyRef

    Permalink

    Extractor of contacts' data from result.

    Extractor of contacts' data from result.

    Definition Classes
    SignalsApi
  6. implicit class ContactOps[T] extends AnyRef

    Permalink

    New methods available on contacts that construct links.

  7. implicit class ContactPairOps[Key, T] extends AnyRef

    Permalink

    Miscellaneous operations with prefixed data.

  8. trait ContactStyle extends AnyRef

    Permalink
    Definition Classes
    ContactStyleExt
  9. class ContactStyleExtension extends SystemBuilderExtension

    Permalink
    Definition Classes
    ContactStyleExt
  10. case class ContactStyleStaticExtension(styles: Map[ContactStyleExt.Contact[_], ContactStyle]) extends Product with Serializable

    Permalink
    Definition Classes
    ContactStyleExt
  11. class ContactWithState[T1, S] extends AnyRef

    Permalink
  12. type Context = Map[Contact[_], _]

    Permalink

    The context for system is a map from state handles to values.

    The context for system is a map from state handles to values.

    Definition Classes
    TrellisApi
  13. class DevNullExtension extends SystemBuilderExtension

    Permalink
    Definition Classes
    DevNullExt
  14. implicit class DirectLinkBuilderOps[T1, T2 >: T1] extends AnyRef

    Permalink
  15. type FlatMapLink[-T1, +T2] = components.FlatMapLink[T1, T2]

    Permalink
    Definition Classes
    ComponentsApi
  16. class LabellingExt extends SystemBuilderExtension

    Permalink

    An extension that adds easy labelling to System builder.

    An extension that adds easy labelling to System builder.

    Definition Classes
    NextLabelExt
  17. type Link[T1, T2, -TL1 >: T1, +TL2 <: T2] = components.Link[T1, T2, TL1, TL2]

    Permalink
    Definition Classes
    ComponentsApi
  18. implicit class LinkBuilderOps[T1, T2] extends AnyRef

    Permalink

    DSL methods for creating links between the two given contacts.

  19. type LinkInfo[-T1, +T2] = components.LinkInfo[T1, T2]

    Permalink
    Definition Classes
    ComponentsApi
  20. type Named = components.Named

    Permalink
    Definition Classes
    ComponentsApi
  21. type NopLink[-T1, +T2 >: T1] = components.NopLink[T1, T2]

    Permalink
    Definition Classes
    ComponentsApi
  22. trait OuterInterfaceBuilder extends AnyRef

    Permalink

    An interface of some object that can collect information about outer interface of a system.

    An interface of some object that can collect information about outer interface of a system. Not only it create contact instances, but it usually transforms and collect them.

    Definition Classes
    SystemBuilderApi
  23. type RedMapLink[-T1, +T2] = components.RedMapLink[T1, T2]

    Permalink
    Definition Classes
    ComponentsApi
  24. implicit class RichSignalList extends AnyRef

    Permalink
    Definition Classes
    SignalsApi
  25. implicit class RichSimpleSignalProcessor extends AnyRef

    Permalink
    Definition Classes
    TrellisApi
  26. implicit class RichTotalTrellisProducer extends AnyRef

    Permalink
    Definition Classes
    TrellisApi
  27. type Signal[T] = components.Signal[T]

    Permalink
    Definition Classes
    ComponentsApi
  28. type SignalCollection[+T] = Iterable[T]

    Permalink
    Definition Classes
    ComponentsApi
  29. type SignalDist = components.SignalDist

    Permalink
    Definition Classes
    ComponentsApi
  30. type SimpleSignalProcessor = (Signal[_]) ⇒ SignalCollection[Signal[_]]

    Permalink

    The simplest signal processor.

    The simplest signal processor. Corresponds to FlatMap.

    Definition Classes
    TrellisApi
  31. type StateHandle[T] = components.StateHandle[T]

    Permalink
    Definition Classes
    ComponentsApi
  32. implicit class StateLinkBuilder2Ops[T1, T2, S] extends AnyRef

    Permalink
  33. implicit class StateOps[S] extends AnyRef

    Permalink
  34. type StateZipLink[S, -T1, +T2 >: T1] = components.StateZipLink[S, T1, T2]

    Permalink
    Definition Classes
    ComponentsApi
  35. type StatefulFlatMapLink[S, -T1, +T2] = components.StatefulFlatMapLink[S, T1, T2]

    Permalink
    Definition Classes
    ComponentsApi
  36. type StaticSystem = components.StaticSystem

    Permalink
    Definition Classes
    ComponentsApi
  37. type StaticSystemExtensionId[+T] = components.StaticSystemExtensionId[T]

    Permalink
    Definition Classes
    ComponentsApi
  38. implicit class StaticSystemWithUnhandledExceptionHandler extends AnyRef

    Permalink
    Definition Classes
    ExceptionHandlingExt
  39. implicit class StyleableContact[T] extends AnyRef

    Permalink
    Definition Classes
    ContactStyleExt
  40. case class SubsystemDirectSignal[T](subsystemName: String, signal: SignalsApi.Signal[T]) extends SubsystemDirectSignal0 with Product with Serializable

    Permalink

    An encapsulation of the signal that targets a subsystem's internal contact.

    An encapsulation of the signal that targets a subsystem's internal contact.

    Definition Classes
    SignalsApi
  41. sealed trait SubsystemDirectSignal0 extends AnyRef

    Permalink
    Definition Classes
    SignalsApi
  42. case class SubsystemDirectSignalDist(subsystemName: String, signal: SignalsApi.SignalDist) extends SubsystemDirectSignal0 with Product with Serializable

    Permalink
    Definition Classes
    SignalsApi
  43. trait SystemBuilder extends OuterInterfaceBuilder with WithStaticSystem

    Permalink

    DSL for constructing systems.

    DSL for constructing systems.

    This builder supports step-by-step creation of contact system. At the end one must convert it to StaticSystem.

    The builder supports the notion of extensions (much like akka actor system extensions). When we need to store additional information during system construction, we may request an extention instance from the builder. The builder creates the singleton instance if it is not available yet and returns it.

    The builder is used in BaseTypedSystem as a DSL for system's construction.

    Definition Classes
    SystemBuilderApi
  44. class SystemBuilderC extends SystemBuilder

    Permalink
    Definition Classes
    SystemBuilderApi
  45. trait SystemBuilderExtension extends AnyRef

    Permalink

    An extension that adds some additional state to SystemBuilder.

    An extension that adds some additional state to SystemBuilder. It also has an opportunity to adjust the generated StaticSystem via hook #postProcess

    Definition Classes
    SystemBuilderApi
  46. final class SystemBuilderExtensionId[T <: SystemBuilderExtension] extends AnyRef

    Permalink

    ExtensionId for a system builder.

    ExtensionId for a system builder. Every extension can be installed only once on the same SystemBuilder. An instance of the extension is created by the extend method.

    Definition Classes
    SystemBuilderApi
  47. type TotalTrellisProducer = (Context, Signal[_]) ⇒ TrellisElement

    Permalink

    A function that takes a single signal on input and returns the last trellis element.

    A function that takes a single signal on input and returns the last trellis element. This producer does not store managed state in it.

    Definition Classes
    TrellisApi
  48. type TrellisElement = (Context, SignalCollection[Signal[_]])

    Permalink

    A snapshot of a running system at some discrete time moment.

    A snapshot of a running system at some discrete time moment.

    Definition Classes
    TrellisApi
  49. type TrellisProducer = (TrellisElement) ⇒ TrellisElement

    Permalink

    A function that makes single step (or a few steps) over time.

    A function that makes single step (or a few steps) over time.

    Definition Classes
    TrellisApi
  50. type UnhandledProcessingExceptionHandler = (Throwable, String, Signal[_], Context) ⇒ Context

    Permalink

    The type of a handler that will handle exceptions during signal processing.

    The type of a handler that will handle exceptions during signal processing. If the exception is recoverable, then the handler should provide a new Context for further processing. If not recoverable - throw some exception (or rethrow the original one).

    Definition Classes
    ExceptionHandlingExt
  51. type WithStaticSystem = components.WithStaticSystem

    Permalink
    Definition Classes
    ComponentsApi
  52. implicit class ZippingLinkOps[S, T] extends AnyRef

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  4. implicit val AuxContactNumberingExtId: SystemBuilderExtensionId[AuxContactNumberingExt]

    Permalink
    Definition Classes
    AuxNumberingExt
  5. object AuxiliaryContact extends ContactStyle with Product with Serializable

    Permalink
    Definition Classes
    AuxNumberingExt
  6. val Contact: components.Contact.type

    Permalink
    Definition Classes
    ComponentsApi
  7. implicit val ContactStyleExtId: SystemBuilderExtensionId[ContactStyleExtension]

    Permalink
    Definition Classes
    ContactStyleExt
  8. implicit object ContactStyleStaticExtId extends StaticSystemExtensionId[ContactStyleStaticExtension]

    Permalink
    Definition Classes
    ContactStyleExt
  9. object DevNullContact extends ContactStyle with Product with Serializable

    Permalink
    Definition Classes
    DevNullExt
  10. implicit val DevNullExtId: SystemBuilderExtensionId[DevNullExtension]

    Permalink
    Definition Classes
    DevNullExt
  11. val FlatMapLink: components.FlatMapLink.type

    Permalink
    Definition Classes
    ComponentsApi
  12. implicit val LabellingExtId: SystemBuilderExtensionId[LabellingExt]

    Permalink
    Definition Classes
    NextLabelExt
  13. val Link: components.Link.type

    Permalink
    Definition Classes
    ComponentsApi
  14. val NopLink: components.NopLink.type

    Permalink
    Definition Classes
    ComponentsApi
  15. object NormalContact extends ContactStyle with Product with Serializable

    Permalink

    Default style for contact.

    Default style for contact.

    Definition Classes
    ContactStyleExt
  16. val RedMapLink: components.RedMapLink.type

    Permalink
    Definition Classes
    ComponentsApi
  17. val Signal: components.Signal.type

    Permalink
    Definition Classes
    ComponentsApi
  18. val SignalCollection: Iterable.type

    Permalink
    Definition Classes
    ComponentsApi
  19. val SignalDist: components.SignalDist.type

    Permalink
    Definition Classes
    ComponentsApi
  20. val StateHandle: components.StateHandle.type

    Permalink
    Definition Classes
    ComponentsApi
  21. val StateZipLink: components.StateZipLink.type

    Permalink
    Definition Classes
    ComponentsApi
  22. val StatefulFlatMapLink: components.StatefulFlatMapLink.type

    Permalink
    Definition Classes
    ComponentsApi
  23. val StaticSystem: components.StaticSystem.type

    Permalink
    Definition Classes
    ComponentsApi
  24. object SubsystemDirectSignal0

    Permalink
    Definition Classes
    SignalsApi
  25. object SubsystemSpecialAnswerContact extends Contact[SubsystemDirectSignal0]

    Permalink

    This contact is used to process answers of internal system.

    This contact is used to process answers of internal system.

    Definition Classes
    SignalsApi
  26. object SubsystemSpecialContact extends Contact[SubsystemDirectSignal0]

    Permalink

    This contact is used to process signals of internal system.

    This contact is used to process signals of internal system.

    In asynchronous execution the resulting signal should come at the same level of "call stack". However as far as we usually get the signal asynchronously it is processed at top level. So in order to run it in inside the subsystem, we package asynchronous result into Signal(SubsystemSpecialContact, SubsystemDirectSignal( name, actual resulting signal))

    Definition Classes
    SignalsApi
  27. implicit object UnhandledExceptionHandlerExtensionId extends StaticSystemExtensionId[UnhandledProcessingExceptionHandler]

    Permalink
    Definition Classes
    ExceptionHandlingExt
  28. val WithStaticSystem: components.WithStaticSystem.type

    Permalink
    Definition Classes
    ComponentsApi
  29. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  30. def auxContact[T](implicit sb: SystemBuilder): Contact[T]

    Permalink
    Definition Classes
    AuxNumberingExt
  31. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. def connect[T1, T2 >: T1](c1: Contact[T1], c2: Contact[T2], name: String = "")(implicit sb: SystemBuilder): Contact[T2]

    Permalink
  33. def contact[T](name: String): components.Contact[T]

    Permalink

    Create a contact with the given name.

    Create a contact with the given name.

    Definition Classes
    ContactsDsl
  34. val defaultUnhandledExceptionHandler: UnhandledProcessingExceptionHandler

    Permalink
    Definition Classes
    ExceptionHandlingExt
  35. def devNull(implicit sb: SystemBuilder): Contact[Any]

    Permalink

    Special contact for consuming unnecessary data values.

    Special contact for consuming unnecessary data values. It is often used as a sink contact in foreach and exec commands.

    Definition Classes
    DevNullExt
  36. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  37. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  38. def extension[T <: SystemBuilderExtension](implicit sb: SystemBuilder, extensionInstance: SystemBuilderExtensionId[T]): T

    Permalink

    Usage: extension[LabellingExt].methodInExtension

    Usage: extension[LabellingExt].methodInExtension

    Definition Classes
    SystemBuilderApi
  39. def finalize(): Unit

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

    Permalink
    Definition Classes
    AnyRef → Any
  41. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  42. implicit def implicitExtendBasicSystemBuilder[T <: SystemBuilderExtension](sb: SystemBuilder)(implicit extensionInstanceId: SystemBuilderExtensionId[T]): T

    Permalink

    Automatic usage of extensions when an implicit extension id is present in the scope.

    Automatic usage of extensions when an implicit extension id is present in the scope.

    Definition Classes
    SystemBuilderApi
  43. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  44. def mappedInput[T, T2 >: T](c1: Contact[T], c2: Contact[T2])(implicit sb: SystemBuilder): Contact[T2]

    Permalink

    Declares the first contact as input and creates link to the second

  45. def mappedOutput[T, T2 >: T](c1: Contact[T], c2: Contact[T2])(implicit sb: SystemBuilder): Contact[T]

    Permalink

    Declares the second contact as output and creates link from the first.

    Declares the second contact as output and creates link from the first. NB! Returns inner contact c1.

  46. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  47. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  48. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  49. implicit def pairToSignal[T](p: (Contact[T], T)): Signal[T]

    Permalink

    One may use notation (contact -> data) to represent a signal

    One may use notation (contact -> data) to represent a signal

    Definition Classes
    SignalsApi
  50. val rethrowUnhandledExceptionHandler: UnhandledProcessingExceptionHandler

    Permalink
    Definition Classes
    ExceptionHandlingExt
  51. implicit def sbToAux(sb: SystemBuilder): AuxContactNumberingExt

    Permalink
    Definition Classes
    AuxNumberingExt
  52. implicit def sbToLabelling(sb: SystemBuilder): LabellingExt

    Permalink
    Definition Classes
    NextLabelExt
  53. def setSystemName(name: String)(implicit sb: SystemBuilder): Unit

    Permalink
    Definition Classes
    SystemBuilderApi
  54. def state[T](name: String, s0: T)(implicit sb: SystemBuilder): StateHandle[T]

    Permalink
    Definition Classes
    SystemBuilderApi
  55. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  56. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  57. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from DevNullExt

Inherited from AuxNumberingExt

Inherited from ContactStyleExt

Inherited from NextLabelExt

Inherited from SystemBuilderApi

Inherited from ExceptionHandlingExt

Inherited from TrellisApi

Inherited from SignalsApi

Inherited from ContactsDsl

Inherited from ComponentsApi

Inherited from AnyRef

Inherited from Any

Ungrouped