TestJavaInfo

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

tests
0

failures
0

ignored
0.017s

duration
100%

successful

Tests

Test Duration Result
testFindArrayLength() 0s passed
testFindAttributesLocallyDeclaredOnly() 0.002s passed
testFindImplicitAttributesForClassTypesOnly() 0.001s passed
testGetAllSubtypes() 0.002s passed
testGetAllSupertypes() 0.001s passed
testGetCommonSubtypes() 0.006s passed
testGetPrimitiveKJT() 0.004s passed
testRetrieveArrayTypeByAlternativeName() 0s passed
testRetrieveArrayTypeByJLSName() 0.001s passed

Standard output

38723      DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\javainfo\testJavaInfo.key 
38723      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 
38739      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 
41278      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