ptolemy.domains.petrinet.kernel

Interface PetriNetDisplayer

All Known Implementing Classes:

PetriNetDisplay, PetriNetRecorder

public interface PetriNetDisplayer

Display the evolution of a Petri net after execution.

The PetriNetDirector searches its container for actors that implement this interface and then calls the openDisplay() and setText() methods.

A class that implements this method could display the the value of the setText() method's argument.

Since:

Ptolemy II 10.0

Version:

$Id: PetriNetDisplayer.java 69607 2014-07-30 17:07:26Z cxh $

Author:

Christopher Brooks, based on PetriNetDisplay by Zach Ezzell.

Accepted Rating:

Red (cxh)

Proposed Rating:

Red (cxh)

Method Summary

Modifier and Type	Method and Description
void	openDisplay() Ensure that the text is placed in the textArea.
void	setText(java.lang.String text) Set the text for the display.

Method Detail

openDisplay

void openDisplay()
          throws IllegalActionException

Ensure that the text is placed in the textArea.

Throws:

IllegalActionException - If _openWindow() in the base class throws it.

setText

void setText(java.lang.String text)
      throws IllegalActionException

Set the text for the display.

Parameters:

text - The text to be shown in the display.

Throws:

IllegalActionException - If there is a problem reading or writing a Ptolemy object.