public interface Substitution
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getDescription()
Returns the description of the substitution.
|
java.util.Set |
getRoles()
gets the roles of the Substitution
|
java.lang.String |
getVal()
Returns the value for the Substitution or null if there is no value.
|
java.lang.String[] |
getValVars()
Returns an array of the variable names occuring in the value of the Substitution.
|
java.lang.String |
getVar()
Returns the variable for the substitution.
|
boolean |
isFixed()
Returns true if the substitution fixes its variable.
|
boolean |
isGrounding()
Returns true if the substitution has no variables in its value.
|
java.lang.String |
toString()
Returns a string representation of this substution which is suitable for input to
SubstEngine.createSubstitution(String) . |
void |
validate()
Checks the syntax of the substitution
|
java.lang.String getDescription()
java.util.Set getRoles() throws RuntimeSubstException
RuntimeSubstException
- thrown if there is an error in the syntax of the substitutionjava.lang.String getVal() throws RuntimeSubstException
RuntimeSubstException
- thrown if there is an error in the syntax of the substitution.java.lang.String getVar() throws RuntimeSubstException
SubstEngine.createSubstitution(String)
. If you are using
spaces or special characters in your variable names, use SubstEngineFactory.decodeIdentifier(String)
to
remove escpaed special characters to put the variable name in a form that is suitable for presentation
to users.RuntimeSubstException
- thrown if there is an error in the syntax of the substitution.boolean isFixed()
boolean isGrounding() throws RuntimeSubstException
RuntimeSubstException
- thrown if there is an error in the syntax of the substitution.java.lang.String toString()
SubstEngine.createSubstitution(String)
.toString
in class java.lang.Object
java.lang.String[] getValVars() throws RuntimeSubstException
getVar()
for further information if you are using variable names containing spaces and other special characters.RuntimeSubstException
- thrown if there is an error in the syntax of the substitution.void validate() throws SubstitutionFormatException
SubstitutionFormatException
- thrown if the Substitution is invalid for reasons including lexical
or syntax errors in the string used to construct it, or if literal numbers in the string cannot be represented
by primitive Java data types.