mauda.feedback
Class FeedbackKB

java.lang.Object
  extended by mauda.feedback.FeedbackKB

public class FeedbackKB
extends java.lang.Object

Knowledge-Base for Feedback-Information.

Author:
Markus Krebs

Constructor Summary
FeedbackKB()
          Creates a FeedbackKB
 
Method Summary
 java.util.Vector call(KBFormulaEvaluator evaluator)
          Make a call to the knowledge-base for the current-position inside the exercise, and returns all FeedbackKB-Objects its formulas are true.
 boolean load(java.lang.String filename)
          Loads a knowledge-base from disc.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FeedbackKB

public FeedbackKB()
Creates a FeedbackKB

Method Detail

load

public boolean load(java.lang.String filename)
Loads a knowledge-base from disc.
The conventions for the knowledge-base-file: Conventions for formulas: Example for an entry:
FORMULA: correct AND subop[current].id = newfheapmeld
MESSAGE: A OPERATION causes to create a new Fibonacci-Heap with a node of the value OPPARAM1 and meld it with the current Fibonacci-Heap.
MESSAGE: A SUBOPERATION is the correct operation.

For further information see the dissertation.

Parameters:
filename - Filename of the knowledge-base-file
Returns:
true if loading was successful, false otherwise

call

public java.util.Vector call(KBFormulaEvaluator evaluator)
Make a call to the knowledge-base for the current-position inside the exercise, and returns all FeedbackKB-Objects its formulas are true.

Parameters:
evaluator -
Returns:
A Vector of FeedbackKBObject's