org.processmining.exporting.bpel4ws
Class WorkflowNet2BPEL4WS

java.lang.Object
  extended by org.processmining.exporting.bpel4ws.WorkflowNet2BPEL4WS
All Implemented Interfaces:
ExportPlugin, Plugin

public class WorkflowNet2BPEL4WS
extends java.lang.Object
implements ExportPlugin

Author:
Kristian Bisgaard Lassen

Constructor Summary
WorkflowNet2BPEL4WS()
           
 
Method Summary
 boolean accepts(ProvidedObject object)
           
 void export(ProvidedObject object, java.io.OutputStream output)
           
 Choice getChoice(Place place)
          Calculates the choice of a place
 java.lang.String getFileExtension()
           
 java.lang.String getHtmlDescription()
          Gets a description of this plugin in HTML.
 java.lang.String getName()
          Gets the name of this plugin.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

WorkflowNet2BPEL4WS

public WorkflowNet2BPEL4WS()
Method Detail

accepts

public boolean accepts(ProvidedObject object)
Specified by:
accepts in interface ExportPlugin
See Also:
ExportPlugin.accepts(org.processmining.framework.plugin.ProvidedObject)

getFileExtension

public java.lang.String getFileExtension()
Specified by:
getFileExtension in interface ExportPlugin
See Also:
ExportPlugin.getFileExtension()

export

public void export(ProvidedObject object,
                   java.io.OutputStream output)
            throws java.io.IOException
Specified by:
export in interface ExportPlugin
Throws:
java.io.IOException
See Also:
ExportPlugin.export(org.processmining.framework.plugin.ProvidedObject, java.io.OutputStream)

getChoice

public Choice getChoice(Place place)
Calculates the choice of a place

Parameters:
place - - A place
Returns:
The choice type of that place

getName

public java.lang.String getName()
Description copied from interface: Plugin
Gets the name of this plugin. Implementing classes should use this method to return their own name.

Specified by:
getName in interface Plugin
Returns:
the name of this plugin
See Also:
Plugin.getName()

getHtmlDescription

public java.lang.String getHtmlDescription()
Description copied from interface: Plugin
Gets a description of this plugin in HTML. The string returned by this method should only contain the contents of the body of the html page, so the html, head and body tags should not be used. This HTML page is displayed in the help system or as context sensitive help. The HTML body can be stored in an external file in the /lib/documentation/ sub folder and in this case it can be obtained by calling PluginDocumentationLoader.load(this)

Specified by:
getHtmlDescription in interface Plugin
Returns:
a description of this plugin in HTML
See Also:
Plugin.getHtmlDescription()