Skip to content

WebDSL-DataModel-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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73

module 

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

signature

  sorts
    
    
    
    
    AnnotationId = string

  constructors
    EntityBodyDeclaration-Plhdr : EntityBodyDeclaration
    OptPropAnnos-Plhdr : OptPropAnnos
    PropKind-Plhdr : PropKind
    Annotation-Plhdr : Annotation

signature

  constructors
    Entity : Id * Id * list(EntityBodyDeclaration) -> Definition
    EntityNoSuper : Id * list(EntityBodyDeclaration) -> Definition
    SessionEntity : Id * list(EntityBodyDeclaration) -> Definition
    ExtendEntity : Id * list(EntityBodyDeclaration) -> Definition
    ExtendSessionEntity : Id * list(EntityBodyDeclaration) -> Definition
    GlobalVarDecl : VarId * Sort -> Definition
    GlobalVarDeclDepr : VarId * Sort -> Definition
    GlobalVarDeclInit : VarId * Sort * Exp -> Definition
    GlobalVarDeclInitDepr : VarId * Sort * Exp -> Definition
    GlobalVarDeclInitInferred : VarId * Exp -> Definition
    GlobalVarDeclInitInferredDepr : VarId * Exp -> Definition
    RequestVarDecl : VarId * Sort -> Definition
    RequestVarDeclDepr : VarId * Sort -> Definition
    RequestVarDeclInit : VarId * Sort * Exp -> Definition
    RequestVarDeclInitDepr : VarId * Sort * Exp -> Definition
    RequestVarDeclInitInferred : VarId * Exp -> Definition
    RequestVarDeclInitInferredDepr : VarId * Exp -> Definition
    Property : PropertyId * PropKind * Sort * OptPropAnnos -> EntityBodyDeclaration
    DerivedProperty : PropertyId * PropKind * Sort * OptPropAnnos * Exp -> EntityBodyDeclaration
    CachedEntity : EntityBodyDeclaration
     : list(Annotation) -> OptPropAnnos
    OptPropAnnosNone : OptPropAnnos
    Simple : PropKind
     : PropKind
     : PropKind
     : PropKind
    SimpleAnno : AnnotationId -> Annotation
    TransientAnno : Annotation
    IdAnno : Annotation
    NameAnno : Annotation
    CacheAnno : Annotation
     : Id * Id -> Annotation
    IncompleteInverseAnno : Id -> Annotation
    InverseSlaveAnno : Id * Id -> Annotation
    InverseReferenceOnlyAnno : Annotation
    InlineAnno : list(Id) -> Annotation
    SelectAnno : Id -> Annotation
    NotNullAnno : Annotation
    NotEmptyAnno : Annotation
    AllowedAnno : Exp -> Annotation
    DefaultAnno : Exp -> Annotation
    LengthAnno : Int -> Annotation
    FormatAnno : String -> Annotation
    IndexEmptyAnno : Annotation
    IndexAnno : Int -> Annotation
    CollationAnno : Id -> Annotation
    IdErrorAnno : String -> Annotation
    IdEmptyErrorAnno : String -> Annotation