TestTermParser

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

tests
0

failures
4

ignored
0.173s

duration
100%

successful

Tests

Test Duration Result
test1() 0.003s passed
test10() 0.004s passed
test11() 0.002s passed
test12() - ignored
test13() 0.006s passed
test14() 0.003s passed
test1a() 0.003s passed
test2() 0.002s passed
test3() 0.002s passed
test5() 0.003s passed
test6() 0.002s passed
test7() 0.003s passed
test8() 0.003s passed
test9() 0.003s passed
testAmbigiousFuncVarPred() 0.001s passed
testAttributeOnObject() 0.003s passed
testAttributeWithSpecifiedSortOnObject() 0.005s passed
testBindingUpdateTerm() 0.002s passed
testBindingUpdateTerm_1() 0.003s passed
testBindingUpdateTerm_3() 0.005s passed
testBindingUpdateTerm_4() 0.002s passed
testBindingUpdateTerm_5() 0.003s passed
testBindingUpdateTerm_6() 0.003s passed
testBindingUpdateTerm_7() 0.002s passed
testBindingUpdateTerm_8() 0.003s passed
testCast() 0.002s 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.002s passed
testJavaAttributeAccessBoth_3() 0.005s passed
testJavaAttributeAccess_4() 0.004s passed
testJavaQueryAndAttribute_all() - ignored
testJavaStaticQuery() 0.003s passed
testJavaStaticQueryWithParameter() 0.004s passed
testNegativeLiteralParsing1() 0.002s passed
testNegativeLiteralParsing2() 0.001s passed
testNegativeLiteralParsing3() 0.003s passed
testNotEqual() 0.003s passed
testParsingArray() 0.004s passed
testParsingArrayCombination() 0.003s passed
testProgramVariables() 0.055s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

362406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362409     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 
362482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362537     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 
362615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362620     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 
362693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362694     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
362695     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 
362764     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 
362835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
362835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362837     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
362839     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 
362910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
362910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362911     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
362913     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 
362983     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 
363054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363060     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 
363134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
363137     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
363138     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 
363206     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
363210     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 
363302     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
363302     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363305     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 
363380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
363380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363383     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 
363477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363478     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 
363569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
363569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363570     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 
363642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363644     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 
363715     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 
363785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363787     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 
363859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363861     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 
363947     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
363947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363949     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 
364021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
364024     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 
364095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
364099     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 
364165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364168     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 
364239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364242     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 
364321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364324     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 
364399     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364399     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364402     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 
364479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
364482     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 
364548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364550     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 
364614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364616     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 
364683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364685     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 
364756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364758     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 
364826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
364829     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 
364897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364899     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 
365021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365024     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 
365093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365096     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 
365162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365163     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365166     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 
365240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365243     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 
365312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
365313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365316     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 
365386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365388     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 
365464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365466     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 
365537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365539     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 
365612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
365614     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 
365693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365696     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 
365766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365770     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 
365843     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 
365913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365918     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 
365994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms