[Javapathfinder-svn] SF.net SVN: javapathfinder:[1264] branches/mango/extensions/mango

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

Revision: 1264
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1264&view=rev
Author:   frankrimlinger
Date:     2009-03-09 19:55:54 +0000 (Mon, 09 Mar 2009)

Log Message:
-----------
Adding syntax for universal and existential quantification.  There is no plan to interpret such statements within mango, but they are necessary for forming sophisticated hypotheses and conjectures.  The main issue is ensuring there is no free variable name-space collision.  This has been on the to do list for years, and is the first new feature for mango.  With universal quantification in place, the baseline find_negative_test can finally get a satisfactory treatment. 

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/Resources/IconIndex.java
    branches/mango/extensions/mango/Mango/src/mango/core/CoreKons.java
    branches/mango/extensions/mango/Mango/src/mango/core/dfl/CoreDFLBuilder.java
    branches/mango/extensions/mango/Mango/src/mango/core/dfl/CoreDFLCreator.java
    branches/mango/extensions/mango/Mango/src/mango/core/dfl/CoreDFLReader.java
    branches/mango/extensions/mango/Mango/src/mango/core/gui/editing/CoreVariableRequirementCellEditor.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/Sym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/model/HeapPointer.java
    branches/mango/extensions/mango/jars/Resources.jar
    branches/mango/extensions/mango/local/franklocal/rules/rulebase.zip
    branches/mango/extensions/mango/local/franklocal/sessions/a.zip

Added Paths:
-----------
    branches/mango/extensions/mango/Mango/src/mango/Resources/How to create or modify icons (Autosaved)
    branches/mango/extensions/mango/Mango/src/mango/Resources/Resources.jar
    branches/mango/extensions/mango/Mango/src/mango/Resources/editableIcons/icon1008_UntypedVariable.icns
    branches/mango/extensions/mango/Mango/src/mango/Resources/icons/icon1168.png
    branches/mango/extensions/mango/Mango/src/mango/core/sym/UntypedVariable.java
    branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/GetFreeVariableName.java
    branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/SyntacticEquals.java
    branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateFreeVars.java
    branches/mango/extensions/mango/local/franklocal/rules/rulebase1.zip
    branches/mango/extensions/mango/local/franklocal/sessions/baseline/find_negative/
    branches/mango/extensions/mango/local/franklocal/sessions/baseline/find_negative/find_negative_test([II)I/
    branches/mango/extensions/mango/local/franklocal/sessions/baseline/find_negative/find_negative_test([II)I/loops/
    branches/mango/extensions/mango/local/franklocal/sessions/baseline/find_negative/find_negative_test([II)I/loops/-baseline.find_negative.find_negative_test([II)I#4:iload_i_Code_01/
    branches/mango/extensions/mango/local/franklocal/sessions/baseline/find_negative/find_negative_test([II)I/loops/-baseline.find_negative.find_negative_test([II)I#4:iload_i_Code_01/op0 is less than 'n'.zip


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