org.idris.rts

Class IdrisObject

java.lang.Object

org.idris.rts.IdrisObject

public class IdrisObject
extends Object

Idris data types with a constructor function id and references in them.

Author:

Jan

Constructor Summary

Constructors

Constructor and Description
IdrisObject(int constructorId, Object... data) Create a new Idris data object.

Method Summary

Methods

Modifier and Type	Method and Description
int	getConstructorId() Get the constructor id.
Object[]	getData() Get the data stored in this object.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IdrisObject

public IdrisObject(int constructorId,
           Object... data)

Create a new Idris data object.

Parameters:

constructorId - id of the chosen constructor

data - member data

Method Detail

getConstructorId

public int getConstructorId()

Get the constructor id.

Returns:

id of the constructor chosen for this object

getData

public Object[] getData()

Get the data stored in this object.

Returns:

data passed to the constructor function