|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.importing.owfn.oWFNImport
public class oWFNImport
Title: oWFNImport
Description: Import an oWFN file. Result will be an oWFNet object.
Copyright: Copyright (c) 2004
Company:
Constructor Summary | |
---|---|
oWFNImport()
|
Method Summary | |
---|---|
java.lang.String |
deflate(java.io.InputStream input)
Convert the given stream to a deflated string, where deflating means removing comments and white spaces. |
javax.swing.filechooser.FileFilter |
getFileFilter()
|
java.lang.String |
getHtmlDescription()
Gets a description of this plugin in HTML. |
java.lang.String |
getName()
Gets the name of this plugin. |
PetriNetResult |
importFile(java.io.InputStream input)
Interface for plugins that import from file. |
java.lang.String |
parseContents(java.lang.String contents,
oWFNet petriNet)
|
java.lang.String |
parseEdges(java.lang.String contents,
oWFNet petriNet,
Transition transition,
boolean isInput)
Read a list of weighted places, and store it as preset (isInput = true) or postset (isInpuyt = false) of the given transition in the given open WF net. |
java.lang.String |
parseMarking(java.lang.String contents,
oWFNet petriNet)
Read a list of weighted places, and ignore it. |
java.lang.String |
parsePlaces(java.lang.String contents,
oWFNet petriNet,
int mode)
Read a list of places from the contents. |
java.lang.String |
parseToken(java.lang.String contents,
java.lang.String token)
Read the given token from the given contents, if possible. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public oWFNImport()
Method Detail |
---|
public java.lang.String getName()
Plugin
getName
in interface Plugin
public javax.swing.filechooser.FileFilter getFileFilter()
getFileFilter
in interface ImportPlugin
public PetriNetResult importFile(java.io.InputStream input) throws java.io.IOException
ImportPlugin
importFile
in interface ImportPlugin
importFile
in interface LogReaderConnectionImportPlugin
input
- The framework will always provide a ProMInputStream as
the input
parameter. To retrieve the filename use:
((ProMInputStream) input).getFilename();
null
is returned then the framework thinks the call to this method was aborted.
java.io.IOException
- If an IO exception occurs.public java.lang.String parseContents(java.lang.String contents, oWFNet petriNet)
contents
- String Deflated oWF net formatted string.petriNet
- oWFNet open WF net to hold the parsing results.
public java.lang.String parseToken(java.lang.String contents, java.lang.String token)
contents
- Stringtoken
- String
public java.lang.String parsePlaces(java.lang.String contents, oWFNet petriNet, int mode)
contents
- StringpetriNet
- oWFNetmode
- int
public java.lang.String parseMarking(java.lang.String contents, oWFNet petriNet)
contents
- StringpetriNet
- oWFNet
public java.lang.String parseEdges(java.lang.String contents, oWFNet petriNet, Transition transition, boolean isInput)
contents
- StringpetriNet
- oWFNettransition
- TransitionisInput
- boolean
public java.lang.String deflate(java.io.InputStream input) throws java.io.IOException
input
- InputStream
java.io.IOException
public java.lang.String getHtmlDescription()
Plugin
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)
getHtmlDescription
in interface Plugin
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |