TestTermParser

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

tests
0

failures
4

ignored
0.141s

duration
100%

successful

Tests

Test Duration Result
test1() 0.002s passed
test10() 0.003s passed
test11() 0.001s passed
test12() - ignored
test13() 0.003s 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.002s passed
test8() 0.002s passed
test9() 0.001s passed
testAmbigiousFuncVarPred() 0.001s passed
testAttributeOnObject() 0.003s passed
testAttributeWithSpecifiedSortOnObject() 0.005s passed
testBindingUpdateTerm() 0.001s passed
testBindingUpdateTerm_1() 0.001s passed
testBindingUpdateTerm_3() 0.003s passed
testBindingUpdateTerm_4() 0.002s passed
testBindingUpdateTerm_5() 0.001s passed
testBindingUpdateTerm_6() 0.001s passed
testBindingUpdateTerm_7() 0.002s passed
testBindingUpdateTerm_8() 0.002s passed
testCast() 0.001s passed
testIfThenElse() 0.001s passed
testInfix1() 0.002s 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.002s passed
testJavaAttributeAccess_4() 0.002s passed
testJavaQueryAndAttribute_all() - ignored
testJavaStaticQuery() 0.003s passed
testJavaStaticQueryWithParameter() 0.003s passed
testNegativeLiteralParsing1() 0s passed
testNegativeLiteralParsing2() 0.001s passed
testNegativeLiteralParsing3() 0.003s passed
testNotEqual() 0.002s passed
testParsingArray() 0.003s passed
testParsingArrayCombination() 0.002s passed
testProgramVariables() 0.058s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

265850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
265850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265852     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 
265930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265988     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 
266064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266070     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 
266148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
266148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266149     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 
266226     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 
266311     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266311     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266312     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
266313     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 
266389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266390     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
266390     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 
266464     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 
266537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266541     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 
266617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
266617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266618     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
266619     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 
266697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266699     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 
266775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266778     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 
266849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266852     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 
266923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266924     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 
266999     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266999     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267001     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 
267089     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267089     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267091     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 
267166     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 
267240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
267240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267240     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 
267312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267313     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 
267387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267389     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 
267468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267469     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 
267545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267547     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 
267621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267623     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 
267697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267698     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 
267775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267777     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 
267858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267859     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 
267942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267944     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 
268023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268026     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 
268111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268112     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 
268195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268197     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 
268278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268280     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 
268356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268358     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 
268436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268438     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 
268509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268512     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 
268585     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
268585     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268587     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 
268660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268662     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 
268737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
268737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268738     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 
268814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268816     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 
268892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268894     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 
268976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
268978     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 
269056     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269056     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269058     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 
269137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269138     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 
269213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
269213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269214     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 
269290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269293     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 
269368     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 
269441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269444     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 
269516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms