edu.mit.csail.sdg.alloy4viz
Class AlloyElement

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

All Implemented Interfaces:

java.lang.Comparable<AlloyElement>

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

compareTo

Method Detail

getName

public java.lang.String getName()

Returns the name of this element.