public class OutputArrayAnnotation
extends java.lang.Object
Constructor and Description |
---|
OutputArrayAnnotation(java.lang.String name,
java.util.ArrayList<IntDomain> indexBounds)
It constructs and output array annotation.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
public OutputArrayAnnotation(java.lang.String name, java.util.ArrayList<IntDomain> indexBounds)
name
- the name of the output array annotation.indexBounds
- the indexes bounds.