aminePlatform.guis.prologPlusCGGUIs.debuger
Class Debuger

java.lang.Object
  aminePlatform.guis.prologPlusCGGUIs.debuger.Debuger

public class Debuger

extends java.lang.Object

Title : Debuger class

Description : Debuger is a class that enclose methods that treat the different cases of Debug.

Copyright: Copyright (c) Adil KABBAJ, 2004-2009

Field Summary

InferenceTree	inferenceTreeDbg
InterpreterThread	interpreterThread
Resolution	resolution

Constructor Summary

Debuger(InterpreterThread interpreterThread)

Method Summary

void	backtrack(java.lang.Object goal, java.lang.Integer indx)
void	close()
void	endOfGoalResolution(boolean unifiable)
void	finalize()
void	goalPrimitive(java.lang.String signature) Debug a Primitive.
void	goalVariable(ObjectWithBindInf objIndx) Debug the resolution of a goal that is variable.
void	initDebuger()
boolean	isStopDebug()
void	pushRuleTail(Rule rule, java.lang.Integer level)
void	startDebuger()
void	stopDebug()

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

inferenceTreeDbg

public InferenceTree inferenceTreeDbg

interpreterThread

public InterpreterThread interpreterThread

resolution

public Resolution resolution

Constructor Detail

Debuger

public Debuger(InterpreterThread interpreterThread)

Method Detail

startDebuger

public void startDebuger()

finalize

public void finalize()

goalVariable

public void goalVariable(ObjectWithBindInf objIndx)

Debug the resolution of a goal that is variable. The parameter objIndx is the value of the goal-variable.

Parameters:

objIndx -

goalPrimitive

public void goalPrimitive(java.lang.String signature)

Debug a Primitive.

Parameters:

signature - is the signature of the primitive to debug

endOfGoalResolution

public void endOfGoalResolution(boolean unifiable)

initDebuger

public void initDebuger()

pushRuleTail

public void pushRuleTail(Rule rule,
                         java.lang.Integer level)

stopDebug

public void stopDebug()

close

public void close()

isStopDebug

public boolean isStopDebug()

backtrack

public void backtrack(java.lang.Object goal,
                      java.lang.Integer indx)