org.ginsim.servicegui.export.prism

Class PRISMExportServiceGUI

java.lang.Object

org.ginsim.gui.service.AbstractServiceGUI

org.ginsim.servicegui.export.prism.PRISMExportServiceGUI

All Implemented Interfaces:

ServiceGUI

@MetaInfServices(value=ServiceGUI.class)
 @StandaloneGUI
 @ServiceStatus(value=RELEASED)
public class PRISMExportServiceGUI
extends AbstractServiceGUI

GUI Action to export a PRISM model description

Author:

Pedro T. Monteiro

Field Summary

Fields inherited from interface org.ginsim.gui.service.ServiceGUI

separators, W_EXPORT_DOC, W_EXPORT_GENERIC, W_EXPORT_SPECIFIC, W_GRAPH_COLORIZE, W_GRAPH_SELECTION, W_TOOLKITS_MAIN, W_TOOLS_MAIN, W_UNDER_DEVELOPMENT

Constructor Summary

Constructors

Constructor and Description
PRISMExportServiceGUI()

Method Summary

Modifier and Type	Method and Description
List<Action>	getAvailableActions(Graph<?,?> graph) Give access to the list of the actions that the service provides for the given graph.
int	getInitialWeight() Give a weight for the service, as defined by the developer.

Methods inherited from class org.ginsim.gui.service.AbstractServiceGUI

getWeight, setWeight

Methods inherited from class java.lang.Object

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

Constructor Detail

PRISMExportServiceGUI

public PRISMExportServiceGUI()

Method Detail

getAvailableActions

public List<Action> getAvailableActions(Graph<?,?> graph)

Description copied from interface: ServiceGUI

Give access to the list of the actions that the service provides for the given graph. These actions can be divided into four types: - Import : data import from file of various format. Represented by the ImportAction class - Export : data export to file of various format. Represented by the ExportAction class - Layout : Perform a graph layout. Represented by the LayoutAction class - Action : various data management algorithm. Represented by the GsMiscAction class

Returns:

the list of actions provided by the service to the given graph type

getInitialWeight

public int getInitialWeight()

Description copied from interface: ServiceGUI

Give a weight for the service, as defined by the developer.

Returns:

a positive weight or -1 if unsure