org.ginsim.service.export.cadp

Class CADPExportService

java.lang.Object

org.ginsim.service.export.cadp.CADPExportService

All Implemented Interfaces:

Service

@MetaInfServices(value=Service.class)
 @Alias(value="CADP")
 @ServiceStatus(value=DEVELOPMENT)
public class CADPExportService
extends Object
implements Service

GINsim export service for CADP including: LOTOS NT specifications, (common, module and integration), EXP specifications (synchronization vectors), SVL script, MCL properties and README file

Author:

Nuno D. Mendes

Constructor Summary

Constructors

Constructor and Description
CADPExportService()

Method Summary

Modifier and Type	Method and Description
void	export(CADPExportConfig config, String fileheadname) Exports the necessary files for CADP
void	run(CADPExportConfig config, String fileheadname)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CADPExportService

public CADPExportService()

Method Detail

run

public void run(CADPExportConfig config,
                String fileheadname)
         throws IOException,
                GsException

Throws:

IOException

GsException

export

public void export(CADPExportConfig config,
                   String fileheadname)
            throws GsException,
                   IOException

Exports the necessary files for CADP

Parameters:

config - the configuration of the composition

fileheadname - the name of the bundle (zip) file

Throws:

GsException

IOException