Uses of Class
gnu.prolog.vm.PrologException

Packages that use PrologException

gnu.prolog.demo.mentalarithmetic	This package contains a simple demo program showing how to use gnu.prolog in java programs in order to do backtracking search.
gnu.prolog.vm
gnu.prolog.vm.buildins.allsolutions
gnu.prolog.vm.buildins.arithmetics
gnu.prolog.vm.buildins.atomicterms
gnu.prolog.vm.buildins.database
gnu.prolog.vm.buildins.datetime
gnu.prolog.vm.buildins.debug
gnu.prolog.vm.buildins.dialogs
gnu.prolog.vm.buildins.imphooks
gnu.prolog.vm.buildins.io
gnu.prolog.vm.buildins.java
gnu.prolog.vm.buildins.list
gnu.prolog.vm.buildins.misc
gnu.prolog.vm.buildins.termcomparsion
gnu.prolog.vm.buildins.termcreation
gnu.prolog.vm.buildins.typetesting
gnu.prolog.vm.buildins.unification
gnu.prolog.vm.buildins.uuid
gnu.prolog.vm.interpreter	InterpretedCodeCompiler uses the various classes beginning with I and extending Instruction in the instruction sub-package to compile clauses to InterpretedByteCode.
gnu.prolog.vm.interpreter.instruction

Uses of PrologException in gnu.prolog.demo.mentalarithmetic

Methods in gnu.prolog.demo.mentalarithmetic that throw PrologException

static Pair<String,Integer>

MentalArithmetic.generateQuestion(int limit, int length)

Uses of PrologException in gnu.prolog.vm

Methods in gnu.prolog.vm that throw PrologException

void	PrologStream.checkExists()
void	TextOutputPrologStream.close(boolean force)
void	PrologStream.close(boolean force)
void	TextInputPrologStream.close(boolean force)
void	BinaryPrologStream.close(boolean force)
boolean	Environment.close(PrologStream stream)
static void	PrologException.domainError(AtomTerm errorType, Term errorTerm)
static Term	Evaluate.evaluate(Term term)
static void	PrologException.evalutationError(AtomTerm error)
int	Interpreter.execute(Interpreter.Goal goal) Execute the Interpreter.Goal and return the status code indicating how successful this was.
int	UndefinedPredicateCode.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
abstract int	ExecuteOnlyCode.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	PrologCode.execute(Interpreter interpreter, boolean backtrackMode, Term[] args) this method is used for execution of code
static void	PrologException.existenceError(AtomTerm errorType, Term errorTerm)
void	TextOutputPrologStream.flushOutput(Term streamTerm)
abstract void	PrologStream.flushOutput(Term streamTerm)
void	TextInputPrologStream.flushOutput(Term streamTerm)
void	BinaryPrologStream.flushOutput(Term streamTerm)
int	TextOutputPrologStream.getByte(Term streamTerm, Interpreter interptreter)
abstract int	PrologStream.getByte(Term streamTerm, Interpreter interpreter)
int	TextInputPrologStream.getByte(Term streamTerm, Interpreter interptreter)
int	BinaryPrologStream.getByte(Term streamTerm, Interpreter interptreter)
int	TextOutputPrologStream.getCode(Term streamTerm, Interpreter interptreter)
abstract int	PrologStream.getCode(Term streamTerm, Interpreter interpreter)
int	TextInputPrologStream.getCode(Term streamTerm, Interpreter interptreter)
int	BinaryPrologStream.getCode(Term streamTerm, Interpreter interptreter)
PrologStream	Environment.getCurrentInput()
PrologStream	Environment.getCurrentOutput()
Term	PrologStream.getEndOfStreamState()
Term	BinaryPrologStream.getEndOfStreamState()
Term	TextOutputPrologStream.getPosition(Term streamTerm, Interpreter interptreter)
abstract Term	PrologStream.getPosition(Term streamTerm, Interpreter interpreter)
Term	TextInputPrologStream.getPosition(Term streamTerm, Interpreter interptreter)
Term	BinaryPrologStream.getPosition(Term streamTerm, Interpreter interptreter)
PrologCode	Environment.getPrologCode(CompoundTermTag tag) get prolog code
void	PrologStream.getProperties(List<Term> list)
Map<PrologStream,List<Term>>	Environment.getStreamProperties()
PrologStream	Environment.getUserInput()
PrologStream	Environment.getUserOutput()
static void	PrologException.instantiationError()
PrologCode	Environment.loadPrologCode(CompoundTermTag tag) load code for prolog
int	PrologCollectionIterator.nextSolution(Interpreter interpreter) Get the next value
Term	Environment.open(AtomTerm source_sink, AtomTerm mode, PrologStream.OpenOptions options)
int	TextOutputPrologStream.peekByte(Term streamTerm, Interpreter interptreter)
abstract int	PrologStream.peekByte(Term streamTerm, Interpreter interpreter)
int	TextInputPrologStream.peekByte(Term streamTerm, Interpreter interptreter)
int	BinaryPrologStream.peekByte(Term streamTerm, Interpreter interptreter)
int	TextOutputPrologStream.peekCode(Term streamTerm, Interpreter interptreter)
abstract int	PrologStream.peekCode(Term streamTerm, Interpreter interpreter)
int	TextInputPrologStream.peekCode(Term streamTerm, Interpreter interptreter)
int	BinaryPrologStream.peekCode(Term streamTerm, Interpreter interptreter)
static void	PrologException.permissionError(AtomTerm operation, AtomTerm permissionType, Term culprit)
void	TextOutputPrologStream.putByte(Term streamTerm, Interpreter interptreter, int _byte)
abstract void	PrologStream.putByte(Term streamTerm, Interpreter interpreter, int _byte)
void	TextInputPrologStream.putByte(Term streamTerm, Interpreter interptreter, int _byte)
void	BinaryPrologStream.putByte(Term streamTerm, Interpreter interptreter, int _byte)
void	TextOutputPrologStream.putCode(Term streamTerm, Interpreter interptreter, int code)
abstract void	PrologStream.putCode(Term streamTerm, Interpreter interpreter, int code)
void	TextInputPrologStream.putCode(Term streamTerm, Interpreter interptreter, int code)
void	BinaryPrologStream.putCode(Term streamTerm, Interpreter interptreter, int code)
void	TextOutputPrologStream.putCodeSequence(Term streamTerm, Interpreter interptreter, String seq)
abstract void	PrologStream.putCodeSequence(Term streamTerm, Interpreter interpreter, String seq)
void	TextInputPrologStream.putCodeSequence(Term streamTerm, Interpreter interptreter, String seq)
void	BinaryPrologStream.putCodeSequence(Term streamTerm, Interpreter interptreter, String seq)
Term	TextOutputPrologStream.readTerm(Term streamTerm, Interpreter interptreter, ReadOptions options)
abstract Term	PrologStream.readTerm(Term streamTerm, Interpreter interpreter, ReadOptions options)
Term	TextInputPrologStream.readTerm(Term streamTerm, Interpreter interptreter, ReadOptions options)
Term	BinaryPrologStream.readTerm(Term streamTerm, Interpreter i, ReadOptions o)
static void	PrologException.representationError(Term errorTerm)
PrologStream	Environment.resolveStream(Term stream_or_alias)
int	Interpreter.runOnce(Term goalTerm) Run the provided goalTerm once returning the value returned by Interpreter.execute(Goal) and then stop the goal.
void	Environment.setCurrentInput(PrologStream stream)
void	Environment.setCurrentOutput(PrologStream stream)
void	TextOutputPrologStream.setPosition(Term streamTerm, Interpreter interptreter, Term position)
abstract void	PrologStream.setPosition(Term streamTerm, Interpreter interpreter, Term pos)
void	TextInputPrologStream.setPosition(Term streamTerm, Interpreter interptreter, Term position)
void	BinaryPrologStream.setPosition(Term streamTerm, Interpreter interptreter, Term position)
void	Environment.setPrologFlag(AtomTerm flag, Term newValue)
int	Interpreter.simpleUnify(Term t1, Term t2) unify two terms, no undo done
static void	PrologException.syntaxError(AtomTerm term)
static void	PrologException.syntaxError(AtomTerm term, Throwable inner)
static void	PrologException.syntaxError(ParseException ex)
static void	PrologException.systemError()
static void	PrologException.systemError(Throwable inner)
static void	PrologException.typeError(AtomTerm errorType, Term errorTerm)
protected static void	Evaluate.typeTestInt(Term term) Test the term for an integer term
int	Interpreter.unify(Term t1, Term t2) unify two terms
void	TextOutputPrologStream.writeTerm(Term streamTerm, Interpreter interptreter, WriteOptions options, Term term)
abstract void	PrologStream.writeTerm(Term streamTerm, Interpreter interpreter, WriteOptions options, Term term)
void	TextInputPrologStream.writeTerm(Term streamTerm, Interpreter interptreter, WriteOptions options, Term term)
void	BinaryPrologStream.writeTerm(Term streamTerm, Interpreter i, WriteOptions o, Term t)

