GNU Prolog for Java

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 -

GNU Prolog for Java