public static class Section.ELEMENT extends java.util.ArrayList<Expression> implements java.lang.Cloneable
| Constructor and Description |
|---|
Section.ELEMENT()
Constructs an empty element.
|
Section.ELEMENT(ArrayAccess acc)
Constructs a new element from the given array access.
|
| Modifier and Type | Method and Description |
|---|---|
Section.ELEMENT |
clone()
Returns a clone of this element.
|
Section |
differenceFrom(Section.ELEMENT other,
RangeDomain rd)
Performs difference operation between two section elements with the
specified range domain.
|
boolean |
equals(java.lang.Object o)
Checks if this element is equal to the specified object.
|
Section.ELEMENT |
intersectWith(Section.ELEMENT other,
RangeDomain rd)
Performs intersection operation between two section elements with the
specified range domain.
|
java.lang.String |
toString()
Converts this element to a string.
|
Section.ELEMENT |
unionWith(Section.ELEMENT other,
RangeDomain rd)
Performs union operation between two section elements with the
specified range domain.
|
public Section.ELEMENT()
public Section.ELEMENT(ArrayAccess acc)
acc - the array access from which the new element is constructed.public Section.ELEMENT clone()
clone in class java.util.ArrayList<Expression>public boolean equals(java.lang.Object o)
equals in interface java.util.Collection<Expression>equals in interface java.util.List<Expression>equals in class java.util.AbstractList<Expression>o - the object to be compared with.public java.lang.String toString()
toString in class java.util.AbstractCollection<Expression>public Section.ELEMENT intersectWith(Section.ELEMENT other, RangeDomain rd)
other - the other element.rd - the specified range domain.public Section.ELEMENT unionWith(Section.ELEMENT other, RangeDomain rd)
other - the other element.rd - the specified range domain.public Section differenceFrom(Section.ELEMENT other, RangeDomain rd)
other - the other element.rd - the specified range domain.