public interface Parser
Modifier and Type | Method and Description |
---|---|
org.w3c.dom.NodeList |
getCR()
Returns the set of WSSL causal relationships contained in the parsed document.
|
org.w3c.dom.NodeList |
getGoals()
Returns the set of WSSL goals contained in the parsed document.
|
org.w3c.dom.NodeList |
getInp()
Returns the set of WSSL inputs contained in the parsed document.
|
org.w3c.dom.NodeList |
getOutp()
Returns the set of WSSL outputs contained in the parsed document.
|
org.w3c.dom.NodeList |
getPost()
Returns the set of WSSL postconditions contained in the parsed document.
|
org.w3c.dom.NodeList |
getPre()
Returns the set of WSSL preconditions contained in the parsed document.
|
java.lang.String |
getQoSAttribute(org.w3c.dom.Node constraintNode)
Returns the QoS attribute name associated with the constraint passes as parameter.
|
org.w3c.dom.NodeList |
getQoSConstraints(org.w3c.dom.Node profileNode)
Returns the set of QoS constraints contained in the QoS Profile given as parameter
|
java.lang.String |
getQoSOperator(org.w3c.dom.Node constraintNode)
Returns the operator involved in the constraint passed as parameter.
|
org.w3c.dom.NodeList |
getQoSProfiles()
Returns the set of QoS profiles contained in the parsed document.
|
float |
getQoSValue(org.w3c.dom.Node constraintNode)
Returns the QoS attribute value associated with the constraint passed as parameter.
|
org.w3c.dom.Node |
getService()
Returns the service information contained in the parsed document.
|
boolean |
parse(java.net.URL wsslfile,
java.net.URL schema)
Parses and validates a WSSL file.
|
void |
writeCR(org.w3c.dom.NodeList crList,
java.nio.file.Path path)
Produces FLEX clauses for the given WSSL causal relationships.
|
java.lang.String |
writeGoals(org.w3c.dom.NodeList goalList)
Produces FLEX clauses for the given WSSL goals.
|
com.parctechnologies.eclipse.CompoundTerm[] |
writeGoalsCT(org.w3c.dom.NodeList goalList)
Produces FLEX clauses for the given WSSL goals.
|
void |
writePost(org.w3c.dom.NodeList outpList,
org.w3c.dom.NodeList postList,
java.nio.file.Path path)
Produces FLEX clauses for the given WSSL outputs and postconditions.
|
void |
writePre(org.w3c.dom.NodeList inpList,
org.w3c.dom.NodeList preList,
int numOut,
java.nio.file.Path path)
Produces FLEX clauses for the given WSSL inputs and preconditions.
|
boolean parse(java.net.URL wsslfile, java.net.URL schema) throws javax.xml.parsers.ParserConfigurationException, org.xml.sax.SAXException, java.io.IOException
wsslfile
- URL
pointing to the WSSL file to be parsedschema
- URL
containing the XML Schema to validate againstjavax.xml.parsers.ParserConfigurationException
org.xml.sax.SAXException
java.io.IOException
org.w3c.dom.NodeList getInp()
NodeList
containing WSSL input nodesorg.w3c.dom.NodeList getOutp()
NodeList
containing WSSL output nodesorg.w3c.dom.NodeList getPre()
NodeList
containing WSSL precondition nodesorg.w3c.dom.NodeList getPost()
NodeList
containing WSSL postcondition nodesorg.w3c.dom.NodeList getCR()
NodeList
containing WSSL causal relationship nodesorg.w3c.dom.NodeList getGoals()
NodeList
containing WSSL goal nodesorg.w3c.dom.NodeList getQoSProfiles()
NodeList
containing WSSL QoS profilesorg.w3c.dom.NodeList getQoSConstraints(org.w3c.dom.Node profileNode)
profileNode
- a Node
containing a QoS Profile nodeNodeList
containing WSSL QoS constraintsjava.lang.String getQoSOperator(org.w3c.dom.Node constraintNode)
constraintNode
- Node
containing a WSSL QoS constraintString
containing the operator namejava.lang.String getQoSAttribute(org.w3c.dom.Node constraintNode)
constraintNode
- Node
containing a WSSL QoS constraint*String
containing the attribute namefloat getQoSValue(org.w3c.dom.Node constraintNode)
constraintNode
- Node
containing a WSSL QoS constraintorg.w3c.dom.Node getService()
Node
corresponding to the WSSL service elementvoid writePre(org.w3c.dom.NodeList inpList, org.w3c.dom.NodeList preList, int numOut, java.nio.file.Path path) throws InvalidFormatException, java.io.IOException
inpList
- a NodeList
containing WSSL input nodespreList
- a NodeList
containing WSSL precondition nodesnumOut
- the number of service outputs (necessary, to solve the singleton problem)path
- a Path
pointing to the FLEX file where the clauses are writtenInvalidFormatException
java.io.IOException
void writePost(org.w3c.dom.NodeList outpList, org.w3c.dom.NodeList postList, java.nio.file.Path path) throws InvalidFormatException, java.io.IOException
outpList
- a NodeList
containing WSSL output nodespostList
- a NodeList
containing WSSL postcondition nodespath
- a Path
pointing to the FLEX file where the clauses are writtenInvalidFormatException
java.io.IOException
void writeCR(org.w3c.dom.NodeList crList, java.nio.file.Path path) throws InvalidFormatException, java.io.IOException
crList
- a NodeList
containing WSSL causal relationship nodespath
- a Path
pointing to the FLEX file where the clauses are writtenInvalidFormatException
java.io.IOException
java.lang.String writeGoals(org.w3c.dom.NodeList goalList) throws InvalidFormatException
goalList
- a NodeList
containing WSSL goalsInvalidFormatException
com.parctechnologies.eclipse.CompoundTerm[] writeGoalsCT(org.w3c.dom.NodeList goalList) throws InvalidFormatException
goalList
- a NodeList
containing WSSL goalsCompoundTerm
array objectInvalidFormatException