[Javapathfinder-svn] SF.net SVN: javapathfinder:[1513] branches/mango/MangoJPF

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

Revision: 1513
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1513&view=rev
Author:   frankrimlinger
Date:     2009-05-14 15:24:37 +0000 (Thu, 14 May 2009)

Log Message:
-----------
Deleted obsolete hashtables from Mango class.

Deleted the following subpackages of mango.worker.javaModel:
classParser
errorModel
jmvSyntax.attributes
jvmSytax.helper_classes
linkingModel
sym

Needless to say, this severely traumatized the mango codebase.  The equivalent jpf functionality must now be wired in.

Since the only remaining subpackage is byteCodeModel, it is now moved to mango.worker.byteCodeModel.  This package maps bytecodes to their formal counterparts.  The first order of business is to parcel this code out into the mango.scanner.bytecode classes.  To this end, these classes will implement the new MangoFormalLanguage interface.

For the purpose of this port, the deleted classes

mango.worker.javaModel.classParser.Field
mango.worker.javaModel.classParser.Instruction
mango.worker.javaModel.classParser.Method
mango.worker.javaModel.classParser.ClassModel

become

gov.nasa.jpf.jvm.FieldInfo
gov.nasa.jpf.jvm.bytecode.Instruction
gov.nasa.jpf.jvm.MethodInfo
gov.nasa.jpf.jvm.ClassInfo

This transformation will effectively bind mango flow control to jpf simulation.

Hopefully the symbol counterparts of the mango classes can be totally eliminated now, but if not, they will be rewritten from scratch.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildAbstractUcon.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/Is_class_loadable.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/clinit/ComposePrependedClinits.java
    branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
    branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/ArithmeticOp.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Branching.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Getandput.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Invocation.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Invoking.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Linker.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Loading.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/LogicAndIntegerInc.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Newandmisc.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/PopDupSwap.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Pushing.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Return.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Storing.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/TypeCasting.java
    branches/mango/MangoJPF/Mango/src/mango/worker/engine/events/LocalMessage.java
    branches/mango/MangoJPF/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHash.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/model/FrameModel.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/sym/binder/executable/FrameSym.java

Added Paths:
-----------
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoFormalLanguage.java

Removed Paths:
-------------
    branches/mango/MangoJPF/Mango/src/mango/worker/javaModel/byteCodeModel/
    branches/mango/MangoJPF/Mango/src/mango/worker/javaModel/classParser/
    branches/mango/MangoJPF/Mango/src/mango/worker/javaModel/errorModel/
    branches/mango/MangoJPF/Mango/src/mango/worker/javaModel/jvmSyntax/attributes/
    branches/mango/MangoJPF/Mango/src/mango/worker/javaModel/jvmSyntax/helper_classes/
    branches/mango/MangoJPF/Mango/src/mango/worker/javaModel/linkingModel/
    branches/mango/MangoJPF/Mango/src/mango/worker/javaModel/sym/


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