TestTermParser

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

tests
0

failures
4

ignored
0.254s

duration
100%

successful

Tests

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

Standard output

291805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
291805     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291805     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 
291867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291915     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 
291977     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291993     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 
292055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292055     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 
292118     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 
292180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292180     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
292180     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 
292243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292243     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
292243     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 
292384     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 
292446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292462     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 
292524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292524     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
292524     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 
292587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292602     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 
292665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292665     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 
292727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292727     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 
292790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292790     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 
292868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292868     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 
292931     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292931     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292931     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 
292993     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 
293056     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293056     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293056     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 
293118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
293134     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 
293197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293197     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 
293259     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293259     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293259     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 
293322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293322     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 
293384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293400     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 
293462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293462     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 
293525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293525     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 
293587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293587     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 
293650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293665     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 
293728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293728     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 
293791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293807     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 
293869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293916     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 
293979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293979     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 
294041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294041     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 
294104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294104     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 
294182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294182     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 
294244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294260     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 
294322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294322     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 
294385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294385     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 
294448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294448     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 
294510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294526     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 
294588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294588     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 
294651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294651     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 
294729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
294729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294729     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 
294792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294792     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 
294854     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294854     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294854     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 
294917     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 
294980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295042     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 
295105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms