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.002s passed
test10() 0.006s passed
test11() 0.004s passed
test12() - ignored
test13() 0.006s passed
test14() 0.006s passed
test1a() 0.003s passed
test2() 0.002s passed
test3() 0.003s passed
test5() 0.010s passed
test6() 0.006s passed
test7() 0.003s passed
test8() 0.003s passed
test9() 0.001s passed
testAmbigiousFuncVarPred() 0.001s passed
testAttributeOnObject() 0.003s passed
testAttributeWithSpecifiedSortOnObject() 0.019s passed
testBindingUpdateTerm() 0.002s passed
testBindingUpdateTerm_1() 0.001s passed
testBindingUpdateTerm_3() 0.003s 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.002s passed
testIfThenElse() 0.025s passed
testInfix1() 0.002s passed
testInfix2() 0.003s passed
testInfix3() 0.002s passed
testInfix4() 0.002s passed
testJavaAttributeAccessBoth_1() 0.004s passed
testJavaAttributeAccessBoth_2() 0.003s passed
testJavaAttributeAccessBoth_3() 0.003s passed
testJavaAttributeAccess_4() 0.003s passed
testJavaQueryAndAttribute_all() - ignored
testJavaStaticQuery() 0.003s passed
testJavaStaticQueryWithParameter() 0.005s passed
testNegativeLiteralParsing1() 0.002s passed
testNegativeLiteralParsing2() 0.002s passed
testNegativeLiteralParsing3() 0.003s passed
testNotEqual() 0.003s passed
testParsingArray() 0.004s passed
testParsingArrayCombination() 0.003s passed
testProgramVariables() 0.086s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

335892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335907     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 
335970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336055     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 
336118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336138     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 
336191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336191     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 
336253     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 
336316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336316     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
336316     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 
336389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336389     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
336389     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 
336452     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 
336514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336514     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 
336586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336586     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
336586     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 
336648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336648     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 
336711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336711     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 
336773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336773     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 
336851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336851     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 
336914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336914     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 
336976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336976     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 
337039     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 
337102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337102     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 
337164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337164     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 
337227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337227     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 
337289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337289     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 
337352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337367     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337367     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 
337446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337446     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 
337524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337524     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 
337590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337590     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 
337662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337662     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 
337725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337725     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 
337787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337787     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 
337850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337850     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 
337912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337912     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 
337975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337975     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 
338037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338037     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 
338100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338115     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 
338197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338197     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 
338260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338260     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 
338322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338322     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 
338385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338385     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 
338495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338511     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 
338558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338573     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 
338620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338636     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 
338683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338683     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 
338752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338752     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 
338815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338815     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 
338877     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338877     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338877     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 
338924     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 
338987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338987     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 
339049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms