| 
 | GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectgnu.prolog.io.ReadOptions
public class ReadOptions
this class contains representation of ISO prolog read options.
| Field Summary | |
|---|---|
|  OperatorSet | operatorSetCurrent 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 | 
|---|
public final List<Term> variables
public final Map<String,VariableTerm> variableNames
public final Map<String,VariableTerm> singletons
public OperatorSet operatorSet
| Constructor Detail | 
|---|
public ReadOptions(OperatorSet opSet)
opSet - | 
 | GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||