Orch.Type (A VDM model checker for Model Definition 2.1.6 API)

java.lang.Object
- org.intocps.fmichecker.Orch.Type

All Implemented Interfaces:

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

Enclosing class:

Orch
```
public static class Orch.Type
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 startValue

java.lang.Object type

Constructor Summary

Constructors
Constructor Description

Type(java.lang.Object _type, java.lang.Object _startValue)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Orch.Type`	`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
  - type
```
public java.lang.Object type
```
  - startValue
```
public java.lang.Object startValue
```
- Constructor Detail
  - Type
```
public Type(java.lang.Object _type,
            java.lang.Object _startValue)
```
- 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.Type 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