public String getId() { return wrappedElement.getId(); }
public String getId() { return wrappedElement.getId(); }
/** * Add a new graph element to the group. * * @param element * The new graph element to add. */ public void addElement(Element element) { elements.put(element.getId(), element); }
/** * True if the group contains the element given. * * @param element * The element to search. * @return true if the element is in the group. */ public boolean contains(Element element) { return elements.containsKey(element.getId()); }
/** * True if the group contains the element given. * * @param element * The element to search. * @return true if the element is in the group. */ public boolean contains(Element element) { return elements.containsKey(element.getId()); }
public boolean isAvailable(T e) { return set.contains(e.getId()); } };
/** * Add a new graph element to the group. * * @param element * The new graph element to add. */ public void addElement(Element element) { elements.put(element.getId(), element); }
public boolean isAvailable(T e) { return set.contains(e.getId()); } };
protected void addElementToReverseSearch(Element element, String groupId) { if (element instanceof Node) { byNodeIdGroups.put(element.getId(), groupId); } else if (element instanceof Edge) { byEdgeIdGroups.put(element.getId(), groupId); } else if (element instanceof GraphicSprite) { bySpriteIdGroups.put(element.getId(), groupId); } else if (element instanceof Graph) { byGraphIdGroups.put(element.getId(), groupId); } else { throw new RuntimeException("What ?"); } }
protected void addElementToReverseSearch(Element element, String groupId) { if (element instanceof Node) { byNodeIdGroups.put(element.getId(), groupId); } else if (element instanceof Edge) { byEdgeIdGroups.put(element.getId(), groupId); } else if (element instanceof GraphicSprite) { bySpriteIdGroups.put(element.getId(), groupId); } else if (element instanceof Graph) { byGraphIdGroups.put(element.getId(), groupId); } else { throw new RuntimeException("What ?"); } }
protected void removeElementFromReverseSearch(Element element) { if (element instanceof Node) { byNodeIdGroups.remove(element.getId()); } else if (element instanceof Edge) { byEdgeIdGroups.remove(element.getId()); } else if (element instanceof GraphicSprite) { bySpriteIdGroups.remove(element.getId()); } else if (element instanceof Graph) { byGraphIdGroups.remove(element.getId()); } else { throw new RuntimeException("What ?"); } }
protected void removeElementFromReverseSearch(Element element) { if (element instanceof Node) { byNodeIdGroups.remove(element.getId()); } else if (element instanceof Edge) { byEdgeIdGroups.remove(element.getId()); } else if (element instanceof GraphicSprite) { bySpriteIdGroups.remove(element.getId()); } else if (element instanceof Graph) { byGraphIdGroups.remove(element.getId()); } else { throw new RuntimeException("What ?"); } }
@Override public String toString() { StringBuilder builder = new StringBuilder(); builder.append(String.format("%s events {", element.getId())); for (String event : events) builder.append(String.format(" %s", event)); builder.append(" }"); return builder.toString(); } }
@Override public String toString() { StringBuilder builder = new StringBuilder(); builder.append(String.format("%s events {", element.getId())); for (String event : events) builder.append(String.format(" %s", event)); builder.append(" }"); return builder.toString(); } }
/** * Remove a graph element from the group. * * @param element * The element to remove. * @return The removed element, or null if the element was not found. */ public Element removeElement(Element element) { if (eventsFor != null && eventsFor.containsKey(element)) eventsFor.remove(element); // Remove an eventual remaining event. if (dynamicOnes != null && dynamicOnes.contains(element)) dynamicOnes.remove(element); // Remove an eventual remaining dynamic // information. return elements.remove(element.getId()); }
/** * Remove a graph element from the group. * * @param element * The element to remove. * @return The removed element, or null if the element was not found. */ public Element removeElement(Element element) { if (eventsFor != null && eventsFor.containsKey(element)) eventsFor.remove(element); // Remove an eventual remaining event. if (dynamicOnes != null && dynamicOnes.contains(element)) dynamicOnes.remove(element); // Remove an eventual remaining dynamic // information. return elements.remove(element.getId()); }
@Override public String toString(int level) { StringBuilder builder = new StringBuilder(); String prefix = ""; String sprefix = " "; for (int i = 0; i < level; i++) prefix += sprefix; builder.append(String.format("%s%s%n", prefix, id)); builder.append(String.format("%s%sContains : ", prefix, sprefix)); for (Element element : elements.values()) { builder.append(String.format("%s ", element.getId())); } builder.append(String.format("%n%s%sStyle : ", prefix, sprefix)); for (Rule rule : rules) { builder.append(String.format("%s ", rule.selector.toString())); } builder.append(String.format("%n")); return builder.toString(); }
@Override public String toString(int level) { StringBuilder builder = new StringBuilder(); String prefix = ""; String sprefix = " "; for (int i = 0; i < level; i++) prefix += sprefix; builder.append(String.format("%s%s%n", prefix, id)); builder.append(String.format("%s%sContains : ", prefix, sprefix)); for (Element element : elements.values()) { builder.append(String.format("%s ", element.getId())); } builder.append(String.format("%n%s%sStyle : ", prefix, sprefix)); for (Rule rule : rules) { builder.append(String.format("%s ", rule.selector.toString())); } builder.append(String.format("%n")); return builder.toString(); }