Skip to content

WebDSL-Service.sdf3

pdmosses/webdsl-statix/webdslstatix/syntax/WebDSL-Service.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
25
26
27
28
29
30

module WebDSL-Service

imports
  WebDSL-Action
  WebDSL-Core
  WebDSL-Lexical
  WebDSL-UI
  WebDSL-DataModel

context-free sorts

  SyncConfigEmbedded SyncOption

context-free syntax

  Definition.ServiceFunction = <
    service <Modifier*> <Id> ( <{FormalArg ","}*> ) <Block>
  >
  Definition.DeriveWebServices = <
    derive webservices for <Id> , with nameproperty <Id>
  >
  EntityBodyDeclaration = SyncConfigEmbedded
  SyncConfigEmbedded.SyncConfigEmbedded = <
    synchronization configuration { <SyncOption*> }
  >
  SyncOption.SyncTopLevelNameProperty = <toplevel name property : <Id>>
  SyncOption.SyncRestrictedProperties = <restricted properties : <{Id ","}*>>
  SyncOption.SyncACRead = <access read : <Exp>>
  SyncOption.SyncACWrite = <access write : <Exp>>
  SyncOption.SyncACCreate = <access create : <Exp>>