Skip to content

WebDSL-Service-sig.stx

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
31

module signatures/WebDSL-Service-sig

imports
  signatures/WebDSL-Action-sig
  signatures/WebDSL-Core-sig
  signatures/WebDSL-Lexical-sig
  signatures/WebDSL-UI-sig
  signatures/WebDSL-DataModel-sig

signature

  sorts
    
    

  constructors
    SyncConfigEmbedded-Plhdr : SyncConfigEmbedded
    SyncOption-Plhdr : SyncOption

signature

  constructors
    ServiceFunction : list(Modifier) * Id * list(FormalArg) * Block -> Definition
    DeriveWebServices : Id * Id -> Definition
    SyncConfigEmbedded2EntityBodyDeclaration : SyncConfigEmbedded -> EntityBodyDeclaration
    SyncConfigEmbedded : list(SyncOption) -> SyncConfigEmbedded
    SyncTopLevelNameProperty : Id -> SyncOption
    SyncRestrictedProperties : list(Id) -> SyncOption
    SyncACRead : Exp -> SyncOption
    SyncACWrite : Exp -> SyncOption
    SyncACCreate : Exp -> SyncOption