TestTermParser

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

tests
0

failures
4

ignored
0.188s

duration
100%

successful

Tests

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

Standard output

300605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
300605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300607     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 
300706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300779     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 
300864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300869     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 
300956     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
300956     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300968     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 
301063     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 
301150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
301152     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
301158     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 
301254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301257     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
301259     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 
301349     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 
301437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301442     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 
301532     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
301535     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
301535     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 
301629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
301629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301631     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 
301722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301724     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 
301813     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
301816     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 
301905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
301905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301906     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 
301996     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301996     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301997     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 
302086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302087     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 
302176     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 
302264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
302265     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 
302361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302363     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 
302452     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302452     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302454     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 
302542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302543     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 
302632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302634     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 
302720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302721     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 
302806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302808     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 
302893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302894     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 
302979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
302981     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 
303066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
303068     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 
303153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303156     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 
303241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303242     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 
303332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
303335     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 
303419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303425     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 
303522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
303526     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 
303617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
303617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303620     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 
303724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
303728     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 
303818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
303822     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 
303911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303914     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 
304007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304010     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 
304100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304104     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 
304193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304194     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 
304282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304284     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 
304428     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
304428     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304430     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 
304518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304520     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 
304610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
304612     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 
304702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304707     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 
304798     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 
304889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304892     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 
304986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms