Package org.intocps.fmichecker

Class Orch.SV_X_

java.lang.Object

org.intocps.fmichecker.Orch.SV_X_

All Implemented Interfaces:

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

Enclosing class:

Orch

public static class Orch.SV_X_
extends java.lang.Object
implements org.overture.codegen.runtime.Record

See Also:

Serialized Form

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor	Description
SV_X_(java.lang.Object _causality, java.lang.Object _variability, java.lang.Object _initial, Orch.Type _type)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

causality

public java.lang.Object causality

variability

public java.lang.Object variability

initial

public java.lang.Object initial

type

public Orch.Type type

Constructor Detail

SV_X_

public SV_X_(java.lang.Object _causality,
             java.lang.Object _variability,
             java.lang.Object _initial,
             Orch.Type _type)

Method Detail

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

copy

public Orch.SV_X_ copy()

Specified by:

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

Specified by:

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object