nz.ac.waikato.modeljunit.gui
Class TestExeModel

java.lang.Object
  nz.ac.waikato.modeljunit.gui.TestExeModel

public class TestExeModel
extends java.lang.Object

Field Summary

static java.lang.String[]	COVERAGE_MATRIX
static int	COVERAGE_NUM

Constructor Summary

TestExeModel()

Method Summary

static void	addMethod(java.lang.reflect.Method m)
static java.util.ArrayList<java.lang.reflect.Method>	getMethodList()
static java.lang.Class<?>	getModelClass()
static FsmModel	getModelObject()
static Tester	getTester(int idx)
static int	getWalkLength()
static boolean	isModelLoaded()
static boolean	loadModelClassFromFile() Tries to load an instance of the current model class from a .class file.
static void	reset()
static void	resetModelToNull() If user loaded an invalid model class, the model class and model object have to be reset to null.
static void	runTestAuto() Generate and execute tests automatically.
static void	setAlgorithm(IAlgorithmParameter algo)
static void	setTester(Tester tester, int idx)
static void	setWalkLength(int length)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

COVERAGE_NUM

public static final int COVERAGE_NUM

See Also:

Constant Field Values

COVERAGE_MATRIX

public static final java.lang.String[] COVERAGE_MATRIX

Constructor Detail

TestExeModel

public TestExeModel()

Method Detail

setWalkLength

public static void setWalkLength(int length)

getWalkLength

public static int getWalkLength()

getModelClass

public static java.lang.Class<?> getModelClass()

getModelObject

public static FsmModel getModelObject()

isModelLoaded

public static boolean isModelLoaded()

resetModelToNull

public static void resetModelToNull()

If user loaded an invalid model class, the model class and model object have to be reset to null.

loadModelClassFromFile

public static boolean loadModelClassFromFile()

Tries to load an instance of the current model class from a .class file.

Returns:

true iff successful load with no errors

setTester

public static void setTester(Tester tester,
                             int idx)

getTester

public static Tester getTester(int idx)

setAlgorithm

public static void setAlgorithm(IAlgorithmParameter algo)

addMethod

public static void addMethod(java.lang.reflect.Method m)

getMethodList

public static java.util.ArrayList<java.lang.reflect.Method> getMethodList()

reset

public static void reset()

runTestAuto

public static void runTestAuto()

Generate and execute tests automatically. This is called when the user presses the run button.