gnu.prolog.vm.interpreter
Class InterpretedByteCode

java.lang.Object
  gnu.prolog.vm.interpreter.InterpretedByteCode

All Implemented Interfaces:

Installable, PrologCode, PrologCodeListener, EventListener

public class InterpretedByteCode
extends Object
implements PrologCode, PrologCodeListener

Interpreted Code. This class is used by call_term instruction and InterpretedCode

Field Summary

protected CompoundTermTag	codeTag tag of this code
protected AtomicTerm[]	constants constants used by code
protected ExceptionHandlerInfo[]	exceptionHandlers set of exception handlers
static int	IALLOCATE
static int	ICALL
static int	ICREATE_COMPOUND
static int	ICREATE_VARIABLE
static int	ICUT
static int	IDUP
static int	IFAIL
static int	IJUMP
protected byte[]	instructions set of instructions
static int	IPOP
static int	IPUSH_ARGUMENT
static int	IPUSH_CONSTANT
static int	IPUSH_ENVIRONMENT
static int	IRETRY_ME_ELSE
static int	IRETURN
static int	ISAVE_CUT
static int	ISTORE_ENVIRONMENT
static int	ITHROW
static int	ITRUE
static int	ITRUST_ME
static int	ITRY_ME_ELSE
static int	IUNIFY
protected PrologCode[]	predicateCodes predicate codes used by code
protected CompoundTermTag[]	tags tags used by code

Fields inherited from interface gnu.prolog.vm.PrologCode

FAIL, HALT, SUCCESS, SUCCESS_LAST

Constructor Summary

protected

InterpretedByteCode(CompoundTermTag codeTag, Instruction[] isrc, ExceptionHandlerInfo[] ehs) constructor of code

Method Summary

int	execute(Interpreter interpreter, boolean backtrackMode, Term[] args) this method is used for execution of code
String	getIntruction(int currentPosition) convert code to string
void	install(Environment env) this method is called when code is installed to the environment code can be installed only for one environment.
protected void	pass1(Instruction[] isrc, int[] ipos, Map<CompoundTermTag,Integer> tag2idx, Map<AtomicTerm,Integer> constant2idx)
protected void	pass2(Instruction[] isrc, int[] ipos, Map<CompoundTermTag,Integer> tag2idx, Map<AtomicTerm,Integer> constant2idx)
void	prologCodeUpdated(PrologCodeUpdatedEvent evt) this method is called when prolog code was updated
String	toString() convert code to string
void	uninstall(Environment env) this method is called when code is uninstalled from the environment

Methods inherited from class java.lang.Object

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

Field Detail

codeTag

protected CompoundTermTag codeTag

tag of this code

tags

protected CompoundTermTag[] tags

tags used by code

constants

protected AtomicTerm[] constants

constants used by code

predicateCodes

protected PrologCode[] predicateCodes

predicate codes used by code

instructions

protected byte[] instructions

set of instructions

exceptionHandlers

protected ExceptionHandlerInfo[] exceptionHandlers

set of exception handlers

IALLOCATE

public static final int IALLOCATE

See Also:

Constant Field Values

ICALL

public static final int ICALL

See Also:

Constant Field Values

ICREATE_COMPOUND

public static final int ICREATE_COMPOUND

See Also:

Constant Field Values

ICREATE_VARIABLE

public static final int ICREATE_VARIABLE

See Also:

Constant Field Values

ICUT

public static final int ICUT

See Also:

Constant Field Values

IDUP

public static final int IDUP

See Also:

Constant Field Values

IFAIL

public static final int IFAIL

See Also:

Constant Field Values

IJUMP

public static final int IJUMP

See Also:

Constant Field Values

IPOP

public static final int IPOP

See Also:

Constant Field Values

IPUSH_ARGUMENT

public static final int IPUSH_ARGUMENT

See Also:

Constant Field Values

IPUSH_CONSTANT

public static final int IPUSH_CONSTANT

See Also:

Constant Field Values

IPUSH_ENVIRONMENT

public static final int IPUSH_ENVIRONMENT

See Also:

Constant Field Values

IRETRY_ME_ELSE

public static final int IRETRY_ME_ELSE

See Also:

Constant Field Values

IRETURN

public static final int IRETURN

See Also:

Constant Field Values

ISAVE_CUT

public static final int ISAVE_CUT

See Also:

Constant Field Values

ISTORE_ENVIRONMENT

public static final int ISTORE_ENVIRONMENT

See Also:

Constant Field Values

ITHROW

public static final int ITHROW

See Also:

Constant Field Values

ITRUE

public static final int ITRUE

See Also:

Constant Field Values

ITRUST_ME

public static final int ITRUST_ME

See Also:

Constant Field Values

ITRY_ME_ELSE

public static final int ITRY_ME_ELSE

See Also:

Constant Field Values

IUNIFY

public static final int IUNIFY

See Also:

Constant Field Values

Constructor Detail

InterpretedByteCode

protected InterpretedByteCode(CompoundTermTag codeTag,
                              Instruction[] isrc,
                              ExceptionHandlerInfo[] ehs)

constructor of code

Method Detail

pass1

protected void pass1(Instruction[] isrc,
                     int[] ipos,
                     Map<CompoundTermTag,Integer> tag2idx,
                     Map<AtomicTerm,Integer> constant2idx)

pass2

protected void pass2(Instruction[] isrc,
                     int[] ipos,
                     Map<CompoundTermTag,Integer> tag2idx,
                     Map<AtomicTerm,Integer> constant2idx)

execute

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

this method is used for execution of code

Specified by:

execute in interface PrologCode

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

prologCodeUpdated

public void prologCodeUpdated(PrologCodeUpdatedEvent evt)

this method is called when prolog code was updated

Specified by:

prologCodeUpdated in interface PrologCodeListener

install

public void install(Environment env)

this method is called when code is installed to the environment code can be installed only for one environment.

Specified by:

install in interface Installable

Parameters:

env - Environment to install the predicate

uninstall

public void uninstall(Environment env)

this method is called when code is uninstalled from the environment

Specified by:

uninstall in interface Installable

Parameters:

env - Environment to install the predicate

toString

public String toString()

convert code to string

Overrides:

toString in class Object

getIntruction

public String getIntruction(int currentPosition)

convert code to string