Package org.intocps.maestro.modeldefinitionchecker

Class VdmSvChecker

java.lang.Object

org.intocps.maestro.modeldefinitionchecker.VdmSvChecker

public class VdmSvChecker
extends java.lang.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 java.util.List<org.intocps.maestro.fmi.Fmi2ModelDescription.ScalarVariable>	validateModelVariables(java.util.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 Detail

VdmSvChecker

public VdmSvChecker()

Method Detail

validateModelVariables

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

Throws:

VdmSvChecker.ScalarVariableConfigException