edu.luc.cs.trull.demo
Class AssertViolationListener

java.lang.Object
  edu.luc.cs.trull.demo.AssertViolationListener

All Implemented Interfaces:

java.awt.event.ItemListener, java.util.EventListener

public class AssertViolationListener
extends java.lang.Object
implements java.awt.event.ItemListener

A tracker of temporal logic assertions in Trull. When an assertion fails, an orange popup window appears. The user is given the option of aborting the program or ignoring the failed assertion. Assertions can be given names for identification.

See Also:

Assert, Expr

Field Summary

(package private) Expr	assertion
private static org.apache.log4j.Logger	cat
(package private) boolean	dismiss
private java.util.List	history
private static int	HISTORY_LIMIT
private int	historyLimit
(package private) boolean	ignore
private java.lang.String	name

Constructor Summary

AssertViolationListener(java.lang.String name)

AssertViolationListener(java.lang.String name, Expr assertion)

AssertViolationListener(java.lang.String name, Expr assertion, int historyLimit)

Method Summary

void	itemStateChanged(java.awt.event.ItemEvent evt)
private void	reportViolation()

Methods inherited from class java.lang.Object

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

Field Detail

assertion

Expr assertion

cat

private static org.apache.log4j.Logger cat

dismiss

boolean dismiss

history

private java.util.List history

HISTORY_LIMIT

private static final int HISTORY_LIMIT

See Also:

Constant Field Values

historyLimit

private int historyLimit

ignore

boolean ignore

name

private java.lang.String name

Constructor Detail

AssertViolationListener

public AssertViolationListener(java.lang.String name)

AssertViolationListener

public AssertViolationListener(java.lang.String name,
                               Expr assertion)

AssertViolationListener

public AssertViolationListener(java.lang.String name,
                               Expr assertion,
                               int historyLimit)

Method Detail

itemStateChanged

public void itemStateChanged(java.awt.event.ItemEvent evt)

Specified by:

itemStateChanged in interface java.awt.event.ItemListener

reportViolation

private void reportViolation()