---

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.io
Class ReadOptions

java.lang.Object
 extended by gnu.prolog.io.ReadOptions

---

public class ReadOptions
extends Object

this class contains representation of ISO prolog read options.

Version:

0.0.1

Author:

Constantine Plotnikov

---

Field Summary
OperatorSet	operatorSet Current operator set to use in write term.
Map<String,VariableTerm>	singletons 'singletons' ISO Prolog options it is not used currently.
Map<String,VariableTerm>	variableNames 'variable_names' ISO Prolog options
List<Term>	variables 'variables' ISO Prolog options

Constructor Summary
ReadOptions(OperatorSet opSet)

Method Summary

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

Field Detail

variables

public final List<Term> variables

'variables' ISO Prolog options

---

variableNames

public final Map<String,VariableTerm> variableNames

'variable_names' ISO Prolog options

---

singletons

public final Map<String,VariableTerm> singletons

'singletons' ISO Prolog options it is not used currently.

---

operatorSet

public OperatorSet operatorSet

Current operator set to use in write term. User need to set this variable if ignore ops is true.

Constructor Detail

ReadOptions

public ReadOptions(OperatorSet opSet)

Parameters:

opSet -

---

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

---