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

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

Revision: 1830
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1830&view=rev
Author:   frankrimlinger
Date:     2009-08-15 04:31:46 +0000 (Sat, 15 Aug 2009)

Log Message:
-----------
Fixed some typing and requirement bugs, and got invariant detection working.  Cleaned up some display issues.

Next bug: no return state not translating.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/ruleAction/form/binder/HeapBind.java
    branches/mango/Mango/Mango/src/mango/ruleAction/invariant/Invariant.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/function/BaseInvariantAgentProxySym.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/naturalLanguage/Instantiated.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/EnabledParameterReq.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/HeapModel.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/StackModel.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/LineNumberSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/ContextBinderSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/FrameSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/StackSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantFactorizationAgent.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantHypoAgent.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/sym/BaseInvariantAgentProxySym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/model/HitemUtil.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/ShowTypeRequestMsg.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/a.zip


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