Class AlloyElement

  extended by
All Implemented Interfaces:
Direct Known Subclasses:
AlloyNodeElement, AlloyRelation

public abstract class AlloyElement
extends java.lang.Object
implements java.lang.Comparable<AlloyElement>

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

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

Method Summary
 java.lang.String getName()
          Returns the name of this element.
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

Method Detail


public java.lang.String getName()
Returns the name of this element.