gnu.prolog.io
Class ReadOptions

java.lang.Object
  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 -