TestTermParser

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

tests
0

failures
4

ignored
0.194s

duration
100%

successful

Tests

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

Standard output

271645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
271645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
271645     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 
271692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
271692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
271742     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 
271804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
271804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
271820     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 
271867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
271882     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 
271929     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 
271992     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
271992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
271992     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
271992     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 
272054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272054     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
272054     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 
272117     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 
272179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272179     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 
272235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272235     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
272235     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 
272298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272298     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 
272361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272361     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 
272423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272423     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 
272486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272486     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 
272548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272548     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 
272611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272611     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 
272658     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 
272720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272720     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 
272783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272783     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 
272846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272846     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 
272908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272908     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 
272971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272971     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 
273033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
273033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
273033     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 
273096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
273096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
273096     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 
273149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
273149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
273149     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 
273211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
273211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
273211     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 
273274     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
273274     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
273274     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 
273336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
273336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
273336     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 
273405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
273405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
273406     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 
273453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
273453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
273453     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 
273516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
273516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
273516     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 
273578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
273578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
273578     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 
273641     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
273641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
273641     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 
273703     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
273703     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
273703     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 
273766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
273766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
273766     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 
273828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
273828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
273828     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 
273891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
273891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
273891     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 
273953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
273953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
273969     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 
274016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
274016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
274016     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 
274084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
274084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
274084     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 
274147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
274147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
274147     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 
274216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
274216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
274216     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 
274262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
274262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
274278     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 
274325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
274325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
274341     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 
274387     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 
274450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
274450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
274481     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 
274544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
274559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms