Uses of Class org.intocps.maestro.modeldefinitionchecker.VdmSvChecker.ScalarVariableConfigException (A VDM model checker for Model Definition 4.0.1 API)

Packages that use VdmSvChecker.ScalarVariableConfigException

Package

Description

org.intocps.maestro.modeldefinitionchecker

Uses of VdmSvChecker.ScalarVariableConfigException in org.intocps.maestro.modeldefinitionchecker

Methods in org.intocps.maestro.modeldefinitionchecker that throw VdmSvChecker.ScalarVariableConfigException

Modifier and Type

Method

Description

static List<org.intocps.maestro.fmi.Fmi2ModelDescription.ScalarVariable>

VdmSvChecker.validateModelVariables(List<org.intocps.maestro.fmi.Fmi2ModelDescription.ScalarVariable> modelVariables)