org.ginsim.service.export.cadp

Class CADPSvlWriter

java.lang.Object

org.ginsim.service.export.cadp.CADPWriter

org.ginsim.service.export.cadp.CADPSvlWriter

public class CADPSvlWriter
extends CADPWriter

Class generating the SVL for the CADP export bundle

Author:

Nuno D. Mendes

Nested Class Summary

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

CADPWriter.GateWriter, CADPWriter.InitialStateWriter, CADPWriter.StateVarWriter

Constructor Summary

Constructors

Constructor and Description
CADPSvlWriter(CADPExportConfig config)

Method Summary

Modifier and Type	Method and Description
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

CADPSvlWriter

public CADPSvlWriter(CADPExportConfig config)

Method Detail

toString

public String toString()

Overrides:

toString in class Object