---

Overview Package Class Use Tree Deprecated Index Help		GNU Prolog for Java
PREV CLASS NEXT CLASS	FRAMES NO FRAMES All Classes
SUMMARY: NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

gnu.prolog.vm
Class Environment

java.lang.Object
 extended by gnu.prolog.vm.Environment

All Implemented Interfaces:

PredicateListener, EventListener

---

public class Environment
extends Object
implements PredicateListener

this class represent prolog processor.

---

Nested Class Summary
static class	Environment.DoubleQuotesValue The possible values of the double_quotes flag
protected static class	Environment.PrologCodeListenerRef

Field Summary
protected Map<AtomTerm,PrologStream>	alias2stream
protected Map<AtomTerm,Term>	atom2flag atom to flag
static AtomTerm	boundedAtom
protected Set<AtomTerm>	changableFlags
static AtomTerm	charConversionAtom
protected PrologStream	currentInput
protected PrologStream	currentOutput
static AtomTerm	debugAtom
static AtomTerm	dialectAtom
static AtomTerm	dialectTerm
static AtomTerm	doubleQuotesAtom
static AtomTerm	downAtom
static AtomTerm	errorAtom
static AtomTerm	flagValueAtom
static AtomTerm	integerRoundingFunctionAtom
static IntegerTerm	maxIntegerTerm
static IntegerTerm	minIntegerTerm
static AtomTerm	modifyAtom
static AtomTerm	offAtom
static AtomTerm	onAtom
protected List<PrologStream>	openStreams
protected OperatorSet	opSet
static CompoundTermTag	plusTag
protected ReferenceQueue<? super PrologCodeListener>	prologCodeListenerReferenceQueue
static AtomTerm	prologFlagAtom
protected PrologTextLoaderState	prologTextLoaderState current state of loaded database
protected Map<CompoundTermTag,PrologCode>	tag2code PredicateTag to code mapping
protected Map<CompoundTermTag,List<Environment.PrologCodeListenerRef>>	tag2listeners
static AtomTerm	towardZeroAtom
protected PrologCode	undefinedPredicate predicate which used instead of real code when predicate is not defined
static AtomTerm	unknownAtom
protected PrologStream	userInput
protected PrologStream	userOutput
static AtomTerm	versionAtom
static IntegerTerm	versionTerm
static AtomTerm	warningAtom

Constructor Summary
Environment() constructor of environment, it loads buildins to database at start.
Environment(InputStream stdin, OutputStream stdout)

Method Summary
void	addPrologCodeListener(CompoundTermTag tag, PrologCodeListener listener) add prolog code listener
boolean	close(PrologStream stream)
void	closeStreams() Closes all open streams
Interpreter	createInterpreter() create interpreter for this environment Use this to create different Interpreters for different threads.
protected void	createNewPrologFlag(AtomTerm flag, Term newValue, boolean changable) create a new flag for this environment
protected void	createTextLoader()
void	ensureLoaded(Term term) Ensure that prolog text designated by term is loaded You must use runInitialization(Interpreter) after using this and before expecting answers.
CharConversionTable	getConversionTable()
PrologStream	getCurrentInput()
PrologStream	getCurrentOutput()
static InputStream	getDefaultInputStream()
static OutputStream	getDefaultOutputStream()
List<PrologTextLoaderError>	getLoadingErrors()
Module	getModule()
OperatorSet	getOperatorSet()
PrologCode	getPrologCode(CompoundTermTag tag) get prolog code
Term	getPrologFlag(AtomTerm term) get flag for this environment
Map<AtomTerm,Term>	getPrologFlags() get copy of current state of flags for this environment
PrologTextLoaderState	getPrologTextLoaderState()
Map<PrologStream,List<Term>>	getStreamProperties()
PrologTextLoaderState	getTextLoaderState() Deprecated.
PrologCode	getUndefinedPredicateCode(CompoundTermTag tag) get undefined predicate code
PrologStream	getUserInput()
PrologStream	getUserOutput()
protected void	initEnvironment() Initialize the environment
protected void	initStreams(InputStream stdin, OutputStream stdout)
boolean	isInitialized() true if the environment is currently initialized
PrologCode	loadPrologCode(CompoundTermTag tag) load code for prolog
Term	open(AtomTerm source_sink, AtomTerm mode, PrologStream.OpenOptions options)
protected void	pollPrologCodeListeners()
void	predicateUpdated(PredicateUpdatedEvent evt)
void	removePrologCodeListener(CompoundTermTag tag, PrologCodeListener listener) remove prolog code listener
PrologStream	resolveStream(Term stream_or_alias)
void	runInitialization(Interpreter interpreter) Run the initialization.
void	setCurrentInput(PrologStream stream)
void	setCurrentOutput(PrologStream stream)
static void	setDefaultInputStream(InputStream defaultInputStream)
static void	setDefaultOutputStream(OutputStream defaultOutputStream)
void	setPrologFlag(AtomTerm flag, Term newValue)

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

