org.ginsim.service.export.cadp

Class CADPIntegrationWriter

java.lang.Object

org.ginsim.service.export.cadp.CADPWriter

org.ginsim.service.export.cadp.CADPIntegrationWriter

public class CADPIntegrationWriter
extends CADPWriter

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	CADPIntegrationWriter.IntegrationProcessWriter

Nested classes/interfaces inherited from class org.ginsim.service.export.cadp.CADPWriter

CADPWriter.GateWriter, CADPWriter.InitialStateWriter, CADPWriter.StateVarWriter

Constructor Summary

Constructors

Constructor and Description
CADPIntegrationWriter(CADPExportConfig config)

Method Summary

Modifier and Type	Method and Description
void	init()
String	toString()

Methods inherited from class org.ginsim.service.export.cadp.CADPWriter

areNeighbours, concreteIntegrationProcessName, concreteProcessName, formalIntegrationFunctionName, formalIntegrationProcessName, formalProcessName, getAllComponents, getBCGIntegrationFileName, getBCGModelFileName, getCommonModuleName, getExpFileName, getGateWriter, getInfluencedInputs, getInitialState, getInitialStateWriter, getIntegrationFunctionForInput, getIntegrationInitialStateWriter, getListVisible, getLNTIntegrationFileName, getLNTModelFileName, getMappedInputs, getMCLPropertyFileName, getModel, getModelName, getNumberInstances, getProperComponentsForInput, getStableActionName, getStateVarWriter, hasNeighbours, makeCommaList, makeCommaList, makeUpdatedCommaList, node2Gate, node2Gate, node2StateVar, node2SyncAction

Methods inherited from class java.lang.Object

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

Constructor Detail

CADPIntegrationWriter

public CADPIntegrationWriter(CADPExportConfig config)
                      throws GsException

Throws:

GsException

Method Detail

init

public void init()
          throws GsException

Throws:

GsException

toString

public String toString()

Overrides:

toString in class Object