TestTermParser

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

tests
0

failures
4

ignored
0.200s

duration
100%

successful

Tests

Test Duration Result
test1() 0.002s passed
test10() 0.003s passed
test11() 0.008s passed
test12() - ignored
test13() 0.020s passed
test14() 0.003s passed
test1a() 0.003s passed
test2() 0.001s passed
test3() 0.001s passed
test5() 0.002s passed
test6() 0.001s passed
test7() 0.002s passed
test8() 0.002s passed
test9() 0.002s passed
testAmbigiousFuncVarPred() 0.002s passed
testAttributeOnObject() 0.003s passed
testAttributeWithSpecifiedSortOnObject() 0.019s passed
testBindingUpdateTerm() 0.002s passed
testBindingUpdateTerm_1() 0.002s passed
testBindingUpdateTerm_3() 0.004s passed
testBindingUpdateTerm_4() 0.002s passed
testBindingUpdateTerm_5() 0.003s passed
testBindingUpdateTerm_6() 0.002s passed
testBindingUpdateTerm_7() 0.002s passed
testBindingUpdateTerm_8() 0.002s passed
testCast() 0.003s passed
testIfThenElse() 0.001s passed
testInfix1() 0.001s passed
testInfix2() 0.002s passed
testInfix3() 0.002s passed
testInfix4() 0.002s passed
testJavaAttributeAccessBoth_1() 0.003s 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.004s passed
testNegativeLiteralParsing1() 0.001s passed
testNegativeLiteralParsing2() 0.003s passed
testNegativeLiteralParsing3() 0.002s passed
testNotEqual() 0.011s passed
testParsingArray() 0.003s passed
testParsingArrayCombination() 0.003s passed
testProgramVariables() 0.054s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

316611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316615     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 
316719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
316773     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 
316881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 9 ms 
316882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316891     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 
316963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316966     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 
317035     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 
317101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317103     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
317104     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 
317176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317177     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
317183     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 
317264     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 
317332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317353     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 
317437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
317437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317439     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
317439     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 
317512     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317513     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317516     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 
317599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317602     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 
317674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317677     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 
317748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317750     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 
317819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
317823     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 
317893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
317893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317895     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 
317963     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 
318031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318033     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 
318119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318121     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 
318188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318190     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 
318258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318260     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 
318326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318328     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 
318396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318396     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318398     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 
318466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318468     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 
318542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318544     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 
318612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318613     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 
318701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
318701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318703     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 
318784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318788     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 
318858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318860     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 
318943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318945     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 
319013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319013     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319015     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 
319088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319090     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 
319153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
319155     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 
319225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319229     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 
319297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319300     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 
319369     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319372     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 
319448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319451     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 
319518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319521     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 
319583     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319583     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319584     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 
319648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
319648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319652     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 
319719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
319721     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 
319785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
319785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319787     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 
319849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319851     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 
319915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319919     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 
319982     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 
320061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320065     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 
320131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms