zeus.generator.task.rulebase
Class Rule
java.lang.Object
zeus.generator.task.rulebase.Rule
- All Implemented Interfaces:
- javax.swing.event.DocumentListener, java.util.EventListener
- public class Rule
- extends java.lang.Object
- implements javax.swing.event.DocumentListener
|
Field Summary |
protected javax.swing.event.EventListenerList |
changeListeners
|
(package private) javax.swing.text.PlainDocument |
lhs
|
(package private) java.lang.String |
name
|
(package private) int |
priority
|
(package private) javax.swing.text.PlainDocument |
rhs
|
|
Constructor Summary |
Rule(java.lang.String name,
int priority)
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
name
java.lang.String name
priority
int priority
lhs
javax.swing.text.PlainDocument lhs
rhs
javax.swing.text.PlainDocument rhs
changeListeners
protected javax.swing.event.EventListenerList changeListeners
Rule
public Rule(java.lang.String name,
int priority)
getName
public java.lang.String getName()
getPriority
public int getPriority()
getLHS
public javax.swing.text.PlainDocument getLHS()
getRHS
public javax.swing.text.PlainDocument getRHS()
setName
public void setName(java.lang.String name)
setPriority
public void setPriority(int priority)
getCondition
public java.lang.String getCondition()
getConclusion
public java.lang.String getConclusion()
setPatterns
public void setPatterns(java.util.Vector patterns)
setActions
public void setActions(java.util.Vector actions)
getPatterns
java.lang.String getPatterns()
getActions
java.lang.String getActions()
insertUpdate
public void insertUpdate(javax.swing.event.DocumentEvent e)
- Specified by:
insertUpdate in interface javax.swing.event.DocumentListener
removeUpdate
public void removeUpdate(javax.swing.event.DocumentEvent e)
- Specified by:
removeUpdate in interface javax.swing.event.DocumentListener
changedUpdate
public void changedUpdate(javax.swing.event.DocumentEvent e)
- Specified by:
changedUpdate in interface javax.swing.event.DocumentListener
addChangeListener
public void addChangeListener(javax.swing.event.ChangeListener x)
removeChangeListener
public void removeChangeListener(javax.swing.event.ChangeListener x)
fireChanged
protected void fireChanged()
Copyright © 2000-2003 BT Exact Technologies. All Rights Reserved.