| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'data/level/structural_level.lvl')
| -rw-r--r-- | data/level/structural_level.lvl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/data/level/structural_level.lvl b/data/level/structural_level.lvl index 40aa455..dab377b 100644 --- a/data/level/structural_level.lvl +++ b/data/level/structural_level.lvl @@ -131,6 +131,9 @@ ;;;; String ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (add_predicate string_matches string string) +;; is_accessed_by's signature must match is_read_element and +;; is_written_element's +(add_predicate is_accessed_by string process) ;;;; Type ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (add_predicate is_approved_type type) |