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

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

Revision: 1777
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1777&view=rev
Author:   frankrimlinger
Date:     2009-07-24 15:28:57 +0000 (Fri, 24 Jul 2009)

Log Message:
-----------
Finished rehab of native implementation of Mango_Class, adding semantics for isClassLoadable and fixing a problem with existing semantics for isSuperClass.  For the record, a TranslationSym "has semantics" if it is bound to an extension of the Semantics object.  Currently, the Semantics class provides abstract methods for rendering and negation.  By using this mechanism, a TranslationSym can "know" if it is true or false, and get translated or negated accordingly.  This mechanism accommodates the vagaries of natural language. A lot a ad hoc translation rules should be reworked using this far more robust approach.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/model/semantics/Semantics.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Class_MangoFormal.java
    branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_Class.java

Added Paths:
-----------
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/IsClassLoadable.java
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/semantics/AddSemanticsForIsClassLoadable.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/model/semantics/SemanticsForIsClassLoadable.java

Removed Paths:
-------------
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/Is_class_loadable.java


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