TestTermParser

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

tests
0

failures
4

ignored
0.180s

duration
100%

successful

Tests

Test Duration Result
test1() 0.001s passed
test10() 0.003s passed
test11() 0.002s passed
test12() - ignored
test13() 0.010s passed
test14() 0.004s passed
test1a() 0.003s passed
test2() 0.002s passed
test3() 0.002s passed
test5() 0.003s passed
test6() 0.002s passed
test7() 0.004s passed
test8() 0.001s passed
test9() 0.001s passed
testAmbigiousFuncVarPred() 0.001s passed
testAttributeOnObject() 0.004s passed
testAttributeWithSpecifiedSortOnObject() 0.004s passed
testBindingUpdateTerm() 0.002s passed
testBindingUpdateTerm_1() 0.002s passed
testBindingUpdateTerm_3() 0.004s passed
testBindingUpdateTerm_4() 0.001s passed
testBindingUpdateTerm_5() 0.002s passed
testBindingUpdateTerm_6() 0.001s passed
testBindingUpdateTerm_7() 0.002s passed
testBindingUpdateTerm_8() 0.003s passed
testCast() 0.002s passed
testIfThenElse() 0.002s 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.005s passed
testJavaAttributeAccessBoth_3() 0.004s passed
testJavaAttributeAccess_4() 0.003s passed
testJavaQueryAndAttribute_all() - ignored
testJavaStaticQuery() 0.004s passed
testJavaStaticQueryWithParameter() 0.004s passed
testNegativeLiteralParsing1() 0.002s passed
testNegativeLiteralParsing2() 0.002s passed
testNegativeLiteralParsing3() 0.002s passed
testNotEqual() 0.001s passed
testParsingArray() 0.003s passed
testParsingArrayCombination() 0.003s passed
testProgramVariables() 0.068s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

298998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298999     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
299000     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 
299088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299155     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 
299243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299247     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 
299335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299336     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 
299424     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 
299511     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
299512     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
299513     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
299514     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 
299609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299611     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
299612     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 
299719     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 
299849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299859     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 
299950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
299951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
299953     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
299953     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 
300042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300045     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 
300134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
300134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300136     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 
300225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300228     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 
300317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300318     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300319     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 
300414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 2 ms 
300414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300415     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 
300505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
300505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300506     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 
300606     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 
300697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300698     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 
300788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300791     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 
300880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300882     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 
300971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
300973     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 
301062     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301062     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301065     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 
301155     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301155     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301157     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 
301248     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 2 ms 
301248     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301250     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 
301340     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301340     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301341     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 
301430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301430     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301432     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 
301523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301525     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 
301615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301619     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 
301708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301710     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 
301800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301802     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 
301892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301894     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 
301983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
301986     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 
302074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302078     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 
302171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302175     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 
302281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302286     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 
302382     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
302382     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302385     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 
302477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302479     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 
302568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302572     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 
302665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302666     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 
302754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302756     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 
302844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
302844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302845     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 
302933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302935     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 
303024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
303024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303026     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 
303114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303117     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 
303206     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 
303299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303303     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 
303392     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303392     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms