TestTermParser

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

tests
0

failures
4

ignored
0.180s

duration
100%

successful

Tests

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

Standard output

306984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
306984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306985     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 
307075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
307075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307140     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 
307217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307218     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
307223     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 
307301     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307301     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307302     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 
307382     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 
307459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
307461     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
307462     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 
307541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307542     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
307543     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 
307621     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 
307699     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307704     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 
307784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307786     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
307787     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 
307869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307873     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 
307953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307957     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 
308038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308041     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 
308121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308122     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 
308203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308204     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 
308284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308286     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 
308378     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 
308458     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
308458     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308459     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 
308540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308542     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 
308621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308622     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 
308702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
308702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308703     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 
308782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308784     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 
308868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308872     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 
308952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
308952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308953     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 
309034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309037     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 
309125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
309127     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 
309207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309209     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 
309290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
309290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309293     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 
309378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
309378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309382     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 
309461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309464     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 
309545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
309548     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 
309631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309634     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 
309712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309715     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 
309796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
309796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309799     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 
309883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309886     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 
309966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
309969     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 
310050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310055     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 
310138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310142     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 
310224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
310224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310225     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 
310305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310307     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 
310391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310394     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 
310476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310479     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 
310558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
310558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310561     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 
310642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310648     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 
310734     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 
310846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
310846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310850     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 
310937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms