WebDSL-Routing.sdf3

pdmosses/webdsl-statix/webdslstatix/syntax/WebDSL-Routing.sdf3

module WebDSL-Routing

imports
  WebDSL-Core
  WebDSL-Action

context-free sorts

  RoutingElement

context-free syntax

  Definition.Routing = <
    routing {
      <RoutingElement*>
    }
  >
  RoutingElement.RoutingReceive = <
    receive <OptFormalArgs> <Block>
  >
  RoutingElement.RoutingConstruct = <
    construct <OptFormalArgs> <Block>
  >

×