Package org.intocps.maestro.modeldefinitionchecker

Class VdmSvChecker

java.lang.Object

org.intocps.maestro.modeldefinitionchecker.VdmSvChecker

public class VdmSvChecker
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	VdmSvChecker.ScalarVariableConfigException

Constructor Summary

Constructors

Constructor	Description
VdmSvChecker()

Method Summary

Modifier and Type	Method	Description
static List<org.intocps.maestro.fmi.Fmi2ModelDescription.ScalarVariable>	validateModelVariables(List<org.intocps.maestro.fmi.Fmi2ModelDescription.ScalarVariable> modelVariables)

Methods inherited from class java.lang.Object

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

Constructor Details

VdmSvChecker

public VdmSvChecker()

Method Details

validateModelVariables

public static List<org.intocps.maestro.fmi.Fmi2ModelDescription.ScalarVariable> validateModelVariables(List<org.intocps.maestro.fmi.Fmi2ModelDescription.ScalarVariable> modelVariables)
                                                                                                throws VdmSvChecker.ScalarVariableConfigException

Throws:

VdmSvChecker.ScalarVariableConfigException