| test.org.mandarax.util.AutoFactsTest test.org.mandarax.util.AutoFactsTest2
AutoFactsTest2 | public class AutoFactsTest2 extends AutoFactsTest (Code) | | Test case for auto facts (for precisely, for the clauses() method).
Extension for the Integer type is empty, so no facts should be generated.
See Also: org.mandarax.util.AutoFacts author: Jens Dietrich version: 3.4 <7 March 05> since: 1.2 |
Method Summary | |
protected double[] | getDoubleTestSet() Get the set of double numbers used for testing. | protected int | getExpected() Get the expected number of generated facts. | protected int[] | getIntTestSet() Get the set of int numbers used for testing. |
AutoFactsTest2 | public AutoFactsTest2()(Code) | | Constructor.
|
getDoubleTestSet | protected double[] getDoubleTestSet()(Code) | | Get the set of double numbers used for testing.
an array of doubles |
getExpected | protected int getExpected()(Code) | | Get the expected number of generated facts.
the number of facts expected |
getIntTestSet | protected int[] getIntTestSet()(Code) | | Get the set of int numbers used for testing.
an array of integers |
|
|