TestTermParser

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

tests
0

failures
4

ignored
0.241s

duration
100%

successful

Tests

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

Standard output

357540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357540     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 
357665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357743     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 
357821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357837     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 
357903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357903     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 
357966     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 
358029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358029     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
358029     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 
358091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358091     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
358107     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 
358172     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 
358234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358250     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 
358317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358317     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
358317     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 
358380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358396     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 
358458     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358458     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358458     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 
358521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358521     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 
358583     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
358599     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 
358662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358662     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 
358724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358724     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 
358787     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 
358849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358849     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 
358927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358927     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 
358990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358990     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 
359052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359052     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 
359115     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359115     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359115     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 
359183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359183     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 
359246     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359261     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 
359324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359324     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 
359399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359399     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 
359462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359462     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 
359540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359540     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 
359602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359602     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 
359681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359681     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 
359759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359759     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 
359821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359821     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 
359884     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359884     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359899     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 
359962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359962     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 
360024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360040     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 
360103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360103     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 
360165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360165     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 
360243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360243     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 
360321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360321     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 
360384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360384     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 
360462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360462     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 
360524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360524     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 
360603     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360603     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360603     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 
360681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360681     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 
360743     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 
360822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
360822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360837     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 
360915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms