46
37
int end = start + property.toString().length();
47
38
StringPosition position = new StringPosition(start, end, property);
49
40
StringPosition[] children = { position };
55
45
public boolean equals(Object o) {
58
48
return property.equals(node.getProperty());