Constructors in gnu.prolog.vm that throw PrologException

BinaryPrologStream(AtomTerm fileAtom, AtomTerm mode, PrologStream.OpenOptions options)

TextInputPrologStream(PrologStream.OpenOptions options, Reader rd)

Uses of PrologException in gnu.prolog.vm.buildins.allsolutions

Methods in gnu.prolog.vm.buildins.allsolutions that throw PrologException

static void	Predicate_findall.checkList(Term list) Check that list is a valid Prolog list (including an uninstantiated variable)
int	Predicate_bagof.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_findall.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
static int	Predicate_findall.findall(Interpreter interpreter, boolean backtrackMode, Term template, Term goal, List<Term> list)
int	Predicate_bagof.nextSolution(Interpreter interpreter, gnu.prolog.vm.buildins.allsolutions.Predicate_bagof.BagOfBacktrackInfo bi)

Uses of PrologException in gnu.prolog.vm.buildins.arithmetics

Methods in gnu.prolog.vm.buildins.arithmetics that throw PrologException

int	Predicate_not_equal.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_greater_than.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_less_than_or_equal.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_greater_than_or_equal.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_less_than.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_equal.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_is.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)

Uses of PrologException in gnu.prolog.vm.buildins.atomicterms

Methods in gnu.prolog.vm.buildins.atomicterms that throw PrologException

int	Predicate_number_chars.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_atom_concat.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_atom_chars.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_number_codes.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_char_code.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_sub_atom.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_atom_codes.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_atom_length.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)

Uses of PrologException in gnu.prolog.vm.buildins.database

Methods in gnu.prolog.vm.buildins.database that throw PrologException

int	Predicate_abolish.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_current_predicate.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_clause.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_retract.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_assert.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
static Term	Predicate_assert.prepareBody(Term body, Term term)

Uses of PrologException in gnu.prolog.vm.buildins.datetime

Methods in gnu.prolog.vm.buildins.datetime that throw PrologException

int	Predicate_stamp_date_time.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_format_time.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_date_time_stamp.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_date_time_value.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_parse_time.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_get_time.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
static Date	DateTimePrologCode.getDate(Term term)
protected Term	Predicate_date_time_value.getDate9Value(Term term, CompoundTerm date9)
protected int	Predicate_date_time_value.nextSolution(Interpreter interpreter, gnu.prolog.vm.buildins.datetime.Predicate_date_time_value.Date9BacktrackInfo bi)

Uses of PrologException in gnu.prolog.vm.buildins.debug

Methods in gnu.prolog.vm.buildins.debug that throw PrologException

int	Predicate_nospyall.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_trace.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_spy.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_debugging.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_nospy.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_notrace.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_tracing.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
static CompoundTermTag	Predicate_spy.getTag(Term term)
static EnumSet<Tracer.TraceLevel>	Predicate_spy.getTraceLevel(Term term)
protected void	Predicate_spy.setSpyPoint(Interpreter interpreter, CompoundTermTag tag, Term arg)

Uses of PrologException in gnu.prolog.vm.buildins.dialogs

Methods in gnu.prolog.vm.buildins.dialogs that throw PrologException

protected JFileChooser	Predicate_file_save.createFileDialog(Term[] args)
int	Predicate_prompt.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_message.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_confirm.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_file_open.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_file_save.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
protected Predicate_dialog.DialogOptions	Predicate_dialog.processOptions(Term optionsList) Process dialog options

Constructors in gnu.prolog.vm.buildins.dialogs that throw PrologException

TermFileFilter(Term term)

Uses of PrologException in gnu.prolog.vm.buildins.imphooks

Methods in gnu.prolog.vm.buildins.imphooks that throw PrologException

int	Predicate_set_prolog_flag.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_halt.execute(Interpreter interpreter, boolean backtrackMode, Term[] args) this method is used for execution of code Halts execution by throwing PrologHalt DO NOT catch this.
int	Predicate_current_prolog_flag.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)

Uses of PrologException in gnu.prolog.vm.buildins.io

Methods in gnu.prolog.vm.buildins.io that throw PrologException