opSet

protected OperatorSet opSet

---

prologTextLoaderState

protected PrologTextLoaderState prologTextLoaderState

current state of loaded database

---

undefinedPredicate

protected PrologCode undefinedPredicate

predicate which used instead of real code when predicate is not defined

---

tag2code

protected Map<CompoundTermTag,PrologCode> tag2code

PredicateTag to code mapping

---

boundedAtom

public static final AtomTerm boundedAtom

---

integerRoundingFunctionAtom

public static final AtomTerm integerRoundingFunctionAtom

---

downAtom

public static final AtomTerm downAtom

---

towardZeroAtom

public static final AtomTerm towardZeroAtom

---

charConversionAtom

public static final AtomTerm charConversionAtom

---

onAtom

public static final AtomTerm onAtom

---

offAtom

public static final AtomTerm offAtom

---

debugAtom

public static final AtomTerm debugAtom

---

unknownAtom

public static final AtomTerm unknownAtom

---

errorAtom

public static final AtomTerm errorAtom

---

warningAtom

public static final AtomTerm warningAtom

---

doubleQuotesAtom

public static final AtomTerm doubleQuotesAtom

---

dialectAtom

public static final AtomTerm dialectAtom

---

versionAtom

public static final AtomTerm versionAtom

---

maxIntegerTerm

public static final IntegerTerm maxIntegerTerm

---

minIntegerTerm

public static final IntegerTerm minIntegerTerm

---

dialectTerm

public static final AtomTerm dialectTerm

---

versionTerm

public static final IntegerTerm versionTerm

---

prologFlagAtom

public static final AtomTerm prologFlagAtom

---

flagValueAtom

public static final AtomTerm flagValueAtom

---

modifyAtom

public static final AtomTerm modifyAtom

---

plusTag

public static final CompoundTermTag plusTag

---

atom2flag

protected Map<AtomTerm,Term> atom2flag

atom to flag

---

changableFlags

protected Set<AtomTerm> changableFlags

---

tag2listeners

protected Map<CompoundTermTag,List<Environment.PrologCodeListenerRef>> tag2listeners

---

prologCodeListenerReferenceQueue

protected ReferenceQueue<? super PrologCodeListener> prologCodeListenerReferenceQueue

---

userInput

protected PrologStream userInput

---

userOutput

protected PrologStream userOutput

---

currentInput

protected PrologStream currentInput

---

currentOutput

protected PrologStream currentOutput

---

openStreams

protected List<PrologStream> openStreams

---

alias2stream

protected Map<AtomTerm,PrologStream> alias2stream

Constructor Detail

Environment

public Environment()

constructor of environment, it loads buildins to database at start.

---

Environment

public Environment(InputStream stdin,
 OutputStream stdout)

Method Detail

initEnvironment

protected void initEnvironment()

Initialize the environment

---

createTextLoader

protected void createTextLoader()

---

getTextLoaderState

@Deprecated
public PrologTextLoaderState getTextLoaderState()

Deprecated.

---

isInitialized

public boolean isInitialized()

true if the environment is currently initialized

Returns:

if the environment is currently initialized

---

runInitialization

public void runInitialization(Interpreter interpreter)

Run the initialization. This executes any goals loaded into the initailization list by the :-initialization(Goal). directive or by the use of the NONISO abbreviation :- Goal. This should be run after ensureLoaded(Term) with the Interpreter obtained from createInterpreter().

Parameters:

interpreter -

---

getPrologFlags

public Map<AtomTerm,Term> getPrologFlags()

get copy of current state of flags for this environment

Returns:

copy of current state of flags for this environment

---

getPrologFlag

public Term getPrologFlag(AtomTerm term)

get flag for this environment

Parameters:

term - the flag to get the value of

Returns:

the value of the flag

---

createNewPrologFlag

protected void createNewPrologFlag(AtomTerm flag,
 Term newValue,
 boolean changable)

