edu.mit.csail.sdg.alloy4viz
Class AlloyNodeElement

java.lang.Object
  edu.mit.csail.sdg.alloy4viz.AlloyElement
      edu.mit.csail.sdg.alloy4viz.AlloyNodeElement

All Implemented Interfaces:

java.lang.Comparable<AlloyElement>

Direct Known Subclasses:

AlloySet, AlloyType

public abstract class AlloyNodeElement
extends AlloyElement

Immutable; it's the abstract superclass extended by both AlloyType and AlloySet.

Thread Safety: Can be called only by the AWT event thread.

Method Summary

Methods inherited from class edu.mit.csail.sdg.alloy4viz.AlloyElement

getName

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.lang.Comparable

compareTo