Menu
▾
▴
javapathfinder-svn — source repository related messages (SVN)
You can subscribe to this list here.
| 2008 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(16) |
Jun
(42) |
Jul
(46) |
Aug
(48) |
Sep
(33) |
Oct
(26) |
Nov
(28) |
Dec
(38) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2009 |
Jan
(35) |
Feb
(80) |
Mar
(112) |
Apr
(108) |
May
(102) |
Jun
(126) |
Jul
(89) |
Aug
(82) |
Sep
(36) |
Oct
(7) |
Nov
(1) |
Dec
(4) |
| 2010 |
Jan
(87) |
Feb
|
Mar
(2) |
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: <fra...@us...> - 2009-07-29 07:32:48
|
Revision: 1789
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1789&view=rev
Author: frankrimlinger
Date: 2009-07-29 07:32:40 +0000 (Wed, 29 Jul 2009)
Log Message:
-----------
Forgot to add comments for 1788
Added <className> type and assigned this type to the already existing ClassNameSym. Hardcoded all immutability assignments to avoid boot timing problems. Created ImmutableSym class to handle a lot of symbols that just wanted immutability. Henceforth, if you want to be immutable, just create a new class and designate it to be immutable. Reworked the "empty string" as the singleton class EmptyString extending StringSym. This finally clears up a very ugly hack involving the Marker class, and allows for transparent use of the empty string in the code base. Made all the type assignments of the Sym class static because these are so heavily used. This ugliness could be avoided by subclassing, which also would mesh with the idea that immutability is a class level concept. Ported the fourchar action names per rev 1787.
TODO: type assignment rules and fourchar port in rulebase.
Revision Links:
--------------
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1787&view=rev
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/control/action/control/DebugRewriterAction.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-29 07:29:37
|
Revision: 1788
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1788&view=rev
Author: frankrimlinger
Date: 2009-07-29 07:29:29 +0000 (Wed, 29 Jul 2009)
Log Message:
-----------
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/core/sym/RuleKey.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeMethod.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeMethod.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/clinit/CallThisClinit.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/mango_math/ParseByteReturnsValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/mango_math/ParseByteThrowsNumberFormatException.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/mango_math/ParseIntReturnsValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/mango_math/ParseIntThrowsNumberFormatException.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/mango_math/ParseShortReturnsValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/mango_math/ParseShortThrowsNumberFormatException.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/sorting/SRTP.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/string/StringAppend.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/string/Substring.java
branches/mango/Mango/Mango/src/mango/worker/Worker.java
branches/mango/Mango/Mango/src/mango/worker/engine/events/RewriteEvent.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Hash.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Hitem.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEngine.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashMangoModel.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRewriter.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashTyping.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/ClassNameSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/GenericMethodNameSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/InstructionNameSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/InvocationNameSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/Marker.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/Other.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/Plug.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/StringSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/Sym.java
branches/mango/Mango/Mango/src/mango/worker/utilities/Util.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/model/HeapPointer.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/model/HitemUtil.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/Invocation.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/ANEWARRAY.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/CHECKCAST.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/GETFIELD.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/GETSTATIC.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/INSTANCEOF.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/LDC.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/LDC_W.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/MULTIANEWARRAY.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/NEW.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/NEWARRAY.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/PUTFIELD.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/PUTSTATIC.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/sym/InstructionSym.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/sym/InvocationSym.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/sym/JclassSym.java
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Add.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Divide.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Floor.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Increment.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Multiply.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Negate.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Power.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Subtract.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_binder.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_notObject.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_notWithDiveCommuter.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_reveal.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_revealAll.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/StringReq.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/ClinitWasCalledSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/EmptyString.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/ImmutableSym.java
Removed Paths:
-------------
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/DIVI.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/EXPT.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/FLOR.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/INCR.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/MINU.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/NGat.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/PLUS.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/TIME.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/engine/StringReq.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/Acl2paramSym.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-29 01:23:08
|
Revision: 1787
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1787&view=rev
Author: frankrimlinger
Date: 2009-07-29 01:23:00 +0000 (Wed, 29 Jul 2009)
Log Message:
-----------
Fixed enable/disable timing for Rulebase and Reset buttons to avoid some unpleasant crashes. Fixed another typing bug involving "commutesWithWithDive". Decided to just expose all the grime that has settled into the RuleKey class via the typing system. To this end, introduced the types
<reveal>
<revealAll>
<binder>
<notWithDiveCommuter>
<notObject>
<exposed> implies <binder>
<immutable>
The horrible SymbolHashInitialize class is now eliminated. Converted the corresponding hack code in RuleKey and HeapTracer classes to type assignment rules. Once again, moving this stuff to a rule-based scenario allows the display system and the garbage collection to evolve in a much more maintainable, disciplined way.
Also, moved "numerical representation" into the typing system. This is to accommodate "relaxed numbers" that can widen.
<intRelax>
<longRelax>
<floatRelax>
<doubleRelax>
all of which imply
<relaxedNumber>
which implies
<number>
The existing types
int,long,float, and double, imply <strictNumber> which implies <number>
All exensions of Hitem must now support setTypeAssignment(RuleKey type). Classes which choose to do so with a static assignment must do so with care, because any type assignment will brand all members of the class. At the very least, such classes should throw if an attempt is made to brand them as <immutable>, unless this really is true. This is a dangerous game to play, but (perhaps) necessary to avoid an explosion in memory consumption.
Cleaned up the coreRewriter.numerical package to behave in a sane, methodical way using the new typing system.
Finally letting go of the old fourchar codes from PowerPlant days gone bye:
DIVI --> Divide
EXPT --> Power
FLOR --> Floor
INCR --> Increment
MINU --> Subtract
NGat --> Negate
PLUS --> Add
TIME --> Multiply
and the oldest one of all:
SUBR --> Substitute
You need to build the type assignment rules for the newly introduced types. Also, what is the type of a ^className value?? Isn't there supposed to be a formal_className?? It has the form (makeClass sym), but no type?? Should we introduce formal_className??
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/control/action/control/StopWorkerAction.java
branches/mango/Mango/Mango/src/mango/core/sym/RuleKey.java
branches/mango/Mango/Mango/src/mango/module/definition/sym/ParamSym.java
branches/mango/Mango/Mango/src/mango/module/model/RuleModel.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/linear/BuildEquation.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeMethod.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeMethod.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/clinit/CallThisClinit.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/comparison/Equals.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/DIVI.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/EXPT.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/FLOR.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/INCR.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/IsTypeCatI.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/IsTypeCatII.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/MINU.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/NGat.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/PLUS.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/TIME.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/string/ConvertDoubleToString.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/string/ConvertFloatToString.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/string/ConvertIntToString.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/string/ConvertLongToString.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/InheritTypeFromThirdArg.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/TypeAssignmentRule.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/engine/NotNumber.java
branches/mango/Mango/Mango/src/mango/worker/Worker.java
branches/mango/Mango/Mango/src/mango/worker/WorkerControl.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/DoubleH.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/FloatH.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Hitem.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/IntegerH.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Kons.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/LongH.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHash.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEngine.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashLogicAndArithmetic.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashMangoModel.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRewriter.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashTyping.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/Rule.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/RuleBase.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/Acl2paramSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/ClassNameSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/GenericMethodNameSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/InstructionNameSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/InvocationNameSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/Marker.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/Plug.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/StringSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/Sym.java
branches/mango/Mango/Mango/src/mango/worker/flags/RuleDebuggingFlags.java
branches/mango/Mango/Mango/src/mango/worker/msg/NewWorkerMsg.java
branches/mango/Mango/Mango/src/mango/worker/msg/RulebaseMsg.java
branches/mango/Mango/Mango/src/mango/worker/utilities/Util.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/model/HeapTracer.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/model/LAsolver.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/HeapModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/model/HitemUtil.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/ReplaceRewriteLocatorMsg.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/Invocation.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/ANEWARRAY.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/CHECKCAST.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/GETFIELD.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/GETSTATIC.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/INSTANCEOF.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/LDC.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/LDC_W.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/MULTIANEWARRAY.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/NEW.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/NEWARRAY.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/PUTFIELD.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/PUTSTATIC.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/sym/InstructionSym.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/sym/InvocationSym.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/sym/JclassSym.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/'className' is defined.zip
branches/mango/Mango/src/mango/views/GenSpecWindow.java
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/ruleRequirement/symbols/NotResovedInvocationUcon.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/linearArithmetic/
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/linearArithmetic/ArithmeticLocalVar.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/linearArithmetic/CoefficientValue.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/linearArithmetic/ConjunctionValue.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/linearArithmetic/EquationValue.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/linearArithmetic/InequationValue.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/linearArithmetic/LinearVariable.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/linearArithmetic/NotEquationValue.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/ArithmeticFieldType.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/ArithmeticValue.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/BooleanReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/DoubleReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/FloatReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/IntReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/IntegralArrayFieldType.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/IntegralFieldType.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/IntegralValue.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/LongReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/NumberReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/RelaxedNumberReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/StrictNumberReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/rewriter/
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/rewriter/CommutesWithWithDive.java
Removed Paths:
-------------
branches/mango/Mango/Mango/src/mango/ruleRequirement/engine/NumberReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/leadingKey/
branches/mango/Mango/Mango/src/mango/ruleRequirement/linearArithmetic/
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/ArithmeticFieldType.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/ArithmeticValue.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/BooleanReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/DoubleReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/FloatReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/IntReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/IntegralArrayFieldType.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/IntegralFieldType.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/IntegralValue.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/LongReq.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Number.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashInitialize.java
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/'className' equals null reference.zip
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/a.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-28 06:10:39
|
Revision: 1786
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1786&view=rev
Author: frankrimlinger
Date: 2009-07-28 06:10:26 +0000 (Tue, 28 Jul 2009)
Log Message:
-----------
Stale Hitem mitigation underway. Stale Hitems result from not disposing of static Hitem fields prior to rebuilding the SymbolHash class. The principle symptom of this problem: a session S will replay correctly if it is the first session of a mango lifetime, but not if it is the second. Stale stable objects are particularly damaging because they "constipate" the rewriter when confused with their genuine unstable counterparts. The Hash object methods as well as certain other strategic methods in Hitem and Sym now perform a very quick test to determine liveness, which has uncovered errors. But the best thing is just to be careful when introducing static data in the first place.
Fixed a few more typing bugs. Issue: FormalTypes.buildPartialOrderings() does not magically take the transitive closure. Eventually you probably should code this up, as it is painfully easy to omit "obvious" relations.
Keep working on parametrization bugs.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/module/definition/agent/ParameterExpAgent.java
branches/mango/Mango/Mango/src/mango/module/definition/model/DefinitionManager.java
branches/mango/Mango/Mango/src/mango/module/definition/sym/ParamSym.java
branches/mango/Mango/Mango/src/mango/worker/Worker.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Hash.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Hitem.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Kons.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHash.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashTyping.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/Sym.java
branches/mango/Mango/Mango/src/mango/worker/msg/RulebaseMsg.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/HeapSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/StackSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/StatSym.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/sym/JclassSym.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/'className' equals null reference.zip
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/'className' is defined.zip
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/a.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-27 22:56:24
|
Revision: 1785
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1785&view=rev
Author: frankrimlinger
Date: 2009-07-27 22:56:15 +0000 (Mon, 27 Jul 2009)
Log Message:
-----------
Cleaned up the loadable class issue. Introduced the the formal type <parameter> and rewrote the parameter detection mechanism to simply parametrize expressions of type <parameter>. The parametrizable expressions are now exposed as <parameter> type assignment rules. Future parameter detection is now rule based instead of "hack the code" based. This is another bfc brought about by the improvements to the typing system. To support this, changed "bindFunctionSym" to <function> type implying <parameter>.
Fixed an ugly self-inflicted bug involving static data. When you globally assign a type to a class, the idiom is just to add the rulekey to a static assignedTypes field. If you do this, you MUST add a staticReset() method and call it from Worker.staticReset(). Even though the rulekey doesn't "change", it really does change, because a fresh symbol hash is built for each worker. What a SymbolHash does with stale Hitem objects is anybody's guess. This is definitely a weak point in the design. If this problem persists you will have to have the SymbolHash check for liveness. PAIN.
Next bug: sortParameters is sometimes not able to determine the type of a parameter because its expression is unstable. Why? HarvestParametersAgent is supposed to take care of this. Is this another typing timing issue?
Modified Paths:
--------------
branches/mango/Mango/ACL2/itsAWrap-construct.lisp
branches/mango/Mango/Mango/src/mango/core/CoreSym.java
branches/mango/Mango/Mango/src/mango/core/sym/RuleKey.java
branches/mango/Mango/Mango/src/mango/module/definition/agent/ParameterExpAgent.java
branches/mango/Mango/Mango/src/mango/module/definition/sym/ParamSym.java
branches/mango/Mango/Mango/src/mango/module/instance/model/InstanceManager.java
branches/mango/Mango/Mango/src/mango/module/model/RuleModel.java
branches/mango/Mango/Mango/src/mango/ruleAction/function/engine/BindFunctionSym.java
branches/mango/Mango/Mango/src/mango/ruleAction/function/engine/CommuteFunctionExp.java
branches/mango/Mango/Mango/src/mango/ruleAction/function/engine/ConditionalCommuteFunctionExp.java
branches/mango/Mango/Mango/src/mango/ruleAction/simpleSubstitution/SUBR.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/automatic/DoesNotThrow.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/automatic/IsClassLoadable.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/automatic/ThisIsNotNull.java
branches/mango/Mango/Mango/src/mango/worker/Worker.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/DoubleH.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/FloatH.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Hash.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/IntegerH.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Kons.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/LongH.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEnterpriseAndTranslation.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashInitialize.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashMangoModel.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRewriter.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashTyping.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/InvocationNameSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/GateSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/CodeSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/EdgeSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/LoopSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/PathSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/ucon/UconSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/ConjunctionSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/EquationSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/InequationSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/FunctionSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleHypothesisSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/model/HitemUtil.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/agent/AutoAssumptionAgent.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/'className' equals null reference.zip
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/ruleAction/function/engine/ComposeFunctionExp.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_boolean.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_parameter.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/BooleanReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/FunctionReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/ParameterReq.java
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/'className' is defined.zip
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/a.zip
Removed Paths:
-------------
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/multiarray/
branches/mango/Mango/Mango/src/mango/ruleAction/function/engine/ComposeFunctionSym.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/automatic/IsLoadable.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/automatic/IsLoadableArrayClass.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/function/FunctionExp.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/function/FunctionSymReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/module/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-07-27 22:28:52
|
Revision: 1784
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1784&view=rev
Author: staats
Date: 2009-07-27 22:28:41 +0000 (Mon, 27 Jul 2009)
Log Message:
-----------
Commented out unneeded print statements
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/SwitchInstruction.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-27 04:48:08
|
Revision: 1783
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1783&view=rev
Author: frankrimlinger
Date: 2009-07-27 04:48:00 +0000 (Mon, 27 Jul 2009)
Log Message:
-----------
Rehab of expressions with a variable number of arguments. The corresponding rulekeys are now types which imply the new <variableLength> type. Fine tuned FormalTypes to only compare minimal types for the purpose of determining type inequivalence. Non-minimal types tend to collapse all the types together, and so are not helpful for determining type inequivalence. Ensured that all dynamically introduced types are minimal.
Introduced the <multiarray> type, which is <variableLength> to accomodate any number of dimensions. Updated getValue_oldStyle() per rev 1764, except using <multiarray> as the rulekey instead of array.
Fixed timing problem with type requirements. The typing system is so efficient now that sometimes the type of an unstable expression can be determined. This causes trouble with rules that assume a typed expression is stable. So all type requirements now return false if the passed value is unstable.
Tweaked unifier to allow variable length expressions to stabilize before any other rule is applied.
Next issue: need to resolve predicate-versus-boolean issue for isClassLoadable.
Revision Links:
--------------
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1764&view=rev
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/core/CoreSym.java
branches/mango/Mango/Mango/src/mango/core/sym/AliasedRuleKey.java
branches/mango/Mango/Mango/src/mango/core/sym/RuleKey.java
branches/mango/Mango/Mango/src/mango/enterprise/locator/MFLocator.java
branches/mango/Mango/Mango/src/mango/module/definition/agent/ParameterExpAgent.java
branches/mango/Mango/Mango/src/mango/module/definition/sym/ParamSym.java
branches/mango/Mango/Mango/src/mango/module/model/RuleModel.java
branches/mango/Mango/Mango/src/mango/module/msg/ContainsTestMsg.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/MatchAssumptionList.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/StabilizeArguments.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/SubType.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/predShortcuts/Aget.java
branches/mango/Mango/Mango/src/mango/ruleAction/function/engine/CommuteFunctionExp.java
branches/mango/Mango/Mango/src/mango/ruleAction/function/engine/ComposeFunctionSym.java
branches/mango/Mango/Mango/src/mango/ruleAction/function/engine/ConditionalCommuteFunctionExp.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateOver.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/ArithmeticFieldType.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/ArithmeticValue.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/DoubleReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/FloatReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/FrameReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/GstackReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/HeapPointerReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/HeapReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/IntReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/IntegralArrayFieldType.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/IntegralFieldType.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/IntegralValue.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/InvocationNameReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/JavaButNotJVMtype.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/LocationReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/LongReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/ObjectReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/PredTransformerReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/PredicateReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/StackReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/StateReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/StringValue.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/UconReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/UnknownLocalVarReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/UnknownOpVarReq.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Kons.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEnterpriseAndTranslation.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashInitialize.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashMangoModel.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRewriter.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashTyping.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/Rule.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/RuleBase.java
branches/mango/Mango/Mango/src/mango/worker/engine/unifier/UnifyEvent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/FreeVarsAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/GeneralizeAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/OverAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/WithAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/EquationSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/FoundationSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/HeapModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/FunctionSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantStatus.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoMethodPeer.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/MULTIANEWARRAY.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/IsExplicitClassLoadable.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/multiarray/
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/multiarray/ComposeVariableLengthExp.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/automatic/IsClassLoadable.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/variableLength/
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/variableLength/FreeVarsReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/variableLength/OverReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/variableLength/VariableLengthReq.java
Removed Paths:
-------------
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/IsClassLoadable.java
branches/mango/Mango/Mango/src/mango/ruleAction/form/binder/MakeArray.java
branches/mango/Mango/Mango/src/mango/ruleAction/form/binder/MakeLoop.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/automatic/IsLoadableClass.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/function/FreeVarsReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/function/OverReq.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-25 05:05:04
|
Revision: 1782
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1782&view=rev
Author: frankrimlinger
Date: 2009-07-25 05:04:52 +0000 (Sat, 25 Jul 2009)
Log Message:
-----------
forName test session
Added Paths:
-----------
branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/'className' equals null reference.zip
Removed Paths:
-------------
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/a.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-25 03:17:10
|
Revision: 1781
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1781&view=rev
Author: frankrimlinger
Date: 2009-07-25 03:17:03 +0000 (Sat, 25 Jul 2009)
Log Message:
-----------
Fixed some bugs involving flavors of unknown type. Successful specification of exceptional case of Class_MangoFormal.forName(). Now need to write code for object case of HeapModel.getValue_oldStyle(). This involves explicit search of heap to determine if we are in the multiarray case, in which case, "the object is its name", otherwise null. Then can complete specification of forName().
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/module/definition/sym/ParamSym.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/AmbientLocal.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/sym/TranslationSym.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
Removed Paths:
-------------
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.
|
|
From: <st...@us...> - 2009-07-25 02:14:58
|
Revision: 1780
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1780&view=rev
Author: staats
Date: 2009-07-25 02:14:51 +0000 (Sat, 25 Jul 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/bin/treemap-trim-config.txt
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-07-24 23:47:23
|
Revision: 1779
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1779&view=rev
Author: staats
Date: 2009-07-24 23:47:15 +0000 (Fri, 24 Jul 2009)
Log Message:
-----------
Large scale experiments
Modified Paths:
--------------
trunk/extensions/complexcoverage/bin/binheap-random-config.txt
trunk/extensions/complexcoverage/launch/CompCov Parallel Client.launch
trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile MCDC.launch
trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile SendOutput.launch
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
Added Paths:
-----------
trunk/extensions/complexcoverage/bin/asw-random-config-64.txt
trunk/extensions/complexcoverage/bin/asw-reorder-config-64.txt
trunk/extensions/complexcoverage/bin/asw-trim-config-64.txt
trunk/extensions/complexcoverage/bin/binheap-random-config-64.txt
trunk/extensions/complexcoverage/bin/binheap-reorder-config-64.txt
trunk/extensions/complexcoverage/bin/binheap-trim-config-64.txt
trunk/extensions/complexcoverage/bin/bintree-random-config-64.txt
trunk/extensions/complexcoverage/bin/bintree-reorder-config-64.txt
trunk/extensions/complexcoverage/bin/bintree-trim-config-64.txt
trunk/extensions/complexcoverage/bin/fibheap-random-config-64.txt
trunk/extensions/complexcoverage/bin/fibheap-reorder-config-64.txt
trunk/extensions/complexcoverage/bin/fibheap-trim-config-64.txt
trunk/extensions/complexcoverage/bin/treemap-random-config-64.txt
trunk/extensions/complexcoverage/bin/treemap-reorder-config-64.txt
trunk/extensions/complexcoverage/bin/treemap-trim-config-64.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-24 22:28:24
|
Revision: 1778
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1778&view=rev
Author: frankrimlinger
Date: 2009-07-24 22:28:14 +0000 (Fri, 24 Jul 2009)
Log Message:
-----------
Fixed bug refactoring dual and dualp to formal_dual and formal_dualp. ditto for gstack. Fixed stale type names in free variable expressions within generalization and matching rules.
Fixed misspelling "Invocaton" of "Invocation" in rule base. There is nothing like shooting yourself in the foot.
Changed specification status types to <method> and <loop> for conceptual clarity.
Eliminated "wrapper keys". This was an ill-conceived rewriter optimization technique that is no longer required due to changes in the typing system.
To aid in parameter detection, introduced formal types <unknownLocalVar> and <unknownOpVar>. Henceforth, direct comparision with <unknown> is not advisable. Instead, us the static method FormalTypes.isUnknown(), which will check for null or any flavor of unknowness.
Working on specification of Class_MangoFormal.forName(). The "last bug" is failure of getFromLocalVar to pick up unknownLocalVar type.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/core/RuleResourceManager.java
branches/mango/Mango/Mango/src/mango/core/sym/RuleKey.java
branches/mango/Mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
branches/mango/Mango/Mango/src/mango/module/definition/method/MethodDefinitionManager.java
branches/mango/Mango/Mango/src/mango/module/definition/method/msg/CreateMethodStubMsg.java
branches/mango/Mango/Mango/src/mango/module/definition/model/DefinitionManager.java
branches/mango/Mango/Mango/src/mango/module/definition/sym/ParamSym.java
branches/mango/Mango/Mango/src/mango/module/instance/loop/model/LoopInstanceManager.java
branches/mango/Mango/Mango/src/mango/module/instance/method/model/MethodInstanceManager.java
branches/mango/Mango/Mango/src/mango/module/instance/model/InstanceManager.java
branches/mango/Mango/Mango/src/mango/module/msg/TranslateMsg.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildInvocationUconDummy.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/clinit/CallThisClinit.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/clinit/HasCommutingClinit.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/sorting/SORT.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/sorting/SRTM.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/sorting/SRTP.java
branches/mango/Mango/Mango/src/mango/tree/model/Cell.java
branches/mango/Mango/Mango/src/mango/tree/model/FolderViewer.java
branches/mango/Mango/Mango/src/mango/worker/Mango.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Kons.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEnterpriseAndTranslation.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashInitialize.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashMangoModel.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashTyping.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/Rule.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/RuleBase.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/ClassNameSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/Sym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/BackupAlg.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/CodeSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/return_terminator/ReturnTerminatorSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/BadPlaceSinkSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/SinkTerminatorSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/ucon/InvocationUconSym.java
branches/mango/Mango/Mango/src/mango/worker/utilities/Util.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/FreeVarsAgent.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/HeapSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/LocalVarSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/StackSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/StatSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/ShowTypeRequestMsg.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoMethodPeer.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKECLINIT.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/Mango/mangoUserHome/system/System/mango/cheat_sheet.txt
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildInvocationUcon.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_frame.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_heap.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_stack.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_unknownLocalVar.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_unknownOpVar.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/FrameReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/HeapReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/LocationReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/ObjectReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/StackReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/UnknownLocalVarReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/UnknownOpVarReq.java
branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/a.zip
Removed Paths:
-------------
branches/mango/Mango/Mango/src/mango/graph/data/sink_terminator/AssertionData.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildInvocatonUcon.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/semantics/SemanticsForIsSuperClass.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/AssertionSym.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-24 15:29:04
|
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.
|
|
From: <fra...@us...> - 2009-07-24 05:02:33
|
Revision: 1776
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1776&view=rev
Author: frankrimlinger
Date: 2009-07-24 05:02:21 +0000 (Fri, 24 Jul 2009)
Log Message:
-----------
Working on Mango_Class native implementation, start with makeComponentClass.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/IsSuperClass.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/Mango/mangoUserHome/system/System/mango/cheat_sheet.txt
branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_Class.java
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/MakeComponentClass.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/symbols/ClassNameSymReq.java
Removed Paths:
-------------
branches/mango/Mango/Mango/src/mango/ruleRequirement/symbols/ClassNameType.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-07-24 00:14:42
|
Revision: 1775
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1775&view=rev
Author: staats
Date: 2009-07-24 00:14:33 +0000 (Fri, 24 Jul 2009)
Log Message:
-----------
More random experiments
Modified Paths:
--------------
trunk/extensions/complexcoverage/bin/asw-random-config.txt
trunk/extensions/complexcoverage/bin/binheap-random-config.txt
trunk/extensions/complexcoverage/bin/bintree-random-config.txt
trunk/extensions/complexcoverage/bin/fibheap-random-config.txt
trunk/extensions/complexcoverage/bin/treemap-random-config.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-23 23:14:51
|
Revision: 1774
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1774&view=rev
Author: frankrimlinger
Date: 2009-07-23 23:14:39 +0000 (Thu, 23 Jul 2009)
Log Message:
-----------
SVN cleanup
Removed Paths:
-------------
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-23 23:11:53
|
Revision: 1773
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1773&view=rev
Author: frankrimlinger
Date: 2009-07-23 23:11:46 +0000 (Thu, 23 Jul 2009)
Log Message:
-----------
Rulebase type assignment and translation cleanup. Added check for missing actions and requirements in Rule constructor. Cleaned up all detected problems.
The use of the word "abstraction" came to mean both "invocation" and "specification". Within the rulebase, "abstraction" meant exclusively "invocation", so all such references have been changed to invocation, with corresponding changes in the code base. Mapping:
RuleKey
buildAbstractUcon --> buildInvocatonUcon
abstractUcon --> invocationUcon
abstractUconInvocation --> invocationUconInvoked
buildAbstractUconDummy --> buildInvocationUconDummy
Requirement
NotResolvedAbstractUcon --> NotResovedInvocationUcon
NotAbstractSym --> NotInvocationNameSym
Action
BuildAbstractUcon --> BuildInvocatonUcon
BuildAbstractUconDummy --> BuildInvocationUconDummy
literal
"AbstractUconMethod()V" --> "InvocationUconMethod"
Class
AbstractUconSym --> InvocationUconSym
AbstractUconPlace --> InvocationUconPlace
AbstractUconMethod --> InvocationUconMethod
With all this in place, ready to rewrite the rest of the native abstractions for Class_MangoFormal and Mango_Class.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/Resources/IconIndex.java
branches/mango/Mango/Mango/src/mango/core/CoreMangoActiveObject.java
branches/mango/Mango/Mango/src/mango/core/CoreMangoObject.java
branches/mango/Mango/Mango/src/mango/core/CoreRule.java
branches/mango/Mango/Mango/src/mango/core/CoreVariable.java
branches/mango/Mango/Mango/src/mango/core/RuleResourceManager.java
branches/mango/Mango/Mango/src/mango/core/gui/tablemodel/CoreVariableTableModel.java
branches/mango/Mango/Mango/src/mango/merge/window/FindPatternWindow.java
branches/mango/Mango/Mango/src/mango/module/definition/msg/AddEquivalenceRequestMsg.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/backflow/BlockedUcon.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/binder/LocalVar.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/ArithmeticValue.java
branches/mango/Mango/Mango/src/mango/util/LOG.java
branches/mango/Mango/Mango/src/mango/worker/Worker.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashInitialize.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashMangoModel.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/ActiveObject.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/Req.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/Rule.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/BackupAlg.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/SuperCpnVertex.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/ContextBinderSym.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/Invocation.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKECLINIT.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildInvocationUconDummy.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildInvocatonUcon.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateClassNamePred.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_double.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_float.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_arithmeticValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_coefficientValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_conjunctionValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_equationValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_gstack.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_inequationValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_integralValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_invocationName.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_location.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_object.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_predicate.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_predicateTransformer.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_state.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_stringValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_ucon.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_int.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_long.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/InheritTypeFromThirdArg.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/TypeAssignmentRule.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/leadingKey/NotResovedInvocationUcon.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/linearArithmetic/ArithmeticLocalVar.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/symbols/NotInvocationNameSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/ucon/InvocationUconSym.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/InvocationUconMethod.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/InvocationUconPlace.java
Removed Paths:
-------------
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefArithmeticValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefCoefficientValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefConjunctionValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefDouble.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefEquationValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefFloat.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefGstack.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefInequationValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefInt.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefIntegralValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefLong.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefObject.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefPredicate.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefPredicateTransformer.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefState.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefStringValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/DefUcon.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/InheritTypeFromThirdArg.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/type/TypeAssignmentRule.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildAbstractUcon.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildAbstractUconDummy.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateClassPtrPred.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/leadingKey/NotResolvedAbstractUcon.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/symbols/NotAbstractSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/ucon/AbstractUconSym.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/AbstractUconMethod.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/AbstractUconPlace.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-07-23 07:29:35
|
Revision: 1772
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1772&view=rev
Author: staats
Date: 2009-07-23 07:29:26 +0000 (Thu, 23 Jul 2009)
Log Message:
-----------
Running constrain experiments
Modified Paths:
--------------
trunk/extensions/complexcoverage/bin/asw-concretize-config.txt
trunk/extensions/complexcoverage/bin/asw-constrain-config.txt
trunk/extensions/complexcoverage/bin/asw-random-config.txt
trunk/extensions/complexcoverage/bin/asw-reorder-config.txt
trunk/extensions/complexcoverage/bin/asw-trim-config.txt
trunk/extensions/complexcoverage/bin/binheap-concretize-config.txt
trunk/extensions/complexcoverage/bin/binheap-random-config.txt
trunk/extensions/complexcoverage/bin/binheap-reorder-config.txt
trunk/extensions/complexcoverage/bin/binheap-trim-config.txt
trunk/extensions/complexcoverage/bin/bintree-concretize-config.txt
trunk/extensions/complexcoverage/bin/bintree-random-config.txt
trunk/extensions/complexcoverage/bin/bintree-reorder-config.txt
trunk/extensions/complexcoverage/bin/bintree-trim-config.txt
trunk/extensions/complexcoverage/bin/fibheap-concretize-config.txt
trunk/extensions/complexcoverage/bin/fibheap-random-config.txt
trunk/extensions/complexcoverage/bin/fibheap-reorder-config.txt
trunk/extensions/complexcoverage/bin/fibheap-trim-config.txt
trunk/extensions/complexcoverage/bin/treemap-concretize-config.txt
trunk/extensions/complexcoverage/bin/treemap-random-config.txt
trunk/extensions/complexcoverage/bin/treemap-reorder-config.txt
trunk/extensions/complexcoverage/bin/treemap-trim-config.txt
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/PathConstraintHeuristic.java-needsJava6JDK
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/FibHeap.java
Added Paths:
-----------
trunk/extensions/complexcoverage/bin/binheap-constrain-config.txt
trunk/extensions/complexcoverage/bin/bintree-constrain-config.txt
trunk/extensions/complexcoverage/bin/fibheap-constrain-config.txt
trunk/extensions/complexcoverage/bin/treemap-constrain-config.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-07-23 00:29:36
|
Revision: 1771
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1771&view=rev
Author: staats
Date: 2009-07-23 00:29:32 +0000 (Thu, 23 Jul 2009)
Log Message:
-----------
Getting ready to run lots of experiments
Modified Paths:
--------------
trunk/extensions/complexcoverage/bin/asw-concretize-config.txt
trunk/extensions/complexcoverage/bin/asw-constrain-config.txt
trunk/extensions/complexcoverage/bin/asw-trim-config.txt
trunk/extensions/complexcoverage/bin/binheap-trim-config.txt
trunk/extensions/complexcoverage/bin/bintree-trim-config.txt
trunk/extensions/complexcoverage/bin/fibheap-trim-config.txt
trunk/extensions/complexcoverage/bin/treemap-trim-config.txt
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/PathTrimSymbolicSearch.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFManagerInterface.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/LocalJPFListener.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/LocalJPFManager.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MCDCTracker.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/ReceiveRemoteOutput.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-07-22 23:36:31
|
Revision: 1770
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1770&view=rev
Author: staats
Date: 2009-07-22 23:36:24 +0000 (Wed, 22 Jul 2009)
Log Message:
-----------
Working on path constraint experiments
Modified Paths:
--------------
trunk/extensions/complexcoverage/bin/asw-constrain-config.txt
trunk/extensions/complexcoverage/bin/jpf-parallel-client
trunk/extensions/complexcoverage/bin/launch-parallel-experiment.py
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-22 21:43:23
|
Revision: 1769
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1769&view=rev
Author: frankrimlinger
Date: 2009-07-22 21:43:16 +0000 (Wed, 22 Jul 2009)
Log Message:
-----------
Update of native implementation for Mango_Class.forName(String_MangoFormal). Per rev 1767, we no longer push anything onto the heap. We just return (makeClass <underlying_string> ), where underlying_string is the internal representation of the passed argument.
TODO Here is the big trick: we add the rule
(valueH (refH (makeClass string) ^className) heap)
--> (makeClass string)
This is consistent with rev 1766, in that the class object IS its name. There are tremendous advantages to this approach, in that we don't have to manufacture a different heap reference, or worry about whether it is canonical or how it should be garbage collected.
Updated methods of Mango_Class and Class_MangoFormal to work directly with the formal object.
Hacked into rulebase to put brackets around formal type rulekeys in all expressions, so string --> <string> etc. These brackets are necessary to prevent namespace collision with default package classes. Since to date there are no such collisions, (we hope), the fix should work.
Updated GetVirtualRunTimeMethod and GetInterfaceRunTimeMethod to return an InvocationNameSym (or ^null) instead of an Other.
TODO With this in place, the methodCallAssumption no longer needs to do a conversion, and the buildAbstractSym rulekey and support must be teased out of the code base and the rulebase. There is an issue with "ResolvedAbstractSym" requirement which now becomes "ResovedInvocationNameSym".
TODO Rewrite the rest of the native abstractions for Class_MangoFormal and Mango_Class. This should be EZ.
Revision Links:
--------------
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1767&view=rev
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1766&view=rev
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/core/CoreKons.java
branches/mango/Mango/Mango/src/mango/core/CoreRule.java
branches/mango/Mango/Mango/src/mango/core/CoreSym.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeMethod.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeMethod.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Kons.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashInitialize.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashMangoModel.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRewriter.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashTyping.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/Rule.java
branches/mango/Mango/Mango/src/mango/worker/flags/RuleDebuggingFlags.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/ucon/AbstractUconSym.java
branches/mango/Mango/Mango/src/mango/worker/msg/RulebaseMsg.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/HeapModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/DeleteCoreMangoObjectMsg.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/AALOAD.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/ANEWARRAY.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/MULTIANEWARRAY.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/NEW.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/NEWARRAY.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/cheat_sheet.txt
branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_Class.java
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/MakeClass.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/string/MakeStr.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/symbols/InvocationNameSymReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/symbols/ResolvedInvocationNameSym.java
branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_Class.forName worksheet.txt
Removed Paths:
-------------
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildAbstractSym.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/predShortcuts/MakeStr.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/symbols/AbstractSymbolReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/symbols/ResolvedAbstractSym.java
branches/mango/Mango/mangoUserHome/frank/rules/hypothese for bounds.zip
branches/mango/Mango/mangoUserHome/frank/rules/substring hypo.zip
branches/mango/Mango/mangoUserHome/frank/rules/substring param.zip
branches/mango/Mango/mangoUserHome/frank/rules/this is defined standing.zip
branches/mango/Mango/mangoUserHome/frank/rules/x is defined.zip
branches/mango/Mango/mangoUserHome/frank/rules/x parameters.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-07-22 04:47:47
|
Revision: 1768
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1768&view=rev
Author: staats
Date: 2009-07-22 04:47:45 +0000 (Wed, 22 Jul 2009)
Log Message:
-----------
Removed Paths:
-------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/LocalMultiReceiver.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-22 04:08:50
|
Revision: 1767
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1767&view=rev
Author: frankrimlinger
Date: 2009-07-22 04:08:47 +0000 (Wed, 22 Jul 2009)
Log Message:
-----------
Cleaned up code involving detection of instantiated and automatic expressions. The point of view now is that an expression is instantiated if it contains no free state variable, and automatic if it is instantiated and contains no ModuleInvocationSym. This will probably be tweaked during testing, but it is good to start out with something that is at least conceptual.
Updated ANEWARRAY, NEW, NEWARRAY, and MULTIANEWARRAY to push the class name on the heap as a ClassNameSym, as opposed to the component name, in the case of arrays, as an Other.
Updated AASTORE to fetch the class name from the heap and then convert to the component name, which is used in turn to check assignment compatibility. Per 1766, the operation is accomplished with the makeComponentClass rulekey, with corresponding rule just stripping the ultimate "[]" from concrete arguments.
Removed the pushRefH from AASTORE and ARRAYLENGTH. pushRefH is now totally removed from the code base.
Next TODO: rewrite native abstraction of Object_MangoFormal.getClass() to return the ClassNameSym whose name is the name of the desired class. This is consistent with Rev 1766, in that ClassNameSym now has type <object>. But the suggestion in Rev 1766 to return (valueH (refH '@this ^className) '@inputHeap )) is incorrect, since this expression is non-canonical and unlikely to evaluate to the canonical ClassNameSym. So its best to just grab the bull by the horns and return the ClassNameSym in the first place.
Revision Links:
--------------
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1766&view=rev
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1766&view=rev
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/module/definition/sym/ParamSym.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/naturalLanguage/Automatic.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/naturalLanguage/AutomaticLocalVar.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/naturalLanguage/AutomaticThis.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/naturalLanguage/Instantiated.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/naturalLanguage/InstantiatedLocalVar.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/naturalLanguage/InstantiatedOpVar.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/naturalLanguage/InstantiatedThis.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/javapathfinder-mango-bridge/mango/scanner/bytecode/AASTORE.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/ANEWARRAY.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/ARRAYLENGTH.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/MULTIANEWARRAY.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/NEW.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/NEWARRAY.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-17 04:39:34
|
Revision: 1766
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1766&view=rev
Author: frankrimlinger
Date: 2009-07-17 04:39:24 +0000 (Fri, 17 Jul 2009)
Log Message:
-----------
The "fourth error condition" for AALOAD, involving the rulekey heapThrewException, was unnecessary and probably wrong. This error condition, the rulekey, and the corresponding rules have been eliminated.
We now come to an interesting semantic question: what should be the formal type of
(valueH (refH ref ^className ) heap)
First it is important to understand that this is not the question: how shall concrete representations of this expression be realized in the code base? The answer to the second question is: use ClassNameSym. So, the first question now becomes, what is the formal type of ClassNameSym. I had carelessly decided to introduce the new formal type <className>, but this just leads to trouble. To see why, consider
(valueH (refH array-of-arrays index) heap)
Clearly this has formal type <object>. This device allows us to formally manufacture sub-arrays as their name. Similarly, we should be able to formally manufacture Class_MangoFormal objects as their name, so, for example, the native implementation of Object_MangoFormal.getClass() just pushes
(valueH (refH '@this ^className) '@inputHeap )) onto the caller frame. This avoids meaningless conversion back and forth between <object> and <className>.
Finally, we introduce the RuleKeys makeClass and makeComponentClass and rules
(makeClass sym) ---> ClassNameSym with same name as sym
(makeComponentClass sym) --> ClassNameSym with name x, where x[] is the name of sym.
With this new conceptualization, the old RuleKeys
getComponentType
makeClassPtr
are retired.
We also retire the synthetic field _fully_qualified_class_name in Class_MangoFormal. This will require reimplementing the native abstractions for this class.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/ruleRequirement/naturalLanguage/Automatic.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/naturalLanguage/Instantiated.java
branches/mango/Mango/Mango/src/mango/worker/Worker.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashCoreParser.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashMangoModel.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRewriter.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashTyping.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/InterpretableSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/model/HeapPointer.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/FunctionSym.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/AALOAD.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/AASTORE.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/ACATCHHANDLER.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/Mango/mangoUserHome/system/System/java/lang/Class_MangoFormal.java
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/ruleAction/form/binder/MakeArray.java
Removed Paths:
-------------
branches/mango/Mango/Mango/src/mango/ruleAction/form/binder/MakePtr.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-16 21:08:50
|
Revision: 1765
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1765&view=rev
Author: frankrimlinger
Date: 2009-07-16 21:08:34 +0000 (Thu, 16 Jul 2009)
Log Message:
-----------
Array rehab in progress, which in turn is a part the typing rehab in progress, per revs 1763 and 1764.
Discovered that FieldInfo.getType() returns "canonical type", which does not translate array names to java level syntax. As a workaround, introduced FormalTypes.getFieldType(FieldInfo). Routed GETFIELD, GETSTATIC, and PUTFIELD through this method, so they shoud be ok.
HeapModel.generateDefault now returns null in the array-of-arrays case. It is up to the caller, HeapModel.getValue_oldStyle() to detect and act accordingly. Punting on this for now by throwing IllegalStateException. When this gets triggered by an example I will write the code to generate the required (array ...) object.
Deleted the actions
ClassPtrAsString
GetComponentType
isArrayClassptr
MakeClassPtr
RemoveBracket
Start by updating the broken instructions to conform to the new array semantics. Then you need to test all instructions to see if they properly resolve class names to the java level. Then the class names need to be formally realized as ClassNameSym, NOT Other or String.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/worker/Worker.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEngine.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/HeapModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/model/TranslationManager.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/sym/TranslationSym.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/GETFIELD.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/GETSTATIC.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/PUTFIELD.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/sym/JclassSym.java
Removed Paths:
-------------
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/ClassPtrAsString.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetComponentType.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/IsArrayClassPtr.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/MakeClassPtr.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/RemoveBracket.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
