public class Validator
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
varPos |
Constructor and Description |
---|
Validator() |
Modifier and Type | Method and Description |
---|---|
static void |
CompareCompoundTerms(DOMParser2 parser,
com.parctechnologies.eclipse.CompoundTerm query,
com.parctechnologies.eclipse.CompoundTerm result)
Compares
CompoundTerm query (sent to Eclipse) with CompoundTerm result
(returned from ECLiPSe) in order to extract variable instantiations and
prints them to System.out. |
static void |
main(java.lang.String[] args) |
static void |
printCompoundTerm(java.lang.Object ct)
Parses a
Object corresponding to a CompoundTerm and prints its contents |
public static void main(java.lang.String[] args)
args
- the command line argumentspublic static void CompareCompoundTerms(DOMParser2 parser, com.parctechnologies.eclipse.CompoundTerm query, com.parctechnologies.eclipse.CompoundTerm result)
CompoundTerm
query (sent to Eclipse) with CompoundTerm
result
(returned from ECLiPSe) in order to extract variable instantiations and
prints them to System.out. Note that the terms are not checked for being equivalent,
because such an equivalency is a direct result of how ECLiPSe operates.parser
- The parser used to extract the goals and which contains the variable namesquery
- The CompoundTerm
object that contains the queryresult
- The CompoundTerm
object that is returned after executing querypublic static void printCompoundTerm(java.lang.Object ct)
Object
corresponding to a CompoundTerm and prints its contentsct
- the Object
to be printed