int	Predicate_current_input.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_current_output.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_flush_output.execute(Interpreter interpreter, boolean backtrackMode, Term[] args) this method is used for execution of code
int	Predicate_set_stream_position.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_set_output.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_peek_char.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_op.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_current_op.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_get_byte.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_ensure_loaded.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_read_term.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_set_input.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_at_end_of_stream.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_put_char.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_char_conversion.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_stream_property.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_peek_byte.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_put_byte.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_current_char_conversion.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_write_term.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_get_char.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_open.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_close.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)

Uses of PrologException in gnu.prolog.vm.buildins.java

Methods in gnu.prolog.vm.buildins.java that throw PrologException

int	Predicate_java_classname.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_java_to_string.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)

Uses of PrologException in gnu.prolog.vm.buildins.list

Methods in gnu.prolog.vm.buildins.list that throw PrologException

int	Predicate_msort.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_member.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_predsort.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_append.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_sort.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_is_list.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_length.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
protected Comparator<? super Term>	Predicate_predsort.getComparator(Interpreter interpreter, Term sorter)
protected int	Predicate_append.nextSolution(Interpreter interpreter, Predicate_append.AppendBacktrackInfo bi)
protected int	Predicate_member.nextSolution(Interpreter interpreter, Predicate_member.MemberBacktrackInfo bi)

Uses of PrologException in gnu.prolog.vm.buildins.misc

Methods in gnu.prolog.vm.buildins.misc that throw PrologException

int	Predicate_stacktrace.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_current_functor.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_listing.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)

Uses of PrologException in gnu.prolog.vm.buildins.termcomparsion

Methods in gnu.prolog.vm.buildins.termcomparsion that throw PrologException

int	Predicate_term_greater_then_or_equal.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_term_not_identical.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_term_less_then_or_equal.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_term_less_then.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_compare.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_term_greater_then.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_term_identical.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)

Uses of PrologException in gnu.prolog.vm.buildins.termcreation

Methods in gnu.prolog.vm.buildins.termcreation that throw PrologException

int	Predicate_arg.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_univ.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_copy_term.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_functor.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)

Uses of PrologException in gnu.prolog.vm.buildins.typetesting

Methods in gnu.prolog.vm.buildins.typetesting that throw PrologException

int	Predicate_atom.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_compound.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_nonvar.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_atomic.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_number.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_var.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_float.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_java_object.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_integer.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)

Uses of PrologException in gnu.prolog.vm.buildins.unification

Methods in gnu.prolog.vm.buildins.unification that throw PrologException

int	Predicate_not_unifiable.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_unify_with_occurs_check.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_unify.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)

Uses of PrologException in gnu.prolog.vm.buildins.uuid

Methods in gnu.prolog.vm.buildins.uuid that throw PrologException

int	Predicate_uuid_variant.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_uuid_compare.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_uuid_version.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_uuid3.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
int	Predicate_uuid4.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
static UUID	Predicate_uuid.getUUID(Term value) Get the UUID from an atom term.

Uses of PrologException in gnu.prolog.vm.interpreter

Methods in gnu.prolog.vm.interpreter that throw PrologException

static PrologCode	InterpretedCodeCompiler.compile(List<Term> passedClauses) compile set of clauses to interpreted code
int	InterpretedByteCode.execute(Interpreter interpreter, boolean backtrackMode, Term[] args) this method is used for execution of code
int	Predicate_call.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)
static int	Predicate_call.staticExecute(Interpreter interpreter, boolean backtrackMode, Term arg) this method is used for execution of code

Uses of PrologException in gnu.prolog.vm.interpreter.instruction

Methods in gnu.prolog.vm.interpreter.instruction that throw PrologException

protected void	ICall.ensureLoaded(Environment env) ensure that code is loaded in predicate
int	IFail.execute(ExecutionState state, BacktrackInfo backtrackInfo) execute call instruction within specified sate
int	ISaveState.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IAllocate.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IUnify.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IStoreEnvironment.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	ICreateCompoundTerm.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	ITrue.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	ITryMeElse.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IRetryMeElse.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	ITrustMe.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IJump.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	ICreateVariable.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	ICut.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	ICall.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IPop.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
abstract int	Instruction.execute(ExecutionState state, BacktrackInfo bi) execute instruction
int	IReturn.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IPushArgument.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	ISaveCut.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IPushEnvironment.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IPushConstant.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IDup.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IRestoreState.execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
int	IThrow.execute(ExecutionState state, BacktrackInfo backtrackInfo) execute call instruction within specified sate