Skip to content

WebDSL-Type.sdf3

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

module WebDSL-Type

imports
  WebDSL-Action
  WebDSL-DataModel
  WebDSL-Lexical
  WebDSL-Native
  WebDSL-Core

context-free sorts

  TypeElement

context-free syntax

  Definition.TypeDef = <
    type <Id> {
      <TypeElement*>
    }
  >
  TypeElement.TypeAnno = Annotation
  TypeElement.TypeFunction = NCFunction
  TypeElement = <static> {reject}
  TypeElement.TypeFunctionFromStatic = NCFunctionFromStatic