Package org.intocps.fmichecker

Class Orch.Type

java.lang.Object

org.intocps.fmichecker.Orch.Type

All Implemented Interfaces:

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

Enclosing class:

Orch

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

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
Object	startValue
Object	type

Constructor Summary

Constructors

Constructor	Description
Type(Object _type, Object _startValue)

Method Summary

Modifier and Type	Method	Description
Orch.Type	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

type

public Object type

startValue

public Object startValue

Constructor Details

Type

public Type(Object _type,
 Object _startValue)

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.Type 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