Skip to content

statics.stx

pdmosses/webdsl-statix/webdslstatix/trans/statics.stx

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

module statics

imports
  static-semantics/webdsl

// see README.md for details on how to switch to multi-file analysis

rules // single-file entry point

//  applicationOk : Unit
//  applicationOk(u) :- {s_init}
//    new s_init,
//    init(s_init),
//    programOk(s_init, u).

rules // multi-file entry point

  projectOk : scope
  projectOk(s_global).

  fileOk : scope * Unit
  fileOk(s_global, u) :-
    unitOk(s_global, u).