TestTermParser

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

tests
0

failures
4

ignored
0.229s

duration
100%

successful

Tests

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

Standard output

285806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285806     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 
285869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285916     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 
285978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285994     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 
286062     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286062     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286062     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 
286113     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 
286176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286176     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
286176     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 
286238     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286238     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286238     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
286254     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 
286301     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 
286371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286371     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 
286434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286434     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
286434     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 
286496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286496     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 
286559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286574     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 
286621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286638     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 
286703     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286703     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286703     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 
286766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286766     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 
286828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286828     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 
286891     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 
286937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286937     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 
287000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287000     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 
287062     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287062     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287062     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 
287125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287141     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 
287198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287198     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 
287260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287260     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 
287323     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287323     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287323     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 
287385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287385     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 
287452     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287452     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287452     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 
287514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287514     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 
287592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287598     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 
287658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287658     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 
287721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287721     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 
287784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287799     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 
287846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287862     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 
287924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287924     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 
287987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287987     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 
288050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288050     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 
288115     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288115     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288115     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 
288178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288178     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 
288240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288256     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 
288318     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288318     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288318     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 
288381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288396     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 
288459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288459     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 
288514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288514     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 
288576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288576     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 
288639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288639     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 
288702     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 
288764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288795     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 
288858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms