summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-07-19 10:29:52 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-07-19 10:29:52 +0200
commit70b40bfb6c032c0dead7069b2178a43e63a8e563 (patch)
treefddf894ab2642aad5d6a87b85c00192833c0d64b /data/property
parent1cac6685e5dc334473c304194d5f816b6ecf3469 (diff)
First shot at the framework (it does compile).
Diffstat (limited to 'data/property')
-rw-r--r--data/property/unread_waveforms.pro10
1 files changed, 10 insertions, 0 deletions
diff --git a/data/property/unread_waveforms.pro b/data/property/unread_waveforms.pro
new file mode 100644
index 0000000..b53862b
--- /dev/null
+++ b/data/property/unread_waveforms.pro
@@ -0,0 +1,10 @@
+(tag_existing
+ (
+ (wf waveform UNREAD_WAVEFORM)
+ )
+ (not
+ (exists ps process
+ (is_accessed_by wf ps)
+ )
+ )
+)