TestTermParser

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

tests
0

failures
4

ignored
0.138s

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.003s passed
test1a() 0.002s passed
test2() 0.001s passed
test3() 0.001s passed
test5() 0.002s passed
test6() 0.002s passed
test7() 0.001s passed
test8() 0.002s passed
test9() 0.001s passed
testAmbigiousFuncVarPred() 0s passed
testAttributeOnObject() 0.003s passed
testAttributeWithSpecifiedSortOnObject() 0.008s passed
testBindingUpdateTerm() 0.001s passed
testBindingUpdateTerm_1() 0.001s passed
testBindingUpdateTerm_3() 0.003s passed
testBindingUpdateTerm_4() 0.001s passed
testBindingUpdateTerm_5() 0.001s passed
testBindingUpdateTerm_6() 0.001s passed
testBindingUpdateTerm_7() 0.002s passed
testBindingUpdateTerm_8() 0.001s passed
testCast() 0.003s passed
testIfThenElse() 0.001s passed
testInfix1() 0.002s passed
testInfix2() 0.001s passed
testInfix3() 0.001s passed
testInfix4() 0.002s passed
testJavaAttributeAccessBoth_1() 0.003s passed
testJavaAttributeAccessBoth_2() 0.003s passed
testJavaAttributeAccessBoth_3() 0.002s passed
testJavaAttributeAccess_4() 0.003s passed
testJavaQueryAndAttribute_all() - ignored
testJavaStaticQuery() 0.002s passed
testJavaStaticQueryWithParameter() 0.003s passed
testNegativeLiteralParsing1() 0.002s passed
testNegativeLiteralParsing2() 0.001s passed
testNegativeLiteralParsing3() 0.002s passed
testNotEqual() 0.002s passed
testParsingArray() 0.002s passed
testParsingArrayCombination() 0.002s passed
testProgramVariables() 0.053s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

253038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
253038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253042     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 
253106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
253106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253158     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 
253221     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
253226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
253229     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 
253296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
253297     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253298     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 
253360     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 
253421     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
253421     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253422     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
253423     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 
253483     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
253483     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253484     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
253492     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 
253560     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 
253623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
253623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253628     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 
253692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
253692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253694     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
253695     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 
253759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
253759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253761     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 
253823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
253823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253826     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 
253889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
253890     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
253892     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 
253957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
253957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253958     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 
254019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254021     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 
254084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
254084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254085     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 
254147     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 
254209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254209     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254210     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 
254272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254273     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 
254336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254338     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 
254398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254400     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 
254505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
254505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254506     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 
254568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254569     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 
254630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254632     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 
254693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254694     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 
254755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254756     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 
254816     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254816     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254817     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 
254877     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254880     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 
254940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254941     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 
255001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255003     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 
255063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255065     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 
255125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
255125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255126     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 
255186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255187     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 
255247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255249     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 
255309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255311     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 
255372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255374     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 
255435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255435     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255437     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 
255497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255500     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 
255562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255563     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 
255624     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255625     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
255626     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 
255687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255689     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 
255750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255751     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 
255812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255814     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 
255876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
255876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255878     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 
255939     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 
256000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
256000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
256002     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 
256064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
256064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms