TestTermParser

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

tests
0

failures
4

ignored
0.141s

duration
100%

successful

Tests

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

Standard output

246508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
246509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
246512     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 
246570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
246571     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
246616     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 
246674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
246675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
246679     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 
246737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
246738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
246739     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 
246801     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 
246859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
246860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
246861     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
246861     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 
246918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
246919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
246919     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
246920     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 
246977     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 
247034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247038     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 
247095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
247097     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
247097     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 
247155     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247157     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 
247215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247217     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 
247275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
247275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247277     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 
247335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
247336     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 
247394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247396     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 
247453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247454     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 
247512     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 
247570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247570     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 
247628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247630     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 
247688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247689     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 
247747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247748     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 
247805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247807     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 
247865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247866     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 
247924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247925     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247926     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 
247984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247985     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 
248044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
248044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248045     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 
248103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248104     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 
248162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248166     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 
248223     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248223     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248225     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 
248282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248283     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
248284     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 
248342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248348     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 
248407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248409     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 
248469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248470     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 
248531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248539     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 
248598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248600     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 
248660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248662     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 
248721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248723     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 
248782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248789     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 
248847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248848     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 
248905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248907     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 
248964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248966     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 
249024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
249024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
249025     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 
249082     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
249083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
249084     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 
249141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
249141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
249144     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 
249202     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 
249259     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
249259     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
249262     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 
249323     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 4 ms 
249324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms