gnu.prolog.vm
Class UndefinedPredicateCode

java.lang.Object
  gnu.prolog.vm.ExecuteOnlyCode
      gnu.prolog.vm.UndefinedPredicateCode

All Implemented Interfaces:

Installable, PrologCode

public class UndefinedPredicateCode
extends ExecuteOnlyCode

prolog code

Field Summary

static AtomTerm	errorAtom
protected CompoundTerm	predicateIndicator predicate indicator for this procedure
protected CompoundTermTag	predicateTag predicate tag
static AtomTerm	procedureAtom
static AtomTerm	unknownAtom
static AtomTerm	warningAtom

Fields inherited from interface gnu.prolog.vm.PrologCode

FAIL, HALT, SUCCESS, SUCCESS_LAST

Constructor Summary

UndefinedPredicateCode(CompoundTermTag predicateTag)
construct new instance of undefiend predicate

Method Summary

int	execute(Interpreter interpreter, boolean backtrackMode, Term[] args) this method is used for execution of code

Methods inherited from class gnu.prolog.vm.ExecuteOnlyCode

install, uninstall

Methods inherited from class java.lang.Object

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

Field Detail

predicateIndicator

protected CompoundTerm predicateIndicator

predicate indicator for this procedure

predicateTag

protected CompoundTermTag predicateTag

predicate tag

unknownAtom

public static final AtomTerm unknownAtom

errorAtom

public static final AtomTerm errorAtom

warningAtom

public static final AtomTerm warningAtom

procedureAtom

public static final AtomTerm procedureAtom

Constructor Detail

UndefinedPredicateCode

public UndefinedPredicateCode(CompoundTermTag predicateTag)

construct new instance of undefiend predicate

Method Detail

execute

public int execute(Interpreter interpreter,
                   boolean backtrackMode,
                   Term[] args)
            throws PrologException

Description copied from interface: PrologCode

this method is used for execution of code

Specified by:

execute in interface PrologCode

Specified by:

execute in class ExecuteOnlyCode

Parameters:

interpreter - interpreter in which context code is executed

backtrackMode - true if predicate is called on backtracking and false otherwise

args - arguments of code

Returns:

either SUCCESS, SUCCESS_LAST, or FAIL.

Throws:

PrologException