Package | Description |
---|---|
wssl.parser |
Modifier and Type | Method and Description |
---|---|
void |
DOMParser2.checkCR(org.w3c.dom.Node cr)
Checks the format of a WSSL causal relationship
|
void |
DOMParser.checkCR(org.w3c.dom.Node cr)
Checks the format of a WSSL causal relationship
|
void |
DOMParser.checkInp(org.w3c.dom.Node inp)
Checks the format of a WSSL input
|
void |
DOMParser.checkOutp(org.w3c.dom.Node outp)
Checks the format of a WSSL output
|
void |
DOMParser.checkPost(org.w3c.dom.Node post)
Checks the format of a WSSL postcondition
|
void |
DOMParser.checkPre(org.w3c.dom.Node pre)
Checks the format of a WSSL precondition
|
com.parctechnologies.eclipse.CompoundTerm |
DOMParser2.LogExpToCompoundTerm(org.w3c.dom.Node le)
Returns the FLEX (sub-)clause that corresponds to the logical expression.
|
java.lang.String |
DOMParser2.LogExpToProlog(org.w3c.dom.Node le)
Returns the FLEX (sub-)clause that corresponds to the logical expression.
|
java.lang.String |
DOMParser.LogExpToProlog(org.w3c.dom.Node le)
Returns the FLEX (sub-)clause that corresponds to the logical expression.
|
java.lang.String |
DOMParser2.NameToProlog(java.lang.String name,
char mode)
Translate a WSSL action or variable name to FLEX
|
java.lang.String |
DOMParser.NameToProlog(java.lang.String name,
char mode)
Translate a WSSL action or variable name to FLEX
|
java.lang.String[] |
DOMParser2.StateRHSToProlog(org.w3c.dom.Node le)
Returns the FLEX (sub-)clause that corresponds to the right-hand side of
the state update axiom, contained in node le.
|
java.lang.String[] |
DOMParser.StateRHSToProlog(org.w3c.dom.Node le)
Returns the FLEX (sub-)clause that corresponds to the right-hand side of
the state update axiom, contained in node le.
|
java.lang.String[] |
DOMParser2.StateUpdateToProlog(org.w3c.dom.Node su)
Returns the FLEX clause that corresponds to the state update axiom
contained in node le.
|
java.lang.String[] |
DOMParser.StateUpdateToProlog(org.w3c.dom.Node su)
Returns the FLEX clause that corresponds to the state update axiom
contained in node le.
|
com.parctechnologies.eclipse.CompoundTerm |
DOMParser2.TermToCompoundTerm(org.w3c.dom.Node le)
Returns the FLEX (sub-)clause that corresponds to the term contained
in node le.
|
java.lang.String |
DOMParser2.TermToProlog(org.w3c.dom.Node le)
Returns the FLEX (sub-)clause that corresponds to the term contained
in node le.
|
java.lang.String |
DOMParser.TermToProlog(org.w3c.dom.Node le)
Returns the FLEX (sub-)clause that corresponds to the term contained
in node le.
|
void |
Parser.writeCR(org.w3c.dom.NodeList crList,
java.nio.file.Path path)
Produces FLEX clauses for the given WSSL causal relationships.
|
void |
DOMParser2.writeCR(org.w3c.dom.NodeList crList,
java.nio.file.Path path) |
void |
DOMParser.writeCR(org.w3c.dom.NodeList crList,
java.nio.file.Path path) |
java.lang.String |
Parser.writeGoals(org.w3c.dom.NodeList goalList)
Produces FLEX clauses for the given WSSL goals.
|
java.lang.String |
DOMParser2.writeGoals(org.w3c.dom.NodeList goalList) |
java.lang.String |
DOMParser.writeGoals(org.w3c.dom.NodeList goalList) |
com.parctechnologies.eclipse.CompoundTerm[] |
Parser.writeGoalsCT(org.w3c.dom.NodeList goalList)
Produces FLEX clauses for the given WSSL goals.
|
com.parctechnologies.eclipse.CompoundTerm[] |
DOMParser2.writeGoalsCT(org.w3c.dom.NodeList goalList) |
com.parctechnologies.eclipse.CompoundTerm[] |
DOMParser.writeGoalsCT(org.w3c.dom.NodeList goalList) |
void |
Parser.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 |
DOMParser2.writePost(org.w3c.dom.NodeList outpList,
org.w3c.dom.NodeList postList,
java.nio.file.Path path) |
void |
DOMParser.writePost(org.w3c.dom.NodeList outpList,
org.w3c.dom.NodeList postList,
java.nio.file.Path path) |
void |
Parser.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.
|
void |
DOMParser2.writePre(org.w3c.dom.NodeList inpList,
org.w3c.dom.NodeList preList,
int numOut,
java.nio.file.Path path) |
void |
DOMParser.writePre(org.w3c.dom.NodeList inpList,
org.w3c.dom.NodeList preList,
int numOut,
java.nio.file.Path path) |