Constant Field Values

Contents

• nz.ac.*

nz.ac.*

nz.ac.waikato.jdsl.core.ref.ArrayHeap

public static final int

defaultInitialCapacity

8

nz.ac.waikato.jdsl.core.ref.RedBlackTree

public static final int	BLACK	1
public static final int	DOUBLEBLACK	2
public static final int	RED	0

nz.ac.waikato.jdsl.graph.api.EdgeDirection

public static final int	IN	1
public static final int	OUT	2
public static final int	UNDIR	4

nz.ac.waikato.modeljunit.ModelTestCase

public static final double	DEFAULT_RESET_PROBABILITY	0.05
public static final long	FIXEDSEED	123456789L

nz.ac.waikato.modeljunit.RandomTester

public static final double

DEFAULT_RESET_PROBABILITY

0.05

nz.ac.waikato.modeljunit.Tester

public static final long

FIXEDSEED

123456789L

nz.ac.waikato.modeljunit.examples.SizeExperiments

public static final double

RUNS

100.0

nz.ac.waikato.modeljunit.examples.SmartSetAdaptor

protected final int

S2_STRINGS

12

nz.ac.waikato.modeljunit.examples.ecinema.Showtime

public static final int

DATE_CORRECT

1

nz.ac.waikato.modeljunit.examples.gsm.GSM11Impl

public static final int	MF	16128
public static final int	PERM_ADM	4
public static final int	PERM_ALWAYS	0
public static final int	PERM_CHV1	1
public static final int	PERM_NEVER	15

nz.ac.waikato.modeljunit.examples.gsm.SimCard

public static final int	Max_Pin_Try	3
public static final int	Max_Puk_Try	10
protected static final int	PUK	22

nz.ac.waikato.modeljunit.gui.ModelJUnitGUI

public static final java.lang.String

MODELJUNIT_VERSION

"2.0"

nz.ac.waikato.modeljunit.gui.OptionPanelCreator

public static final int

NUM_PANE

3

nz.ac.waikato.modeljunit.gui.Parameter

public static final int

NUM_COVERAGE

5

nz.ac.waikato.modeljunit.gui.TestExeModel

public static final int

COVERAGE_NUM

4

nz.ac.waikato.modeljunit.gui.visualisaton.EdgeDisplayPredicate<V,E>

protected static final int

MIN_DEGREE

1

nz.ac.waikato.modeljunit.gui.visualisaton.VertexDisplayPredicate<V,E>

protected static final int

MIN_DEGREE

1