equal
deleted
inserted
replaced
2738 /** |
2738 /** |
2739 * Returns the index of the specified child, or -1 if |
2739 * Returns the index of the specified child, or -1 if |
2740 * <code>child</code> isn't a valid child. |
2740 * <code>child</code> isn't a valid child. |
2741 */ |
2741 */ |
2742 public int indexOf(ElementInfo child) { |
2742 public int indexOf(ElementInfo child) { |
2743 ArrayList children = this.children; |
2743 ArrayList<ElementInfo> children = this.children; |
2744 |
2744 |
2745 if (children != null) { |
2745 if (children != null) { |
2746 return children.indexOf(child); |
2746 return children.indexOf(child); |
2747 } |
2747 } |
2748 return -1; |
2748 return -1; |