TestTermParser

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

tests
0

failures
4

ignored
0.440s

duration
100%

successful

Tests

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

Standard output

306113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306128     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 
306191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306238     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 
306316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306332     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 
306410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306410     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 
306472     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 
306550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
306550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306550     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
306550     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 
306628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306628     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
306628     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 
306692     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 
306785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
306785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306785     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 
306863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306863     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
306863     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 
306957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306957     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 
307035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307035     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 
307098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307098     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 
307176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307176     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 
307239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307239     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 
307332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307332     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 
307395     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 
307473     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307473     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307473     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 
307536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
307551     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 
307614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307614     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 
307676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307676     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 
307739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307754     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 
307817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307817     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 
307896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307896     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 
307973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307973     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 
308051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308051     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 
308114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308114     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 
308177     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308177     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308192     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 
308255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308255     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 
308333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308333     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 
308411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
308411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308411     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 
308474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308474     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308474     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 
308536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308536     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308536     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 
308614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308614     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 
308677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308677     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 
308818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308818     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 
308896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308896     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 
308959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308990     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 
309084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309084     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 
309162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309162     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 
309256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309256     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 
309334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309445     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 
309523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309523     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 
309601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309601     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 
309679     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 
309789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309804     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