org.eclipse.epsilon.hutn.validation.model

Class UnchangeableReferencesNeedNotSpecifyAValue

java.lang.Object

org.eclipse.epsilon.hutn.test.model.HutnTestWithFamiliesMetaModel

org.eclipse.epsilon.hutn.validation.model.HutnModelValidationTest

org.eclipse.epsilon.hutn.validation.model.UnchangeableReferencesNeedNotSpecifyAValue

public class UnchangeableReferencesNeedNotSpecifyAValue
extends HutnModelValidationTest

The dogs reference of the Family class requires a value (its lowerbound is 1), but it is not changeable, so no value should be specified in HUTN.

Author:

louis

Field Summary

Fields inherited from class org.eclipse.epsilon.hutn.validation.model.HutnModelValidationTest

problems

Fields inherited from class org.eclipse.epsilon.hutn.test.model.HutnTestWithFamiliesMetaModel

BANK_ACCOUNTS_MODEL_URI, CONFIG_FILE

Constructor Summary

Constructors

Constructor and Description
UnchangeableReferencesNeedNotSpecifyAValue()

Method Summary

Modifier and Type	Method and Description
static void	validateModel()
void	validationShouldReportNoProblems()

Methods inherited from class org.eclipse.epsilon.hutn.validation.model.HutnModelValidationTest

modelValidationTest

Methods inherited from class org.eclipse.epsilon.hutn.test.model.HutnTestWithFamiliesMetaModel

families, registerMetaModels, unregisterMetaModels

Methods inherited from class java.lang.Object

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

Constructor Detail

UnchangeableReferencesNeedNotSpecifyAValue

public UnchangeableReferencesNeedNotSpecifyAValue()

Method Detail

validateModel

public static void validateModel()
                          throws Exception

Throws:

Exception

validationShouldReportNoProblems

public void validationShouldReportNoProblems()