| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-25 14:45:05 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-25 14:45:05 +0200 |
| commit | 97439a89b5439ce120e5bc2814251ce9dc513ce0 (patch) | |
| tree | cfefd60c8ee3179cd76ac0c54023f5fff77bb6ae /data | |
| parent | a19063a8dc55750e4ae6d6d6acacdd537fbbdb08 (diff) | |
Improves error reports for the property.
Diffstat (limited to 'data')
| -rw-r--r-- | data/level/control_flow_level.lvl | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/data/level/control_flow_level.lvl b/data/level/control_flow_level.lvl index 4ae7837..9408409 100644 --- a/data/level/control_flow_level.lvl +++ b/data/level/control_flow_level.lvl @@ -20,6 +20,11 @@ (add_predicate has_option node string) (add_predicate has_depth node node_depth) (add_predicate node_connect node node) + +;;; To be removed soon. (add_predicate expr_writes node waveform) -(add_predicate expr_reads node waveform) + +(add_predicate is_read_structure node string) +(add_predicate is_read_element node string waveform) +(add_predicate is_read_element node string string) (add_predicate is_terminal node) |