org.ginsim.core.graph.dynamicgraph

Class DynamicParser

java.lang.Object

org.xml.sax.helpers.DefaultHandler

org.ginsim.common.xml.XMLHelper

org.ginsim.core.io.parser.GsXMLHelper

org.ginsim.core.graph.dynamicgraph.DynamicParser

All Implemented Interfaces:

ContentHandler, DTDHandler, EntityResolver, ErrorHandler

public final class DynamicParser
extends GsXMLHelper

Parse a GINML file containing a STG.

Author:

Aurelien Naldi

Field Summary

Fields inherited from class org.ginsim.common.xml.XMLHelper

BOTH, curval, ENDONLY, m_call, NOCALL, s_dtd, s_filename, STARTONLY, xr

Constructor Summary

Constructors

Constructor and Description
DynamicParser()
DynamicParser(Set<String> set, Attributes attributes, String s_dtd)

Method Summary

Modifier and Type	Method and Description
void	endElement(String uri, String localName, String qName)
Graph	getGraph()
void	parse(File file, Set<String> set, Graph graph) create a new dynamical graph from a file.
void	startElement(String uri, String localName, String qName, Attributes attributes)

Methods inherited from class org.ginsim.common.xml.XMLHelper

addCall, addCall, addCall, addCall, addCall, addEntity, characters, endElement, error, getAttributeValueWithDefault, getWarnings, resolveEntity, startElement, startParsing, startParsing, startParsing, startParsing, warning

Methods inherited from class org.xml.sax.helpers.DefaultHandler

endDocument, endPrefixMapping, fatalError, ignorableWhitespace, notationDecl, processingInstruction, setDocumentLocator, skippedEntity, startDocument, startPrefixMapping, unparsedEntityDecl

Methods inherited from class java.lang.Object

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

Constructor Detail

DynamicParser

public DynamicParser()

DynamicParser

public DynamicParser(Set<String> set,
                     Attributes attributes,
                     String s_dtd)
              throws GsException

Parameters:

set -

attributes -

s_dtd -

s_filename -

Throws:

GsException

Method Detail

parse

public void parse(File file,
                  Set<String> set,
                  Graph graph)
           throws GsException

create a new dynamical graph from a file.

Parameters:

file - the file to read.

map - "filter" to open only partially a graph

graph - the graph to fill with this data.

Throws:

GsException

endElement

public void endElement(String uri,
                       String localName,
                       String qName)
                throws SAXException

Specified by:

endElement in interface ContentHandler

Overrides:

endElement in class XMLHelper

Throws:

SAXException

startElement

public void startElement(String uri,
                         String localName,
                         String qName,
                         Attributes attributes)
                  throws SAXException

Specified by:

startElement in interface ContentHandler

Overrides:

startElement in class XMLHelper

Throws:

SAXException

getGraph

public Graph getGraph()

Specified by:

getGraph in class GsXMLHelper