Package org.intocps.fmichecker

Class Orch.SV

java.lang.Object

org.intocps.fmichecker.Orch.SV

All Implemented Interfaces:

Serializable, org.overture.codegen.runtime.Record, org.overture.codegen.runtime.ValueType

Enclosing class:

Orch

public static class Orch.SV
extends Object
implements org.overture.codegen.runtime.Record

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
Object	causality
Object	initial
Orch.Type	type
Object	variability

Constructor Summary

Constructors

Constructor	Description
SV(Object _causality, Object _variability, Object _initial, Orch.Type _type)

Method Summary

Modifier and Type	Method	Description
Orch.SV	copy()
boolean	equals(Object obj)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

causality

public Object causality

variability

public Object variability

initial

public Object initial

type

public Orch.Type type

Constructor Details

SV

public SV(Object _causality,
 Object _variability,
 Object _initial,
 Orch.Type _type)

Method Details

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

copy

public Orch.SV copy()

Specified by:

copy in interface org.overture.codegen.runtime.Record

Specified by:

copy in interface org.overture.codegen.runtime.ValueType

toString

public String toString()

Overrides:

toString in class Object