[rejuvenate-pc] r157 committed - [No log message]

[rejuve...@googlecode.com]

Revision: 157
Author: raffi.t.khatchadourian
Date: Tue Aug 3 03:52:47 2010
Log: [No log message]
http://code.google.com/p/rejuvenate-pc/source/detail?r=157

Added:
/trunk/uk.ac.lancs.comp.khatchad.rejuvenatepc.core/src/rules/NodeRules.drl

=======================================
--- /dev/null
+++
/trunk/uk.ac.lancs.comp.khatchad.rejuvenatepc.core/src/rules/NodeRules.drl
Tue Aug 3 03:52:47 2010
@@ -0,0 +1,60 @@
+#created on: Apr 17, 2008
+package NodeRules
+
+#list any import classes here.
+import uk.ac.lancs.comp.khatchad.rejuvenatepc.core.graph.*;
+import ca.mcgill.cs.swevo.jayfx.model.*;
+
+#declare any global variables here
+
+# Two nodes are connected when there is an arc in between them. (base
case).
+rule "connected"
+ when
+ $arc : IntentionArc()
+ then
+ Path<IntentionArc<IElement>> aPath = new Path<IntentionArc<IElement>>();
+ aPath.push($arc);
+ insert(aPath);
+end
+
+rule "path building"
+ when
+ $arc : IntentionArc($source : fromNode, $target : toNode)
+ $path : Path(size < 1, topNode == $target, tailNodes not contains
$source) # more work here?
+ then
+ Path aPath = (Path)$path.clone();
+ aPath.push($arc);
+ insert(aPath);
+end
+
+query "all paths"
+ $path : Path()
+end
+
+query "forward suggested execution nodes"
+ $enabledNode : IntentionNode(enabled == true)
+ $enabledPath : Path(firstNode == $enabledNode, $commonNode : lastNode,
$enabledSize : size)
+ $intersectingPath : Path($suggestedNode : firstNode, lastNode ==
$commonNode, size == $enabledSize)
+ eval($enabledPath.typeEquivalent($intersectingPath))
+end
+
+query "backward suggested execution nodes"
+ $enabledNode : IntentionNode(enabled == true)
+ $enabledPath : Path(lastNode == $enabledNode, $commonNode : firstNode,
$enabledSize : size)
+ $intersectingPath : Path($suggestedNode : lastNode, firstNode ==
$commonNode, size == $enabledSize)
+ eval($enabledPath.typeEquivalent($intersectingPath))
+end
+
+query "forward suggested X arcs" (Relation x)
+ $enabledArc : IntentionArc(enabled == true, type == x)
+ $enabledPath : Path(firstArc == $enabledArc, $commonNode : lastNode,
$enabledSize : size)
+ $intersectingPath : Path($suggestedArc : firstArc, lastNode ==
$commonNode, size == $enabledSize)
+ eval($enabledPath.typeEquivalent($intersectingPath))
+end
+
+query "backward suggested X arcs" (Relation x)
+ $enabledArc : IntentionArc(enabled == true, type == x)
+ $enabledPath : Path(lastArc == $enabledArc, $commonNode : firstNode,
$enabledSize : size)
+ $intersectingPath : Path($suggestedArc : lastArc, firstNode ==
$commonNode, size == $enabledSize)
+ eval($enabledPath.typeEquivalent($intersectingPath))
+end