Package org.intocps.fmichecker

Class Orch

java.lang.Object

org.intocps.fmichecker.Orch

public final class Orch
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Orch.SV
static class	Orch.SV_X_
static class	Orch.Type

Method Summary

Modifier and Type	Method	Description
static org.overture.codegen.runtime.VDMSet	allC()
static org.overture.codegen.runtime.VDMSet	allCV()
static org.overture.codegen.runtime.VDMSet	allCVI()
static org.overture.codegen.runtime.VDMSet	allCVIT()
static org.overture.codegen.runtime.VDMSet	allI()
static org.overture.codegen.runtime.VDMSet	allSv()
static org.overture.codegen.runtime.VDMSet	allSV_X_()
static org.overture.codegen.runtime.VDMSet	allT()
static org.overture.codegen.runtime.VDMSet	allV()
static Object	CalcInitial(Object c, Object v)
static org.overture.codegen.runtime.Tuple	CausalityVariabilityOk(Object c, Object v)
static String	ErrorMsg(Object c, Object v)
static org.overture.codegen.runtime.Tuple	InitialOk(Object c, Object v, Object i)
static Orch.SV_X_	InitSV(Orch.SV sv)
static String	InvalidStartValueToStr(Boolean b, Object c, Object v, Object i)
static org.overture.codegen.runtime.Tuple	StartValueOk(Object c, Object v, Object i, Orch.Type t)
String	toString()
static org.overture.codegen.runtime.Tuple	TypeOk(Orch.Type ty)
static org.overture.codegen.runtime.Tuple	TypeVariability(Object v, Orch.Type t)
static org.overture.codegen.runtime.Tuple	Validate(Orch.SV_X_ sv_X_)
static Boolean	ValidCV(Object c, Object v)
static Boolean	ValidCVI(Object c, Object v, Object i)
static String	ValidSettingsToStr(Object c, Object v)
static Boolean	ValidStart(Object c, Object v, Object i, Orch.Type t)
static org.overture.codegen.runtime.VDMSet	ValidVariabilities(Object c)

Methods inherited from class java.lang.Object

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

Method Detail

TypeOk

public static org.overture.codegen.runtime.Tuple TypeOk(Orch.Type ty)

CalcInitial

public static Object CalcInitial(Object c,
                                 Object v)

InitSV

public static Orch.SV_X_ InitSV(Orch.SV sv)

TypeVariability

public static org.overture.codegen.runtime.Tuple TypeVariability(Object v,
                                                                 Orch.Type t)

ValidSettingsToStr

public static String ValidSettingsToStr(Object c,
                                        Object v)

CausalityVariabilityOk

public static org.overture.codegen.runtime.Tuple CausalityVariabilityOk(Object c,
                                                                        Object v)

ValidCV

public static Boolean ValidCV(Object c,
                              Object v)

ErrorMsg

public static String ErrorMsg(Object c,
                              Object v)

ValidVariabilities

public static org.overture.codegen.runtime.VDMSet ValidVariabilities(Object c)

InitialOk

public static org.overture.codegen.runtime.Tuple InitialOk(Object c,
                                                           Object v,
                                                           Object i)

ValidCVI

public static Boolean ValidCVI(Object c,
                               Object v,
                               Object i)

StartValueOk

public static org.overture.codegen.runtime.Tuple StartValueOk(Object c,
                                                              Object v,
                                                              Object i,
                                                              Orch.Type t)

ValidStart

public static Boolean ValidStart(Object c,
                                 Object v,
                                 Object i,
                                 Orch.Type t)

InvalidStartValueToStr

public static String InvalidStartValueToStr(Boolean b,
                                            Object c,
                                            Object v,
                                            Object i)

Validate

public static org.overture.codegen.runtime.Tuple Validate(Orch.SV_X_ sv_X_)

allSv

public static org.overture.codegen.runtime.VDMSet allSv()

allC

public static org.overture.codegen.runtime.VDMSet allC()

allV

public static org.overture.codegen.runtime.VDMSet allV()

allI

public static org.overture.codegen.runtime.VDMSet allI()

allT

public static org.overture.codegen.runtime.VDMSet allT()

allCV

public static org.overture.codegen.runtime.VDMSet allCV()

allCVI

public static org.overture.codegen.runtime.VDMSet allCVI()

allCVIT

public static org.overture.codegen.runtime.VDMSet allCVIT()

allSV_X_

public static org.overture.codegen.runtime.VDMSet allSV_X_()

toString

public String toString()

Overrides:

toString in class Object