private void getChildrenAtNode(Node aNode, List foundTokens) { if (aNode.equals(node)) { foundTokens.add(this); } else if (children != null) { for (Iterator it = children.values().iterator(); it.hasNext();) { Token child = (Token) it.next(); child.getChildrenAtNode(aNode, foundTokens); } } }
private void getChildrenAtNode(Node aNode, List foundTokens) { if (aNode.equals(node)) { foundTokens.add(this); } else if (children != null) { for (Iterator it = children.values().iterator(); it.hasNext();) { Token child = (Token) it.next(); child.getChildrenAtNode(aNode, foundTokens); } } }
public boolean equals(Object o) { if (o == this) return true; if (!(o instanceof Transition)) return false; Transition other = (Transition) o; if (id != 0 && id == other.getId()) return true; return (name != null ? name.equals(other.getName()) : other.getName() == null) && from != null && from.equals(other.getFrom()); }
public boolean equals(Object o) { if (o == this) return true; if (!(o instanceof Transition)) return false; Transition other = (Transition) o; if (id != 0 && id == other.getId()) return true; return (name != null ? name.equals(other.getName()) : other.getName() == null) && from != null && from.equals(other.getFrom()); }
&& (reactivate) ) { Token concurrentToken = (Token) iter.next(); if (! mergeNode.equals(concurrentToken.getNode())) { reactivate = false;
public GraphElement getParent() { if (from != null && to != null) { if (from.equals(to)) return from.getParent(); for (GraphElement fromParent = from; fromParent != null; fromParent = fromParent.getParent()) { for (GraphElement toParent = to; toParent != null; toParent = toParent.getParent()) { if (fromParent.equals(toParent)) return fromParent; } } } return processDefinition; } }
&& (reactivate) ) { Token concurrentToken = (Token) iter.next(); if (! mergeNode.equals(concurrentToken.getNode())) { reactivate = false;
public GraphElement getParent() { if (from != null && to != null) { if (from.equals(to)) return from.getParent(); for (GraphElement fromParent = from; fromParent != null; fromParent = fromParent.getParent()) { for (GraphElement toParent = to; toParent != null; toParent = toParent.getParent()) { if (fromParent.equals(toParent)) return fromParent; } } } return processDefinition; } }