TestTermParser

all > de.uka.ilkd.key.parser > TestTermParser
47

tests
0

failures
4

ignored
0.167s

duration
100%

successful

Tests

Test Duration Result
test1() 0.001s passed
test10() 0.003s passed
test11() 0.002s passed
test12() - ignored
test13() 0.004s passed
test14() 0.003s passed
test1a() 0.002s passed
test2() 0.002s passed
test3() 0.001s passed
test5() 0.003s passed
test6() 0.002s passed
test7() 0.001s passed
test8() 0.006s passed
test9() 0.001s passed
testAmbigiousFuncVarPred() 0.001s passed
testAttributeOnObject() 0.003s passed
testAttributeWithSpecifiedSortOnObject() 0.004s passed
testBindingUpdateTerm() 0.002s passed
testBindingUpdateTerm_1() 0.002s passed
testBindingUpdateTerm_3() 0.003s passed
testBindingUpdateTerm_4() 0.002s passed
testBindingUpdateTerm_5() 0.002s passed
testBindingUpdateTerm_6() 0.002s passed
testBindingUpdateTerm_7() 0.002s passed
testBindingUpdateTerm_8() 0.002s passed
testCast() 0.003s passed
testIfThenElse() 0.001s passed
testInfix1() 0.002s passed
testInfix2() 0.002s passed
testInfix3() 0.002s passed
testInfix4() 0.002s passed
testJavaAttributeAccessBoth_1() 0.003s passed
testJavaAttributeAccessBoth_2() 0.003s passed
testJavaAttributeAccessBoth_3() 0.003s passed
testJavaAttributeAccess_4() 0.002s passed
testJavaQueryAndAttribute_all() - ignored
testJavaStaticQuery() 0.003s passed
testJavaStaticQueryWithParameter() 0.004s passed
testNegativeLiteralParsing1() 0.001s passed
testNegativeLiteralParsing2() 0.001s passed
testNegativeLiteralParsing3() 0.001s passed
testNotEqual() 0.002s passed
testParsingArray() 0.003s passed
testParsingArrayCombination() 0.003s passed
testProgramVariables() 0.070s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

294549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294551     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
294642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294712     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
294800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294804     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
294893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294897     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
294985     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
295073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295075     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
295077     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
295165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
295165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295166     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
295167     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
295256     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
295344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295349     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
295438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295440     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
295441     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
295530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295530     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295532     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
295621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295625     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
295714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
295714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295716     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
295805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295805     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295806     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
295896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
295896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295897     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
295986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295988     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
296077     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
296165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296166     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
296255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296257     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
296346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
296346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296347     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
296436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
296436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296437     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
296528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296531     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
296621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296623     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
296712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296713     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
296803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296810     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
296899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296900     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
296989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296991     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
297079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297083     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
297172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297174     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
297262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297263     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
297264     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
297355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
297355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297357     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
297451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297453     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
297542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297544     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
297633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
297636     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
297726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297729     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
297817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297820     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
297909     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297909     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297911     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
298001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
298005     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
298094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298096     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
298186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298189     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
298278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298279     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298281     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
298372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298375     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
298470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298473     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
298563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298566     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
298659     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
298749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298752     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
298842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms