| /zpath/trunk/src/ak/zpath/PathElement.java |
|---|
| 16,6 → 16,7 |
| private String name; |
| private boolean isNew = false; |
| private int index = -1; |
| private List conditions = new ArrayList(); |
| private PathCondition condition; |
| private int firstOperandType = OPERAND_NONE; |
| 123,6 → 124,16 |
| isNew = true; |
| } |
| public int getIndex() |
| { |
| return index; |
| } |
| public void setIndex(int index) |
| { |
| this.index = index; |
| } |
| public String toString() |
| { |
| return "Element [" + name + "]"; |