TestTermParser

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

tests
0

failures
4

ignored
0.178s

duration
100%

successful

Tests

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

Standard output

312502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312503     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 
312570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
312572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312626     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 
312695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
312695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312700     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 
312762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
312762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312764     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 
312826     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 
312886     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312893     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
312894     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 
312956     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312956     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312958     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
312958     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 
313023     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 
313087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
313093     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 
313156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313158     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
313158     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 
313222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313223     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
313225     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 
313290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313293     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 
313357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313360     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 
313424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313425     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 
313491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313493     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 
313557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313560     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 
313623     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 
313686     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
313688     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 
313750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313752     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 
313816     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313821     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 
313885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313887     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 
313950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313952     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 
314016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314018     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 
314081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314083     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 
314144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314146     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 
314211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314212     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 
314276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
314278     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 
314358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314361     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 
314429     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314429     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314431     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 
314492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
314492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314494     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 
314554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314560     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 
314627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314629     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 
314700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314705     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 
314769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314774     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 
314837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
314837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314839     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 
314902     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
314905     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 
314970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314973     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 
315045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315048     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315054     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 
315120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
315120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315122     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 
315201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315203     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 
315266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315268     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 
315328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315329     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315330     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 
315393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315395     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 
315458     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315458     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315462     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 
315525     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 
315587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315591     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 
315657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
315657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms