[Javapathfinder-svn] SF.net SVN: javapathfinder:[1856] branches/mango/Mango

[<fra...@us...>]

Revision: 1856
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1856&view=rev
Author:   frankrimlinger
Date:     2009-08-25 22:13:22 +0000 (Tue, 25 Aug 2009)

Log Message:
-----------
Completed implementation of implicit rule generation.  Testing underway.  Opted for new extensions of the Rule class to characterize stable rules, composition rules, template binding rules, and template instantiated rules.  The four corresponding classes now extend the abstract class SyntheticRule.  The SyntheticRule class implements the ProxyRule interface, which contains the method getProxy().  Using getProxy(), SyntheticRule can bounce a lot of routine rule requests to the proxy, which is a Rule.  The four concrete SyntheticRule classes implement getProxy() as appropriate, and can concentrate on initializing their fields correctly.  This new breakout relieves a lot of complexity in the Rule class, and obviates the need for RuleManager classes, which have been deleted.  Also introduced TemplateRule class to model the concrete template rules.  The TemplateRuleManager has not been folded into TemplateRule because this manager really has some complex tasks to perform.  The point of the TemplateRule class is just to enable handling of creation, destruction and indexing issues in a more uniform manner.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/core/CoreRule.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashCoreParser.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRecent.java
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/ActiveObject.java
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/Rule.java
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/TemplateRuleManager.java
    branches/mango/Mango/Mango/src/mango/worker/msg/NewWorkerMsg.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/StableImplication.java

Added Paths:
-----------
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/TemplateRule.java
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/synthetic/
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/synthetic/CompositionRule.java
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/synthetic/ImplicitRule.java
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/synthetic/ProxyRule.java
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/synthetic/StableRule.java
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/synthetic/SyntheticRule.java
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/synthetic/TemplateBindingRule.java
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/synthetic/TemplateInstanceRule.java

Removed Paths:
-------------
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/CompositionRuleManager.java
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/StableRuleManager.java
    branches/mango/Mango/Mango/src/mango/worker/engine/rule/TemplateRuleKeyBindingManager.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.