TestTermParser

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

tests
0

failures
4

ignored
0.277s

duration
100%

successful

Tests

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

Standard output

351241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351241     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 
351335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351413     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 
351523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351523     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 
351618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351633     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 
351726     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 
351820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351836     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
351836     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 
351930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351930     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
351930     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 
352039     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 
352133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352148     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 
352243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352243     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
352243     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 
352351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352351     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 
352461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352461     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 
352571     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352571     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352571     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 
352680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352680     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 
352836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352836     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 
352946     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352946     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352946     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 
353040     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 
353149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353149     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 
353244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353244     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353244     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 
353352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353352     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 
353446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353446     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 
353556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353556     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 
353649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353665     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 
353774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353774     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 
353868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353868     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 
353962     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353962     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 
354071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354071     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 
354165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354165     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 
354260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354260     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 
354369     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354369     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354369     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 
354463     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354463     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354478     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 
354572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354572     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 
354666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354682     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 
354775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354775     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 
354869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354869     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 
354963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354963     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 
355057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355072     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 
355150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355166     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 
355260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355260     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 
355370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355370     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 
355479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355479     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 
355573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355573     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 
355682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355682     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 
355776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355776     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 
355886     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 
355995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356042     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 
356136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms