Class DefaultModelChecker
- java.lang.Object
-
- de.gebit.integrity.runner.modelcheck.DefaultModelChecker
-
- All Implemented Interfaces:
ModelChecker
public class DefaultModelChecker extends java.lang.Object implements ModelChecker
Default implementation of aModelChecker
.- Author:
- Rene Schneider - initial API and implementation
-
-
Field Summary
Fields Modifier and Type Field Description protected IntegrityClassLoader
classLoader
The classloader to use for class resolving.protected ModelSourceExplorer
modelSourceExplorer
The model source explorer.
-
Constructor Summary
Constructors Constructor Description DefaultModelChecker()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
check(Call aCall)
Validates a call.void
check(CustomOperation aCustomOperation)
Validates a custom operation.void
check(Suite aSuite)
Validates a suite call.void
check(TableTest aTableTest)
Validates a tabletest.void
check(Test aTest)
Validates a test.protected void
checkEnumValue(EnumValue aValue)
Checks anEnumValue
.protected void
checkNestedObject(NestedObject anObject)
Checks aNestedObject
.protected void
checkOperation(Operation anOperation)
Checks anOperation
.protected void
checkParameters(java.util.List<Parameter> someParameters, java.lang.String aFixtureName)
Checks a list of parameters (of a test or call).protected void
checkSingleFixedNamedResult(FixedResultName aFixedResultName, java.lang.String aTestName)
Checks a single fixed named result of a test.protected void
checkSingleParameterName(ParameterName aParameterName, java.lang.String aTestOrCallName)
Checks a single parameter name of a test or call.protected void
checkTypedNestedObject(TypedNestedObject anObject)
Checks aTypedNestedObject
.protected void
checkValueContainer(Value aValue)
Check aValue
.protected void
checkValueContainer(ValueOrEnumValueOrOperation aValue)
Check aValueOrEnumValueOrOperation
.protected void
checkValueContainer(ValueOrEnumValueOrOperationCollection aValue)
protected void
checkVariable(Variable aVariable)
Checks aVariable
.protected void
checkVariableVariable(VariableVariable aVariable)
Checks aVariableVariable
.
-
-
-
Field Detail
-
classLoader
@Inject protected IntegrityClassLoader classLoader
The classloader to use for class resolving.
-
modelSourceExplorer
@Inject protected ModelSourceExplorer modelSourceExplorer
The model source explorer.
-
-
Method Detail
-
check
public void check(Test aTest) throws ModelRuntimeLinkException
Description copied from interface:ModelChecker
Validates a test.- Specified by:
check
in interfaceModelChecker
- Parameters:
aTest
- the test to check- Throws:
ModelRuntimeLinkException
-
check
public void check(Call aCall) throws ModelRuntimeLinkException
Description copied from interface:ModelChecker
Validates a call.- Specified by:
check
in interfaceModelChecker
- Parameters:
aCall
- the call to check- Throws:
ModelRuntimeLinkException
-
check
public void check(TableTest aTableTest) throws ModelRuntimeLinkException
Description copied from interface:ModelChecker
Validates a tabletest.- Specified by:
check
in interfaceModelChecker
- Parameters:
aTableTest
- the tabletest to check- Throws:
ModelRuntimeLinkException
-
check
public void check(CustomOperation aCustomOperation) throws ModelRuntimeLinkException
Description copied from interface:ModelChecker
Validates a custom operation.- Specified by:
check
in interfaceModelChecker
- Parameters:
aCustomOperation
- the custom operation to check- Throws:
ModelRuntimeLinkException
-
checkParameters
protected void checkParameters(java.util.List<Parameter> someParameters, java.lang.String aFixtureName)
Checks a list of parameters (of a test or call).- Parameters:
someParameters
- a list of parameters to checkaFixtureName
- the fixture name that these parameters belong to (used for error output)
-
checkSingleParameterName
protected void checkSingleParameterName(ParameterName aParameterName, java.lang.String aTestOrCallName)
Checks a single parameter name of a test or call.- Parameters:
aParameterName
- the parameter name to checkaTestOrCallName
- the test/call name that this parameter belongs to (used for error output)
-
checkSingleFixedNamedResult
protected void checkSingleFixedNamedResult(FixedResultName aFixedResultName, java.lang.String aTestName)
Checks a single fixed named result of a test.- Parameters:
aFixedResultName
- the fixed result name to checkaTestName
- the test name that this result belongs to (for error output)
-
check
public void check(Suite aSuite) throws ModelRuntimeLinkException
Description copied from interface:ModelChecker
Validates a suite call.- Specified by:
check
in interfaceModelChecker
- Parameters:
aSuite
- the suite call to check- Throws:
ModelRuntimeLinkException
-
checkValueContainer
protected void checkValueContainer(ValueOrEnumValueOrOperationCollection aValue)
- Parameters:
aValue
-
-
checkValueContainer
protected void checkValueContainer(ValueOrEnumValueOrOperation aValue)
Check aValueOrEnumValueOrOperation
.- Parameters:
aValue
-
-
checkValueContainer
protected void checkValueContainer(Value aValue)
Check aValue
.- Parameters:
aValue
-
-
checkEnumValue
protected void checkEnumValue(EnumValue aValue)
Checks anEnumValue
.- Parameters:
aValue
-
-
checkOperation
protected void checkOperation(Operation anOperation)
Checks anOperation
.- Parameters:
anOperation
-
-
checkVariable
protected void checkVariable(Variable aVariable)
Checks aVariable
.- Parameters:
aVariable
-
-
checkVariableVariable
protected void checkVariableVariable(VariableVariable aVariable)
Checks aVariableVariable
.- Parameters:
aVariable
-
-
checkNestedObject
protected void checkNestedObject(NestedObject anObject)
Checks aNestedObject
.- Parameters:
anObject
-
-
checkTypedNestedObject
protected void checkTypedNestedObject(TypedNestedObject anObject)
Checks aTypedNestedObject
.- Parameters:
anObject
-
-
-