TestTermParser

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

tests
0

failures
4

ignored
0.234s

duration
100%

successful

Tests

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

Standard output

276256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276256     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 
276334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276381     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 
276444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276460     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 
276522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276522     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 
276585     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 
276663     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
276663     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276663     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
276663     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 
276726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276726     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
276726     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 
276788     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 
276851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276866     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 
276929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276929     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
276929     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 
276992     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276992     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 
277054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277054     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 
277117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277132     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 
277195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277195     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 
277257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277257     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 
277322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277322     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 
277383     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 
277445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277445     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 
277508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277508     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 
277570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277570     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 
277633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277648     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 
277711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277711     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 
277789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277789     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 
277851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277851     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 
277914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277930     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 
277992     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277992     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 
278055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278055     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 
278117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278133     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 
278195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278195     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 
278258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278258     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 
278337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278337     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 
278399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278399     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 
278462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278462     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 
278524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278524     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 
278602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278602     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 
278665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278665     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 
278727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278743     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278743     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 
278806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278806     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 
278868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278868     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 
278931     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278931     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278931     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 
278993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278993     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 
279071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279071     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 
279134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279134     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 
279196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279212     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 
279275     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 
279337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279337     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 
279416     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
279416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms