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

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

Revision: 1852
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1852&view=rev
Author:   frankrimlinger
Date:     2009-08-24 05:12:08 +0000 (Mon, 24 Aug 2009)

Log Message:
-----------
Completed specification for Class_MangoFormal.  Testing in progress.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/IsPrimitiveClass.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoClassPeer.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/Casting/<init>()V/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/Casting/cast(DFILI;)LI;/Class name of objI may be cast to I.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/Casting/cast(DFILI;)LI;/Class name of objI may not be cast to I.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/Casting/cast(DFILI;)LI;/objI is undefined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/I/<init>()V/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/I/whatHappens()Ljava.lang.Class_MangoFormal;/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/I/whatHappens1()Ljava.lang.Class_MangoFormal;/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/I/whatHappens2()Ljava.lang.Class_MangoFormal;/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/I/whatHappens3()Ljava.lang.Class_MangoFormal;/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/compatibleTrue()Z/case.zip
    branches/mango/Mango/mangoUserHome/system/SystemTests/src/systemTests/ClassTests.java

Added Paths:
-----------
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/IsInterface.java
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/semantics/AddSemanticsForIsInterface.java
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/semantics/AddSemanticsForIsPrimitiveClass.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/model/semantics/SemanticsForIsInterface.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/model/semantics/SemanticsForIsPrimitiveClass.java
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/isInterface()Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/isInterface()Z/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/compatibleFalse(Ljava.lang.Class_MangoFormal;Ljava.lang.Class_MangoFormal;)Z/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/compatibleFalse(Ljava.lang.Class_MangoFormal;Ljava.lang.Class_MangoFormal;)Z/x is defined, y is defined.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getComponentType(Ljava.lang.Class_MangoFormal;)Ljava.lang.Class_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/getComponentType(Ljava.lang.Class_MangoFormal;)Ljava.lang.Class_MangoFormal;/Class name of clazz is an array.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/systemTests/ClassTests/isPrimitiveTrue()Z/
    branches/mango/Mango/mangoUserHome/system/System/java/lang/Worksheet for isPrimitive.txt


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