TestTermParser

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

tests
0

failures
4

ignored
0.161s

duration
100%

successful

Tests

Test Duration Result
test1() 0.001s passed
test10() 0.004s passed
test11() 0.007s passed
test12() - ignored
test13() 0.004s passed
test14() 0.002s passed
test1a() 0.002s passed
test2() 0.002s passed
test3() 0.002s passed
test5() 0.001s passed
test6() 0.002s passed
test7() 0.001s passed
test8() 0.002s passed
test9() 0.001s passed
testAmbigiousFuncVarPred() 0.001s passed
testAttributeOnObject() 0.003s passed
testAttributeWithSpecifiedSortOnObject() 0.004s passed
testBindingUpdateTerm() 0.002s passed
testBindingUpdateTerm_1() 0.002s passed
testBindingUpdateTerm_3() 0.003s passed
testBindingUpdateTerm_4() 0.001s passed
testBindingUpdateTerm_5() 0.002s passed
testBindingUpdateTerm_6() 0.002s passed
testBindingUpdateTerm_7() 0.001s passed
testBindingUpdateTerm_8() 0.002s passed
testCast() 0.001s passed
testIfThenElse() 0.001s passed
testInfix1() 0.001s passed
testInfix2() 0.002s passed
testInfix3() 0.002s passed
testInfix4() 0.002s passed
testJavaAttributeAccessBoth_1() 0.002s passed
testJavaAttributeAccessBoth_2() 0.003s passed
testJavaAttributeAccessBoth_3() 0.003s passed
testJavaAttributeAccess_4() 0.002s passed
testJavaQueryAndAttribute_all() - ignored
testJavaStaticQuery() 0.003s passed
testJavaStaticQueryWithParameter() 0.004s passed
testNegativeLiteralParsing1() 0.001s passed
testNegativeLiteralParsing2() 0.002s passed
testNegativeLiteralParsing3() 0.001s passed
testNotEqual() 0.004s passed
testParsingArray() 0.003s passed
testParsingArrayCombination() 0.002s passed
testProgramVariables() 0.067s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

320534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 2 ms 
320534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320536     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 
320625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320625     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320692     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 
320783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320788     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 
320876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320877     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 
320962     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 
321047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321048     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321050     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
321051     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 
321137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321138     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
321144     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 
321229     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 
321317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
321317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321321     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 
321409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321411     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
321412     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 
321498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321500     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 
321586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321589     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 
321674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321678     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 
321762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321763     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
321763     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 
321849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321851     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 
321937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321938     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 
322024     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 
322109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322110     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
322110     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 
322196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322198     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 
322283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322285     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 
322370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322372     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 
322457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322458     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
322459     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 
322545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322546     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 
322632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322633     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 
322719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322721     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 
322807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322808     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 
322894     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322894     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322896     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 
322981     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322981     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322984     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 
323070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
323070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323071     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 
323157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323159     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 
323244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323246     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 
323332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323334     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 
323419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323420     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
323421     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 
323506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
323509     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 
323595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323598     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 
323683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323686     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 
323771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323773     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 
323859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
323859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323862     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 
323948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
323949     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 
324036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
324036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324037     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 
324124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324126     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 
324212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
324212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324213     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 
324299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324301     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 
324387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324390     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 
324476     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 
324562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324566     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 
324651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms