Package edu.tufts.hrilab.action.gui

Class EventSpecEditor

java.lang.Object

edu.tufts.hrilab.action.gui.EventSpecEditor

public class EventSpecEditor
extends Object

Helper class that handles syntax highlighting and auto-indentation. In order to provide useful syntax highlighting, this class hooks up to: - the Action Database (to query for available operators and use the findMatchingEntries helper method) - the Actions JTree in the main GUI (to query for available actions) - the Action Controls (to query for the existing controls) Take care to update the indentationChange() method in this class whenever the set of controls changes to handle the indentation correctly.

Constructor Summary

Constructors

Constructor	Description
EventSpecEditor(JTextPane txtPane, JTable rolesTable, JTree actionsTree)

Method Summary

Modifier and Type	Method	Description
void	addEventSpecs(List<EventSpec> specs)	Adds the event specs to the editor.
List<EventSpec>	getEventSpecs()	Get the event specs from the editor.
void	update()	Trigger component update.

Methods inherited from class java.lang.Object

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

Constructor Details

EventSpecEditor

public EventSpecEditor(JTextPane txtPane,
 JTable rolesTable,
 JTree actionsTree)

Method Details

addEventSpecs

public void addEventSpecs(List<EventSpec> specs)

Adds the event specs to the editor.

Parameters:

specs - event specs

getEventSpecs

public List<EventSpec> getEventSpecs()

Get the event specs from the editor.

update

public void update()

Trigger component update.