TestJavaInfo

all > de.uka.ilkd.key.java > TestJavaInfo
9

tests
0

failures
0

ignored
0.024s

duration
100%

successful

Tests

Test Duration Result
testFindArrayLength() 0.001s passed
testFindAttributesLocallyDeclaredOnly() 0.002s passed
testFindImplicitAttributesForClassTypesOnly() 0.002s passed
testGetAllSubtypes() 0.002s passed
testGetAllSupertypes() 0.005s passed
testGetCommonSubtypes() 0.007s passed
testGetPrimitiveKJT() 0.002s passed
testRetrieveArrayTypeByAlternativeName() 0.001s passed
testRetrieveArrayTypeByJLSName() 0.002s passed

Standard error

8546       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
8671       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
8671       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
8671       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
8671       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
8671       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
8687       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
8735       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
8750       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
8859       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String