TestJavaInfo

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

tests
0

failures
0

ignored
0.016s

duration
100%

successful

Tests

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

Standard output

42296      DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\javainfo\testJavaInfo.key 
42312      DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
42312      DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
44891      DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\javainfo\testJavaInfo.key