| java.lang.Object de.uka.ilkd.key.util.DesignTests
DesignTests | public class DesignTests (Code) | | This class tests, if design principles have been hurt. Therefore it
makes use of reflection.
|
Constructor Summary | |
public | DesignTests() Creates an instance used to test if design principles have been
hurt. |
DesignTests | public DesignTests()(Code) | | Creates an instance used to test if design principles have been
hurt.
Parameters: binaryPath - String with path to allclassname.class files to test |
getAllClasses | public static Class[] getAllClasses(File topDir)(Code) | | iterates through the directory structure starting at
topDir and collects all found
classes.
Parameters: topDir - File giving the directory where to start theiteration all found classes including the ones intopDir |
runTests | public void runTests()(Code) | | |
testConstructorInOpSubclasses | public LinkedList testConstructorInOpSubclasses()(Code) | | subclass of Op should have at most package private constructors
(exception: metaop)
|
testTermSubclassVisibility | public LinkedList testTermSubclassVisibility()(Code) | | subclass of Term must be private or package private
|
|
|