/** @since 0.17 or earlier */ @Override public boolean equals(Object other) { return super.equals(other) && Objects.equals(objectType, ((ObjectTypeTransition) other).objectType); }
/** @since 0.17 or earlier */ @Override public int hashCode() { final int prime = 31; int result = super.hashCode(); result = prime * result + ((property == null) ? 0 : property.hashCode()); return result; }
/** @since 0.17 or earlier */ public final void addDirectTransition(Transition transition, ShapeImpl next) { assert next.getParent() == this && transition.isDirect(); addTransitionInternal(transition, next); }
@Override public GraphvizShapeVisitor visitShape(Shape shape, Map<? extends Transition, ? extends Shape> transitions) { if (!drawn.add(shape)) { return null; } String prefix = "s"; sb.append(prefix).append(getId(shape)); sb.append(" [label=\""); if (shape.getLastProperty() != null) { sb.append(escapeString(shape.getLastProperty().toString())); } else { sb.append("ROOT"); } sb.append("\""); sb.append(", shape=\"rectangle\""); if (!shape.isValid()) { sb.append(", color=\"red\", style=dotted"); } sb.append("];"); for (Entry<? extends Transition, ? extends Shape> entry : transitions.entrySet()) { Shape dst = entry.getValue(); dst.accept(this); assert drawn.contains(dst); sb.append(prefix).append(getId(shape)).append("->").append(prefix).append(getId(dst)); sb.append(" [label=\"").append(escapeString(entry.getKey().getShortName())).append("\"]"); sb.append(";"); } return this; }
public final void addIndirectTransition(Transition transition, ShapeImpl next) { assert next.getParent() != this && !transition.isDirect(); addTransitionInternal(transition, next); }
public JSONObjectBuilder dumpTransition(Transition transition) { JSONObjectBuilder sb = JSONHelper.object().add("type", transition.getShortName()); if (transition instanceof PropertyTransition) { sb.add("property", dumpProperty(((PropertyTransition) transition).getProperty())); } return sb; }
/** @since 0.17 or earlier */ @Override public boolean equals(Object obj) { if (!super.equals(obj)) { return false; } PropertyTransition other = (PropertyTransition) obj; if (!Objects.equals(property, other.property)) { return false; } return true; }
/** @since 0.17 or earlier */ @Override public int hashCode() { final int prime = 31; int result = super.hashCode(); result = prime * result + ((objectType == null) ? 0 : objectType.hashCode()); return result; }
/** @since 0.17 or earlier */ public final void addDirectTransition(Transition transition, ShapeImpl next) { assert next.getParent() == this && transition.isDirect(); addTransitionInternal(transition, next); }
/** @since 0.17 or earlier */ @Override public boolean equals(Object obj) { if (!super.equals(obj)) { return false; } PropertyTransition other = (PropertyTransition) obj; if (!Objects.equals(property, other.property)) { return false; } return true; }
/** @since 0.17 or earlier */ @Override public int hashCode() { final int prime = 31; int result = super.hashCode(); result = prime * result + ((property == null) ? 0 : property.hashCode()); return result; }
protected final void addDirectTransition(Transition transition, ShapeImpl next) { assert next.getParent() == this && transition.isDirect(); addTransitionInternal(transition, next); }
@Override public boolean equals(Object obj) { if (!super.equals(obj)) { return false; } PropertyTransition other = (PropertyTransition) obj; if (!Objects.equals(property, other.property)) { return false; } return true; }
/** @since 0.17 or earlier */ @Override public int hashCode() { final int prime = 31; int result = super.hashCode(); result = prime * result + ((objectType == null) ? 0 : objectType.hashCode()); return result; }
/** @since 0.17 or earlier */ public final void addIndirectTransition(Transition transition, ShapeImpl next) { assert !isShared(); assert next.getParent() != this && !transition.isDirect(); addTransitionInternal(transition, next); }
@Override public boolean equals(Object other) { return super.equals(other) && Objects.equals(objectType, ((ObjectTypeTransition) other).objectType); }
@Override public int hashCode() { final int prime = 31; int result = super.hashCode(); result = prime * result + ((property == null) ? 0 : property.hashCode()); return result; }
/** @since 0.17 or earlier */ public final void addIndirectTransition(Transition transition, ShapeImpl next) { assert !isShared(); assert next.getParent() != this && !transition.isDirect(); addTransitionInternal(transition, next); }
/** @since 0.17 or earlier */ @Override public boolean equals(Object other) { return super.equals(other) && Objects.equals(objectType, ((ObjectTypeTransition) other).objectType); }
@Override public int hashCode() { final int prime = 31; int result = super.hashCode(); result = prime * result + ((objectType == null) ? 0 : objectType.hashCode()); return result; }