src/java-sml-bugs.txt
author wneuper
Tue, 14 Jun 2005 17:22:50 +0200
changeset 2391 59a60ef2a2c8
parent 2258 8b7d46a3cf26
child 3041 1dc188ce6fae
permissions -rw-r--r--
java: minor changes preparing tryMatch
     1 ~/proto2/isac/src/java-sml-bugs.txt
     2 Bugs apparently caused by the SML kernel
     3 encountered at the isac front-end
     4 ========================================
     5 reference UCs by 'text of headline of usecase'
     6 ========================================
     7 
     8 
     9 please, locate the bug in one ore more UseCases (UC) 
    10 together with the example (should be from pbl-browser IsacCore/test/..
    11 -------------------------------------------------------------------------------
    12 most urgent bugs are on top, bugfixes are appended by date at the end
    13 
    14 
    15 ===============================================================================
    16 WN041008 UC?? CalcHead in minisubpbl as comes first in Bridgelog>
    17 	 # belongsto Met ?!
    18 	 # <WHERE> </WHERE> ... is empty ?!
    19 -------------------------------------------------------------------------------
    20 
    21 ===============================================================================
    22 LK040901 UC Calculate the Next Formula.\label{SOLVE:AUTO:one}
    23          UC Calculate until a Final Result is Reached.\label{SOLVE:AUTO:all}
    24          miniscript_with_mini-subproblem:
    25 single step bis Subproblem am Worksheet, dann auto --> NIXmehr
    26 -------------------------------------------------------------------------------
    27 
    28 ===============================================================================
    29 WN040924 UCs wie LK040901: systests/
    30 "--------- miniscript with mini-subpbl AUTO CompleteCalcHead------";
    31  states:=[];
    32  CalcTree
    33  [(["equality (x+1=2)", "solveFor x","solutions L"], 
    34    ("Test.thy", 
    35     ["sqroot-test","univariate","equation","test"],
    36     ["Test","squ-equ-test-subpbl1"]))];
    37  Iterator 1;
    38 (* doesn't terminate !!!
    39  autoCalculate 1 CompleteCalcHead; 
    40 *)
    41 -------------------------------------------------------------------------------
    42 
    43 ===============================================================================
    44 WN041211
    45 ((MockIToUser) user).getCalcChangedEvent() returns incorrect positions in 
    46 javatest/isac/bridge/TestBridge#testMinisubpblNextStep
    47 -------------------------------------------------------------------------------
    48 
    49 ===============================================================================
    50 WN041211 relate naming Java - SML
    51 	 getFormula	     refFormula
    52 
    53 -------------------------------------------------------------------------------
    54 
    55 ===============================================================================
    56 WN041211 not implemented SML (+Java ?) - code:
    57 	 getAssumption
    58 
    59 -------------------------------------------------------------------------------
    60 
    61 ===============================================================================
    62 -------------------------------------------------------------------------------
    63 
    64 ===============================================================================
    65 -------------------------------------------------------------------------------
    66 
    67 ===============================================================================
    68 -------------------------------------------------------------------------------
    69 
    70 
    71 ###############################################################################
    72 #  bug fixes                                                                  #
    73 ###############################################################################