Package 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$
- Author:
- Christopher Brooks, based on PetriNetDisplay by Zach Ezzell.
- Pt.AcceptedRating:
- Red (cxh)
- Pt.ProposedRating:
- Red (cxh)
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method 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.
-
-