create a new flag for this environment

Parameters:

flag - the flag to add

newValue - the value of the flag

changable - whether the flag's value can be changed

---

setPrologFlag

public void setPrologFlag(AtomTerm flag,
 Term newValue)
 throws PrologException

Throws:

PrologException

---

getLoadingErrors

public List<PrologTextLoaderError> getLoadingErrors()

---

getPrologTextLoaderState

public PrologTextLoaderState getPrologTextLoaderState()

---

ensureLoaded

public void ensureLoaded(Term term)

Ensure that prolog text designated by term is loaded You must use runInitialization(Interpreter) after using this and before expecting answers.

Parameters:

term -

See Also:

Predicate_ensure_loaded

---

createInterpreter

public Interpreter createInterpreter()

create interpreter for this environment Use this to create different Interpreters for different threads.

Returns:

an interpreter for this environment.

---

getModule

public Module getModule()

---

loadPrologCode

public PrologCode loadPrologCode(CompoundTermTag tag)
 throws PrologException

load code for prolog

Parameters:

tag - the tag of the PrologCode to load

Returns:

the loaded PrologCode

Throws:

PrologException

---

getUndefinedPredicateCode

public PrologCode getUndefinedPredicateCode(CompoundTermTag tag)

get undefined predicate code

Parameters:

tag -

Returns:

---

getPrologCode

public PrologCode getPrologCode(CompoundTermTag tag)
 throws PrologException

get prolog code

Parameters:

tag -

Returns:

the PrologCode for the tag

Throws:

PrologException

---

pollPrologCodeListeners

protected void pollPrologCodeListeners()

---

addPrologCodeListener

public void addPrologCodeListener(CompoundTermTag tag,
 PrologCodeListener listener)

add prolog code listener

Parameters:

tag -

listener -

---

removePrologCodeListener

public void removePrologCodeListener(CompoundTermTag tag,
 PrologCodeListener listener)

remove prolog code listener

Parameters:

tag -

listener -

---

predicateUpdated

public void predicateUpdated(PredicateUpdatedEvent evt)

Specified by:

predicateUpdated in interface PredicateListener

---

getDefaultInputStream

public static InputStream getDefaultInputStream()

Returns:

the defaultInputStream

---

setDefaultInputStream

public static void setDefaultInputStream(InputStream defaultInputStream)

Parameters:

defaultInputStream - the defaultInputStream to set

---

getDefaultOutputStream

public static OutputStream getDefaultOutputStream()

Returns:

the defaultOutputStream

---

setDefaultOutputStream

public static void setDefaultOutputStream(OutputStream defaultOutputStream)

Parameters:

defaultOutputStream - the defaultOutputStream to set

---

getOperatorSet

public OperatorSet getOperatorSet()

---

initStreams

protected void initStreams(InputStream stdin,
 OutputStream stdout)

---

getUserInput

public PrologStream getUserInput()
 throws PrologException

Throws:

PrologException

---

getUserOutput

public PrologStream getUserOutput()
 throws PrologException

Throws:

PrologException

---

getCurrentInput

public PrologStream getCurrentInput()
 throws PrologException

Throws:

PrologException

---

getCurrentOutput

public PrologStream getCurrentOutput()
 throws PrologException

Throws:

PrologException

---

setCurrentInput

public void setCurrentInput(PrologStream stream)
 throws PrologException

Throws:

PrologException

---

setCurrentOutput

public void setCurrentOutput(PrologStream stream)
 throws PrologException

Throws:

PrologException

---

getStreamProperties

public Map<PrologStream,List<Term>> getStreamProperties()
 throws PrologException

Throws:

PrologException

---

resolveStream

public PrologStream resolveStream(Term stream_or_alias)
 throws PrologException

Throws:

PrologException

---

open

public Term open(AtomTerm source_sink,
 AtomTerm mode,
 PrologStream.OpenOptions options)
 throws PrologException

Throws:

PrologException

---

close

public boolean close(PrologStream stream)
 throws PrologException

Parameters:

stream -

Returns:

true if we closed and false if we did not close.

Throws:

PrologException

---

closeStreams

public void closeStreams()

Closes all open streams

---

getConversionTable

public CharConversionTable getConversionTable()

Returns:

the convTable

---

Overview Package Class Use Tree Deprecated Index Help		GNU Prolog for Java
PREV CLASS NEXT CLASS	FRAMES NO FRAMES All Classes
SUMMARY: NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---