| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-08-01 11:10:01 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-08-01 11:10:01 +0200 |
| commit | 4637db06583bc250b96e6145fc7bac9e16c730df (patch) | |
| tree | d787feebae44e7bfd526e8391e1999376a4f0185 /data/level/structural_level.lvl | |
| parent | 798dea30c7832f8c6364d1734423c6a6fda1ce57 (diff) | |
Fixes is_accessed_by. CNE_01700 is not working.
The BCE has been updated to include a group of items that should be
tagged by the CNE_01700 rule. However, it's not happening. I don't see
anything wrong with the way the CNE_01700 rule is written and a quick
overview of the generated model would lead me to conclude that it indeed
should tag something. Likely there are still issues with the way
properties are turned into Kodkod formulas.
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) |