|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.importing.tpn.TpnImport
public class TpnImport
Parses a TPN file and produces a petri net.
This implementation parses bounds and transition labels, but does not use them. Undeclared places will be created automatically without warning if they occur in the in set or out set of a transition. The parser is case insensitive.
The parser is built with JavaCC, a free Java parser generator (like yacc). See https://javacc.dev.java.net/ for documentation.
The grammar file for the TPN parser is TpnParser.jj. The TpnParser class can be rebuilt with the command javacc TpnParser.jj.
Constructor Summary | |
---|---|
TpnImport()
|
Method Summary | |
---|---|
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. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public TpnImport()
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 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 |