TestTermParser

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

tests
0

failures
4

ignored
0.464s

duration
100%

successful

Tests

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

Standard output

305135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305135     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 
305229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305385     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 
305573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305620     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 
305729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305745     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 
305901     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 
306057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306073     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
306073     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 
306229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306245     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
306260     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 
306417     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 
306573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306604     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 
306792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306808     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
306823     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 
306980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306996     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 
307089     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307089     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307089     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 
307167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307167     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 
307230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307230     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 
307292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307292     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 
307355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307370     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 
307480     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 
307543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307543     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 
307605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307605     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 
307668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307683     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 
307730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307746     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 
307808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307808     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 
307887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307902     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 
307965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307965     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 
308043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308043     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 
308105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308105     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 
308168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308168     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 
308262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308262     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 
308324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308340     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 
308402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308418     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 
308481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308481     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 
308543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308543     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 
308606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308606     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 
308668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308668     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 
308731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308731     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 
308809     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308809     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308809     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 
308872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308872     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 
308934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308934     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308934     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 
308997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308997     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 
309076     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309076     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309076     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 
309138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309138     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 
309216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309216     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 
309279     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309279     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309279     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 
309341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309341     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 
309404     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 
309482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
309482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309498     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 
309560     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309560     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms