Package org.intocps.fmichecker

Class Orch

java.lang.Object

org.intocps.fmichecker.Orch

public final class Orch
extends java.lang.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 java.lang.Object	CalcInitial(java.lang.Object c, java.lang.Object v)
static org.overture.codegen.runtime.Tuple	CausalityVariabilityOk(java.lang.Object c, java.lang.Object v)
static java.lang.String	ErrorMsg(java.lang.Object c, java.lang.Object v)
static org.overture.codegen.runtime.Tuple	InitialOk(java.lang.Object c, java.lang.Object v, java.lang.Object i)
static Orch.SV_X_	InitSV(Orch.SV sv)
static java.lang.String	InvalidStartValueToStr(java.lang.Boolean b, java.lang.Object c, java.lang.Object v, java.lang.Object i)
static org.overture.codegen.runtime.Tuple	StartValueOk(java.lang.Object c, java.lang.Object v, java.lang.Object i, Orch.Type t)
java.lang.String	toString()
static org.overture.codegen.runtime.Tuple	TypeOk(Orch.Type ty)
static org.overture.codegen.runtime.Tuple	TypeVariability(java.lang.Object v, Orch.Type t)
static org.overture.codegen.runtime.Tuple	Validate(Orch.SV_X_ sv_X_)
static java.lang.Boolean	ValidCV(java.lang.Object c, java.lang.Object v)
static java.lang.Boolean	ValidCVI(java.lang.Object c, java.lang.Object v, java.lang.Object i)
static java.lang.String	ValidSettingsToStr(java.lang.Object c, java.lang.Object v)
static java.lang.Boolean	ValidStart(java.lang.Object c, java.lang.Object v, java.lang.Object i, Orch.Type t)
static org.overture.codegen.runtime.VDMSet	ValidVariabilities(java.lang.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 java.lang.Object CalcInitial(java.lang.Object c,
                                           java.lang.Object v)

InitSV

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

TypeVariability

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

ValidSettingsToStr

public static java.lang.String ValidSettingsToStr(java.lang.Object c,
                                                  java.lang.Object v)

CausalityVariabilityOk

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

ValidCV

public static java.lang.Boolean ValidCV(java.lang.Object c,
                                        java.lang.Object v)

ErrorMsg

public static java.lang.String ErrorMsg(java.lang.Object c,
                                        java.lang.Object v)

ValidVariabilities

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

InitialOk

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

ValidCVI

public static java.lang.Boolean ValidCVI(java.lang.Object c,
                                         java.lang.Object v,
                                         java.lang.Object i)

StartValueOk

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

ValidStart

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

InvalidStartValueToStr

public static java.lang.String InvalidStartValueToStr(java.lang.Boolean b,
                                                      java.lang.Object c,
                                                      java.lang.Object v,
                                                      java.lang.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 java.lang.String toString()

Overrides:

toString in class java.lang.Object