org.colomoto.biolqm.io

Interface ModelExporter

All Superinterfaces:

Callable<Boolean>, Task<Boolean>

All Known Implementing Classes:

AbstractPNEncoder, BaseExporter, BNetExport, BooleanFunctionExport, BooleanNetExport, BoolSimExport, CNetExport, GNAExport, ImplicantTableExport, MaBoSSEncoder, MNetExport, PintExport, PNEncoderAPNN, PNEncoderINA, PNEncoderPNML, SBMLqualExport, TruthTableExport

public interface ModelExporter
extends Task<Boolean>

Model exporters are tasks dedicated to exporting a model in a specific format.

• Use the call() method to wait for the model export.
• Use the background(listener) method to export it in the background.

Author:

Aurelien Naldi

Method Summary

Modifier and Type	Method and Description
default void	setDestination(File f) Define the destination at which the model will be exported.
void	setDestination(StreamProvider streams) Define the destination at which the model will be exported.
default void	setDestination(String filename) Define the destination at which the model will be exported.

Methods inherited from interface org.colomoto.common.task.Task

background, cancel, getResult, getStatus, setParameter, setParameters, setParameters

Methods inherited from interface java.util.concurrent.Callable

call

Method Detail

setDestination

void setDestination(StreamProvider streams)

Define the destination at which the model will be exported. One of the setDestination methods MUST be called before calling the loader.

Parameters:

streams - a ready-to-use StreamProvider

setDestination

default void setDestination(File f)

Define the destination at which the model will be exported. A StreamProvider based on this file will be created. One of the setDestination methods MUST be called before calling the loader.

Parameters:

f - the source file

setDestination

default void setDestination(String filename)

Define the destination at which the model will be exported. A StreamProvider based on this file name will be created. One of the setDestination methods MUST be called before calling the loader.

Parameters:

filename - the filename of the source