Package org.bigraphs.framework.converter
Interface ReactiveSystemPrettyPrinter<B extends Bigraph<? extends Signature<?>>,R extends ReactiveSystem>
- Type Parameters:
R
- type of the reactive system
- All Superinterfaces:
PrettyPrinter<B>
- All Known Implementing Classes:
BigMcTransformator
,BigrapherTransformator
,EcoreConverter
public interface ReactiveSystemPrettyPrinter<B extends Bigraph<? extends Signature<?>>,R extends ReactiveSystem>
extends PrettyPrinter<B>
A generic pretty printer interface for bigraphical reactive systems.
- Author:
- Dominik Grzelak
-
Method Summary
Modifier and TypeMethodDescriptionvoid
toOutputStream
(R system, OutputStream outputStream) Redirects the result of an encoding to an output stream.Returns the result of a reactive system encoding as string.
-
Method Details
-
toString
Returns the result of a reactive system encoding as string.- Parameters:
system
- the reactive system being encoded- Returns:
-
toOutputStream
Redirects the result of an encoding to an output stream.- Parameters:
system
- the reactive system being encodedoutputStream
- the output stream where the result shall be written to- Throws:
IOException
- because of the stream
-