JaCoP.fz
Class ArrayAccess

java.lang.Object
  JaCoP.fz.ArrayAccess

public class ArrayAccess
extends java.lang.Object

It stores information about a single array access encountered during parsing flatzinc file.

Author:

Krzysztof Kuchcinski

Constructor Summary

ArrayAccess(java.lang.String id, int index)
It creates an array access storage object.

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ArrayAccess

public ArrayAccess(java.lang.String id,
                   int index)

It creates an array access storage object.

Parameters:

id - the string describing identity of the array being accessed.

index - the index of the element being accessed.

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object