gnu.prolog.vm.interpreter.instruction
Class ISaveCut

java.lang.Object
  gnu.prolog.vm.interpreter.instruction.Instruction
      gnu.prolog.vm.interpreter.instruction.ISaveCut

All Implemented Interfaces:

Installable

public class ISaveCut
extends Instruction

save latest choice point as cut position instruction

Field Summary

int	environmentIndex index in environment where cut position is kept, cut position is kept as JavaObjectTerm containing BacktrackInfo until which all should be be popped

Fields inherited from class gnu.prolog.vm.interpreter.instruction.Instruction

codePosition

Constructor Summary

ISaveCut(int environmentIndex)
a constructor

Method Summary

int	execute(ExecutionState state, BacktrackInfo bi) execute call instruction within specified sate
String	toString() convert instruction to string

Methods inherited from class gnu.prolog.vm.interpreter.instruction.Instruction

install, uninstall

Methods inherited from class java.lang.Object

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

Field Detail

environmentIndex

public int environmentIndex

index in environment where cut position is kept, cut position is kept as JavaObjectTerm containing BacktrackInfo until which all should be be popped

Constructor Detail

ISaveCut

public ISaveCut(int environmentIndex)

a constructor

Parameters:

environmentIndex -

Method Detail

execute

public int execute(ExecutionState state,
                   BacktrackInfo bi)
            throws PrologException

execute call instruction within specified sate

Specified by:

execute in class Instruction

Parameters:

state - state within which instruction will be executed

Returns:

instruction to caller how to execute next instruction

Throws:

PrologException - if code is throwing prolog exception

toString

public String toString()

convert instruction to string

Overrides:

toString in class Object