edu.luc.cs.trull.tl
Class Assert

java.lang.Object
  edu.luc.cs.trull.EmptyComponent
      edu.luc.cs.trull.tl.Assert

All Implemented Interfaces:

Component, PropertyChangeSource, Startable, Suspendable, Terminating, java.awt.ItemSelectable, java.beans.PropertyChangeListener, java.util.EventListener

public class Assert
extends EmptyComponent
implements java.awt.ItemSelectable

An item-selectable component that wraps around a temporal logic assertion. For each PropertyChangeEvent of interest to the temporal logic expression, an ItemEvent indicating the current status of the temporal logic expression is sent to the item listeners of the component.

See Also:

Expr, ItemSelectable, ItemEvent

Field Summary

private Expr	assertion
private java.awt.event.ItemListener	itemListener
private java.util.Set	labels
private static org.apache.log4j.Logger	logger
private boolean	previous

Constructor Summary

Assert(Expr assertion)

Assert(Expr assertion, boolean initial)

Method Summary

void	addItemListener(java.awt.event.ItemListener il)
java.lang.Object[]	getSelectedObjects()
void	propertyChange(java.beans.PropertyChangeEvent evt)
void	removeItemListener(java.awt.event.ItemListener il)

Methods inherited from class edu.luc.cs.trull.EmptyComponent

addPropertyChangeListener, getPropertyChangeListeners, getTerminationListener, removePropertyChangeListener, resume, setTerminationListener, start, stop, suspend

Methods inherited from class java.lang.Object

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

Field Detail

assertion

private Expr assertion

itemListener

private java.awt.event.ItemListener itemListener

labels

private java.util.Set labels

logger

private static org.apache.log4j.Logger logger

previous

private boolean previous

Constructor Detail

Assert

public Assert(Expr assertion)

Assert

public Assert(Expr assertion,
              boolean initial)

Parameters:

assertion - the temporal logic expression for this assertion.

Throws:

java.lang.IllegalArgumentException - if expr is null.

Method Detail

addItemListener

public void addItemListener(java.awt.event.ItemListener il)

Specified by:

addItemListener in interface java.awt.ItemSelectable

getSelectedObjects

public java.lang.Object[] getSelectedObjects()

Specified by:

getSelectedObjects in interface java.awt.ItemSelectable

propertyChange

public void propertyChange(java.beans.PropertyChangeEvent evt)

Specified by:

propertyChange in interface java.beans.PropertyChangeListener

Overrides:

propertyChange in class EmptyComponent

removeItemListener

public void removeItemListener(java.awt.event.ItemListener il)

Specified by:

removeItemListener in interface java.awt.ItemSelectable