2021-01-30 20:27:10 +00:00
|
|
|
module statics
|
|
|
|
|
|
2021-01-30 23:37:53 +00:00
|
|
|
imports signatures/fostr-sig
|
|
|
|
|
|
|
|
|
|
// see docs/implementation.md for details on how to switch to multi-file analysis
|
2021-01-30 20:27:10 +00:00
|
|
|
|
|
|
|
|
rules // single-file entry point
|
|
|
|
|
|
2021-01-30 23:37:53 +00:00
|
|
|
programOk : Ex
|
2021-01-30 20:27:10 +00:00
|
|
|
|
2021-01-30 23:37:53 +00:00
|
|
|
programOk(Sum(_)).
|
|
|
|
|
programOk(Receives(_,_)).
|
2021-01-30 20:27:10 +00:00
|
|
|
|
|
|
|
|
rules // multi-file entry point
|
|
|
|
|
|
|
|
|
|
projectOk : scope
|
|
|
|
|
|
|
|
|
|
projectOk(s).
|
|
|
|
|
|
2021-01-30 23:37:53 +00:00
|
|
|
fileOk : scope * Ex
|
2021-01-30 20:27:10 +00:00
|
|
|
|
2021-01-30 23:37:53 +00:00
|
|
|
fileOk(s, Receives(_,_)).
|
