TestTermParser

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

tests
0

failures
4

ignored
0.161s

duration
100%

successful

Tests

Test Duration Result
test1() 0.002s passed
test10() 0.004s passed
test11() 0.005s passed
test12() - ignored
test13() 0.009s passed
test14() 0.004s passed
test1a() 0.005s passed
test2() 0.002s passed
test3() 0.001s passed
test5() 0.002s passed
test6() 0.003s passed
test7() 0.002s passed
test8() 0.003s passed
test9() 0.002s passed
testAmbigiousFuncVarPred() 0.001s passed
testAttributeOnObject() 0.003s passed
testAttributeWithSpecifiedSortOnObject() 0.008s 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.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.002s passed
testInfix4() 0.001s passed
testJavaAttributeAccessBoth_1() 0.003s passed
testJavaAttributeAccessBoth_2() 0.002s passed
testJavaAttributeAccessBoth_3() 0.002s passed
testJavaAttributeAccess_4() 0.004s passed
testJavaQueryAndAttribute_all() - ignored
testJavaStaticQuery() 0.004s passed
testJavaStaticQueryWithParameter() 0.003s passed
testNegativeLiteralParsing1() 0.001s passed
testNegativeLiteralParsing2() 0.001s passed
testNegativeLiteralParsing3() 0.002s passed
testNotEqual() 0.001s passed
testParsingArray() 0.003s passed
testParsingArrayCombination() 0.002s passed
testProgramVariables() 0.052s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

269097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269102     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 
269171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269223     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 
269289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
269291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269296     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 
269360     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
269360     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269361     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 
269424     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 
269485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
269486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
269488     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
269489     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 
269551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269554     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
269556     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 
269622     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 
269686     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269695     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 
269758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269762     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
269763     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 
269828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
269829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269832     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 
269894     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
269894     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269898     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 
269960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269960     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269964     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 
270025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270026     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 
270090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
270090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270091     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 
270153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270155     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 
270216     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 
270278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270279     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 
270342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
270342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270343     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 
270405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
270405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270407     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 
270468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270470     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 
270533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270535     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 
270597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
270597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270599     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 
270661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
270661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270663     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 
270724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270726     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 
270787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270789     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 
270851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270853     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 
270915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
270919     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 
270980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
270980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270982     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 
271041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
271041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
271043     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 
271105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
271105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
271107     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 
271169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
271169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
271171     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 
271234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
271234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
271236     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 
271298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
271298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
271300     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 
271361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
271362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
271364     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 
271426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
271427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
271429     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 
271491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
271491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
271493     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 
271555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
271556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
271559     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 
271620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
271620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
271621     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 
271682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
271682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
271684     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 
271749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
271749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
271751     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 
271816     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
271816     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
271818     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 
271880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
271880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
271882     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 
271945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
271945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
271948     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 
272010     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 
272071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272074     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 
272136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms