TestTermParser

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

tests
0

failures
4

ignored
0.169s

duration
100%

successful

Tests

Test Duration Result
test1() 0.002s passed
test10() 0.003s passed
test11() 0.002s passed
test12() - ignored
test13() 0.005s passed
test14() 0.002s passed
test1a() 0.002s passed
test2() 0.002s passed
test3() 0.001s passed
test5() 0.002s passed
test6() 0.002s passed
test7() 0.001s passed
test8() 0.001s passed
test9() 0.001s passed
testAmbigiousFuncVarPred() 0.001s passed
testAttributeOnObject() 0.002s passed
testAttributeWithSpecifiedSortOnObject() 0.007s passed
testBindingUpdateTerm() 0.001s passed
testBindingUpdateTerm_1() 0.002s passed
testBindingUpdateTerm_3() 0.004s 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.003s passed
testIfThenElse() 0.002s passed
testInfix1() 0.001s passed
testInfix2() 0.002s passed
testInfix3() 0.002s passed
testInfix4() 0.002s passed
testJavaAttributeAccessBoth_1() 0.002s passed
testJavaAttributeAccessBoth_2() 0.002s passed
testJavaAttributeAccessBoth_3() 0.002s passed
testJavaAttributeAccess_4() 0.002s passed
testJavaQueryAndAttribute_all() - ignored
testJavaStaticQuery() 0.003s passed
testJavaStaticQueryWithParameter() 0.003s passed
testNegativeLiteralParsing1() 0.001s passed
testNegativeLiteralParsing2() 0.001s passed
testNegativeLiteralParsing3() 0.001s passed
testNotEqual() 0.001s passed
testParsingArray() 0.003s passed
testParsingArrayCombination() 0.011s passed
testProgramVariables() 0.073s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

296700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
296707     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 
296800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296873     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 
296964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296970     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 
297063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297066     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 
297157     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 
297245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297246     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
297247     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
297248     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 
297336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297338     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
297338     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 
297427     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 
297515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297520     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 
297609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297611     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
297611     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 
297700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297703     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 
297791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
297794     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 
297882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
297885     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 
297973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297974     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 
298062     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
298062     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298063     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 
298151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
298153     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 
298242     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 
298331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298332     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 
298421     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
298421     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298422     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 
298510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298512     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 
298599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298601     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 
298689     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298689     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298691     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 
298778     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298780     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 
298867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298869     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 
298957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298958     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 
299047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
299047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299048     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 
299136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299138     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 
299226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299229     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 
299316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
299316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299317     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 
299405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299407     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 
299495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
299495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299497     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 
299585     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299585     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299587     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 
299676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299678     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 
299766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299768     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 
299856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299858     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 
300010     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
300010     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300012     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 
300101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300103     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 
300208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300211     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 
300301     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300301     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300302     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 
300392     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300392     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300394     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 
300485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300487     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 
300580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300582     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 
300673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
300675     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 
300765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300768     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 
300858     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 
300946     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300946     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300949     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 
301038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301039     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms