OutputArrayAnnotation

java.lang.Object
- org.jacop.fz.OutputArrayAnnotation

```
public class OutputArrayAnnotation
extends java.lang.Object
```
It stores information about the annotation for an output array.

Version:

4.8

Field Summary

Fields
Modifier and Type Field Description

(package private) Var[] array

(package private) java.lang.String id

(package private) java.util.ArrayList<IntDomain> indexes

Constructor Summary

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

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`(package private) boolean`	`contains(Var x)`
`(package private) Var[]`	`getArray()`
`(package private) IntDomain`	`getIndexes(int i)`
`(package private) java.lang.String`	`getName()`
`(package private) int`	`getNumberIndexes()`
`(package private) void`	`setArray(Var[] a)`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

id
```
java.lang.String id
```

indexes
```
java.util.ArrayList<IntDomain> indexes
```

array
```
Var[] array
```

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

getName
```
java.lang.String getName()
```

setArray
```
void setArray(Var[] a)
```

getArray
```
Var[] getArray()
```

getNumberIndexes
```
int getNumberIndexes()
```

getIndexes
```
IntDomain getIndexes(int i)
```

contains
```
boolean contains(Var x)
```

toString
```
public java.lang.String toString()
```
Overrides:

toString in class java.lang.Object