|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectunsw.cse.framescript.Term
unsw.cse.framescript.RDR
public class RDR
This class implements the RDRs used in FrameScript.
| Constructor Summary | |
|---|---|
RDR(Term cond,
Term conc)
Creates an RDR with a condition and conclusion. |
|
| Method Summary | |
|---|---|
java.lang.String |
asString(int indentLevel,
boolean inPattern)
Turns the Term into a string. |
boolean |
equals(Term t)
Compares two Terms for equality. |
Term |
eval(Instance currentObject,
StackFrame stackframe)
Evaluates a Term. |
Term |
mapVars(FSList vars)
Maps atoms to variables from the list of variables. |
java.lang.String |
toString()
Turns the Term into a string. |
| Methods inherited from class unsw.cse.framescript.Term |
|---|
assign, fullMatch, indents, match |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public RDR(Term cond,
Term conc)
cond - the rule's conditionconc - the rule's conclusion| Method Detail |
|---|
public Term eval(Instance currentObject,
StackFrame stackframe)
throws FSException
Term
eval in class TermcurrentObject - the enclosing instance frame for the code being evaluatedstackframe - StackFrame that holds the values for any variables
FSException - if any errors occur in performing the evaluationpublic boolean equals(Term t)
Term
equals in class Termt - Term to be compared to
public Term mapVars(FSList vars)
throws SyntaxError
Term
mapVars in class Termvars - a list of variables to be mapped
SyntaxError - if in performing the mapping it finds an invalid variable namepublic java.lang.String toString()
Term
toString in class Term
public java.lang.String asString(int indentLevel,
boolean inPattern)
Term
asString in class TermindentLevel - indentation level to uses for any subsequent lines in the stringinPattern - whether or not to format the string as though it is inside a pattern
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||