class RIFLHandler
extends org.xml.sax.helpers.DefaultHandler
SpecificationContainer
. May throw obscure exceptions on
non-wellformed XML documents.
Refer to the RIFL 1.0 Language definition by Ereth, Mantel, and Perner.Modifier and Type | Class and Description |
---|---|
(package private) static class |
RIFLHandler.ErrorHandler |
Modifier and Type | Field and Description |
---|---|
private java.util.Map<Pair<java.lang.String,java.lang.String>,java.lang.String> |
categories2domains |
private java.lang.String |
category |
private static java.lang.String |
DEFAULT_CATEGORY |
private static java.lang.String |
DEFAULT_DOMAIN |
private java.util.Set<java.lang.String> |
domains |
private java.util.Set<java.util.Map.Entry<java.lang.String,java.lang.String>> |
flow |
private java.util.Map<java.lang.String,java.lang.String> |
handles2categories |
private java.util.Map<SpecificationEntity,Pair<java.lang.String,java.lang.String>> |
sinks2categories |
private java.util.Map<SpecificationEntity,Pair<java.lang.String,java.lang.String>> |
sources2categories |
private java.lang.String |
tmpHandle |
private java.util.Map<SpecificationEntity,Pair<java.lang.String,java.lang.String>> |
tmpMap |
private SpecificationEntity.Type |
type |
Constructor and Description |
---|
RIFLHandler() |
Modifier and Type | Method and Description |
---|---|
private void |
assignHandle(org.xml.sax.Attributes attributes) |
private void |
checkDomainAssignmentsWithFlows() |
private void |
checkDomains() |
private void |
checkFlows() |
void |
endDocument() |
void |
endElement(java.lang.String uri,
java.lang.String localName,
java.lang.String qName) |
SpecificationContainer |
getSpecification() |
private static java.lang.String |
printAttributes(org.xml.sax.Attributes a)
For debugging purposes.
|
private void |
putDomain(org.xml.sax.Attributes attributes) |
private void |
putField(org.xml.sax.Attributes attributes) |
private void |
putFlow(org.xml.sax.Attributes attributes) |
private void |
putParam(org.xml.sax.Attributes attributes) |
private void |
putReturn(org.xml.sax.Attributes attributes) |
private void |
setAssignable(org.xml.sax.Attributes attributes) |
private void |
setCategory(org.xml.sax.Attributes attributes) |
private void |
startDomains() |
void |
startElement(java.lang.String uri,
java.lang.String localName,
java.lang.String qName,
org.xml.sax.Attributes attributes) |
private void |
startFlow() |
private void |
startSinks() |
private void |
startSources() |
private void |
unsetAssignable() |
private void |
unsetCategory() |
private static final java.lang.String DEFAULT_CATEGORY
private static final java.lang.String DEFAULT_DOMAIN
private final java.util.Map<SpecificationEntity,Pair<java.lang.String,java.lang.String>> sources2categories
private final java.util.Map<SpecificationEntity,Pair<java.lang.String,java.lang.String>> sinks2categories
private final java.util.Map<Pair<java.lang.String,java.lang.String>,java.lang.String> categories2domains
private final java.util.Map<java.lang.String,java.lang.String> handles2categories
private java.util.Set<java.lang.String> domains
private java.util.Set<java.util.Map.Entry<java.lang.String,java.lang.String>> flow
private java.util.Map<SpecificationEntity,Pair<java.lang.String,java.lang.String>> tmpMap
private SpecificationEntity.Type type
private java.lang.String tmpHandle
private java.lang.String category
private static java.lang.String printAttributes(org.xml.sax.Attributes a)
private void assignHandle(org.xml.sax.Attributes attributes)
private void setAssignable(org.xml.sax.Attributes attributes)
private void unsetAssignable()
public void endDocument()
endDocument
in interface org.xml.sax.ContentHandler
endDocument
in class org.xml.sax.helpers.DefaultHandler
public SpecificationContainer getSpecification()
private void putField(org.xml.sax.Attributes attributes)
private void putParam(org.xml.sax.Attributes attributes)
private void putReturn(org.xml.sax.Attributes attributes)
private void putFlow(org.xml.sax.Attributes attributes)
private void putDomain(org.xml.sax.Attributes attributes)
private void setCategory(org.xml.sax.Attributes attributes)
private void unsetCategory()
private void checkDomains()
private void checkDomainAssignmentsWithFlows()
private void checkFlows()
public void startElement(java.lang.String uri, java.lang.String localName, java.lang.String qName, org.xml.sax.Attributes attributes)
startElement
in interface org.xml.sax.ContentHandler
startElement
in class org.xml.sax.helpers.DefaultHandler
public void endElement(java.lang.String uri, java.lang.String localName, java.lang.String qName)
endElement
in interface org.xml.sax.ContentHandler
endElement
in class org.xml.sax.helpers.DefaultHandler
private void startDomains()
private void startFlow()
private void startSinks()
private void startSources()