TestTermParser

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

tests
0

failures
4

ignored
0.213s

duration
100%

successful

Tests

Test Duration Result
test1() 0.002s passed
test10() 0.003s passed
test11() 0.001s passed
test12() - ignored
test13() 0.005s passed
test14() 0.002s passed
test1a() 0.002s passed
test2() 0.002s passed
test3() 0.002s passed
test5() 0.002s passed
test6() 0.001s passed
test7() 0.003s passed
test8() 0.008s passed
test9() 0.002s passed
testAmbigiousFuncVarPred() 0.001s passed
testAttributeOnObject() 0.002s passed
testAttributeWithSpecifiedSortOnObject() 0.005s 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.002s passed
testBindingUpdateTerm_8() 0.002s passed
testCast() 0.001s passed
testIfThenElse() 0.001s passed
testInfix1() 0.002s passed
testInfix2() 0.001s passed
testInfix3() 0.002s passed
testInfix4() 0.002s passed
testJavaAttributeAccessBoth_1() 0.003s passed
testJavaAttributeAccessBoth_2() 0.003s passed
testJavaAttributeAccessBoth_3() 0.002s passed
testJavaAttributeAccess_4() 0.002s passed
testJavaQueryAndAttribute_all() - ignored
testJavaStaticQuery() 0.004s passed
testJavaStaticQueryWithParameter() 0.004s passed
testNegativeLiteralParsing1() 0.001s passed
testNegativeLiteralParsing2() 0.001s passed
testNegativeLiteralParsing3() 0.001s passed
testNotEqual() 0.002s passed
testParsingArray() 0.004s passed
testParsingArrayCombination() 0.004s passed
testProgramVariables() 0.114s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

297195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297195     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297197     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 
297286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
297286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297400     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 
297486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297491     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 
297577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297579     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 
297671     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 
297756     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297758     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
297759     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 
297844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
297844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297845     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
297846     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 
297930     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 
298015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298020     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 
298106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298108     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
298108     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 
298193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298195     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 
298281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298283     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 
298368     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298368     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298370     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 
298454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
298454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298455     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 
298539     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
298541     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 
298625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298625     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298626     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 
298710     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 
298795     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298796     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 
298883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298884     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 
298970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298972     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 
299057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299059     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 
299146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299148     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 
299238     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299238     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299240     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 
299326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299330     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 
299423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299431     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 
299525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299527     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 
299612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299614     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 
299698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299703     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 
299792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299794     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 
299887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299889     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 
299975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
299975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299977     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 
300063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300065     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 
300152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300153     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 
300239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
300239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300241     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 
300326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300329     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 
300414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
300414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300416     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 
300502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
300502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300503     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 
300587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
300591     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 
300675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300676     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 
300763     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300763     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300765     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 
300850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
300850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300851     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 
300938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300940     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 
301026     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301026     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301028     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 
301113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301117     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 
301200     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 
301286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301290     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 
301376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms