class RIFLHandler extends 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 Map<Pair<String,String>,String> |
categories2domains |
private String |
category |
private static String |
DEFAULT_CATEGORY |
private static String |
DEFAULT_DOMAIN |
private Set<String> |
domains |
private Set<Map.Entry<String,String>> |
flow |
private Map<String,String> |
handles2categories |
private Map<SpecificationEntity,Pair<String,String>> |
sinks2categories |
private Map<SpecificationEntity,Pair<String,String>> |
sources2categories |
private String |
tmpHandle |
private Map<SpecificationEntity,Pair<String,String>> |
tmpMap |
private SpecificationEntity.Type |
type |
Constructor and Description |
---|
RIFLHandler() |
Modifier and Type | Method and Description |
---|---|
private void |
assignHandle(Attributes attributes) |
private void |
checkDomainAssignmentsWithFlows() |
private void |
checkDomains() |
private void |
checkFlows() |
void |
endDocument() |
void |
endElement(String uri,
String localName,
String qName) |
SpecificationContainer |
getSpecification() |
private static String |
printAttributes(Attributes a)
For debugging purposes.
|
private void |
putDomain(Attributes attributes) |
private void |
putField(Attributes attributes) |
private void |
putFlow(Attributes attributes) |
private void |
putParam(Attributes attributes) |
private void |
putReturn(Attributes attributes) |
private void |
setAssignable(Attributes attributes) |
private void |
setCategory(Attributes attributes) |
private void |
startDomains() |
void |
startElement(String uri,
String localName,
String qName,
Attributes attributes) |
private void |
startFlow() |
private void |
startSinks() |
private void |
startSources() |
private void |
unsetAssignable() |
private void |
unsetCategory() |
characters, endPrefixMapping, error, fatalError, ignorableWhitespace, notationDecl, processingInstruction, resolveEntity, setDocumentLocator, skippedEntity, startDocument, startPrefixMapping, unparsedEntityDecl, warning
private static final String DEFAULT_CATEGORY
private static final String DEFAULT_DOMAIN
private final Map<SpecificationEntity,Pair<String,String>> sources2categories
private final Map<SpecificationEntity,Pair<String,String>> sinks2categories
private Map<SpecificationEntity,Pair<String,String>> tmpMap
private SpecificationEntity.Type type
private String tmpHandle
private String category
private static String printAttributes(Attributes a)
private void assignHandle(Attributes attributes)
private void setAssignable(Attributes attributes)
private void unsetAssignable()
public void endDocument()
endDocument
in interface ContentHandler
endDocument
in class DefaultHandler
public SpecificationContainer getSpecification()
private void putField(Attributes attributes)
private void putParam(Attributes attributes)
private void putReturn(Attributes attributes)
private void putFlow(Attributes attributes)
private void putDomain(Attributes attributes)
private void setCategory(Attributes attributes)
private void unsetCategory()
private void checkDomains()
private void checkDomainAssignmentsWithFlows()
private void checkFlows()
public void startElement(String uri, String localName, String qName, Attributes attributes)
startElement
in interface ContentHandler
startElement
in class DefaultHandler
public void endElement(String uri, String localName, String qName)
endElement
in interface ContentHandler
endElement
in class DefaultHandler
private void startDomains()
private void startFlow()
private void startSinks()
private void startSources()