ix.iview
Class SimpleDomainEditor

java.lang.Object
  |
  +--ix.iview.SimpleDomainEditor

All Implemented Interfaces:

java.awt.event.ActionListener, java.util.EventListener, InternalDomainEditor

public class SimpleDomainEditor

extends java.lang.Object

implements InternalDomainEditor, java.awt.event.ActionListener

A simple domain editor.

Inner Class Summary

(package private) class	SimpleDomainEditor.EditException Used to indicate why an editing command cannot be carried out.
protected class	SimpleDomainEditor.SchemaEditor Simple schema-editing panel.
static class	SimpleDomainEditor.TemporalConstraintPanel A subpanel of the schema editor that handles the choice between parallel and sequential ordering contraints on a schema's nodes.

Field Summary

(package private) IXAgent	agent
(package private) java.awt.Container	contentPane
(package private) Domain	dom
(package private) java.io.File	domainLibraryDirectory
(package private) javax.swing.JFrame	frame
(package private) SimpleDomainEditor.SchemaEditor	schemaEditor
(package private) javax.swing.JMenu	schemaMenu

Constructor Summary

SimpleDomainEditor(IXAgent agent, Domain dom)

Method Summary

void	actionPerformed(java.awt.event.ActionEvent e)
protected void	clearDomain()
protected void	ensureSchemaEditor()
protected javax.swing.JMenuBar	makeMenuBar()
protected javax.swing.JMenuItem	makeMenuItem(java.lang.String text)
static boolean	orderingsAreSequential(LList nodes, LList orderings)
static LList	parseNodes(java.lang.String expansion)
protected void	populateSchemaMenu()
void	saveExpansion(java.lang.Object data)
static LList	sequentialOrderings(LList nodes)
void	setLocation(int x, int y)
protected void	setUpFrame()
void	setVisible(boolean v)

Methods inherited from class java.lang.Object

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

Field Detail

frame

javax.swing.JFrame frame

contentPane

java.awt.Container contentPane

schemaMenu

javax.swing.JMenu schemaMenu

schemaEditor

SimpleDomainEditor.SchemaEditor schemaEditor

domainLibraryDirectory

java.io.File domainLibraryDirectory

agent

IXAgent agent

dom

Domain dom

Constructor Detail

SimpleDomainEditor

public SimpleDomainEditor(IXAgent agent,
                          Domain dom)

Method Detail

setUpFrame

protected void setUpFrame()

setVisible

public void setVisible(boolean v)

Specified by:

setVisible in interface InternalDomainEditor

setLocation

public void setLocation(int x,
                        int y)

saveExpansion

public void saveExpansion(java.lang.Object data)

Specified by:

saveExpansion in interface InternalDomainEditor

ensureSchemaEditor

protected void ensureSchemaEditor()

makeMenuBar

protected javax.swing.JMenuBar makeMenuBar()

makeMenuItem

protected javax.swing.JMenuItem makeMenuItem(java.lang.String text)

populateSchemaMenu

protected void populateSchemaMenu()

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)

Specified by:

actionPerformed in interface java.awt.event.ActionListener

clearDomain

protected void clearDomain()

parseNodes

public static LList parseNodes(java.lang.String expansion)

sequentialOrderings

public static LList sequentialOrderings(LList nodes)

orderingsAreSequential

public static boolean orderingsAreSequential(LList nodes,
                                             LList orderings)