TestTermParser

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

tests
0

failures
4

ignored
0.174s

duration
100%

successful

Tests

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

Standard output

323177     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323179     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 
323242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
323288     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 
323346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323350     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 
323412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323413     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 
323470     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 
323527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
323529     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
323530     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 
323590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323591     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
323592     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 
323657     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 
323724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323729     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 
323787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323789     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
323791     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 
323851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323854     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 
323922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323924     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 
323983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323985     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 
324042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324044     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 
324101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324102     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 
324163     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324163     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324164     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 
324229     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 
324289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324290     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 
324352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324354     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 
324419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324421     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 
324483     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324483     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324485     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 
324544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324546     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 
324607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324609     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 
324670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
324670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324672     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 
324750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324752     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 
324818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324820     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 
324883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324886     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 
324957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324960     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 
325031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325032     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325033     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 
325098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325101     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 
325164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325169     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 
325234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325236     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 
325300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325302     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 
325362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325363     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325365     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 
325432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
325432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325435     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 
325497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325503     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 
325568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325570     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 
325645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325654     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 
325715     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325717     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 
325781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325784     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 
325865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325867     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 
325933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325934     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325938     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 
326003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326005     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 
326073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326076     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 
326139     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 
326207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326211     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 
326280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms