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 Type
    Method
    Description
    void
    toOutputStream(R system, OutputStream outputStream)
    Redirects the result of an encoding to an output stream.
    String
    toString(R system)
    Returns the result of a reactive system encoding as string.

  • Method Details

    • toString

      String toString(R system)
      Returns the result of a reactive system encoding as string.
      Parameters:
      system - the reactive system being encoded
      Returns:

    • toOutputStream

      void toOutputStream(R system, OutputStream outputStream) throws IOException
      Redirects the result of an encoding to an output stream.
      Parameters:
      system - the reactive system being encoded
      outputStream - the output stream where the result shall be written to
      Throws:
      IOException - because of the stream