JaCoP.fz
Class OutputArrayAnnotation

java.lang.Object
  JaCoP.fz.OutputArrayAnnotation

public class OutputArrayAnnotation
extends java.lang.Object

It stores information about the annotation for an output array.

Author:

Krzysztof Kuchcinski

Constructor Summary

OutputArrayAnnotation(java.lang.String name, java.util.ArrayList<IntDomain> indexBounds)
It constructs and output array annotation.

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

OutputArrayAnnotation

public OutputArrayAnnotation(java.lang.String name,
                             java.util.ArrayList<IntDomain> indexBounds)

It constructs and output array annotation.

Parameters:

name - the name of the output array annotation.

indexBounds - the indexes bounds.

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object