|
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.WriteOptions
public class WriteOptions
ISO Prolog write options (Section 7.10.4)
| Field Summary | |
|---|---|
boolean |
declaredVariableNames
If true print the name of the variables as they were declared |
boolean |
ignoreOps
If this option is true each compound term is output in functional notation. |
boolean |
javaObjects
Include JavaObjects in the output |
boolean |
javaObjectsToString
Use .toString() in the output |
protected int |
numberOfVariables
Number of used variables. |
boolean |
numbervars
display terms of form '$VAR'(N) as ('A'+ N%26)+""+(N/26). |
OperatorSet |
operatorSet
Current operator set to use in write term. |
boolean |
quoted
If this option is true, each atom and functor is quoted if it would be necessary for to be input by read_term/3 |
protected Map<Term,String> |
variable2name
Map from variables to names. |
| Constructor Summary | |
|---|---|
WriteOptions(OperatorSet opset)
|
|
WriteOptions(OperatorSet opset,
boolean declaredVariableNames,
boolean numbervars,
boolean quoted)
|
|
| Method Summary | |
|---|---|
Object |
clone()
|
| Methods inherited from class java.lang.Object |
|---|
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public boolean quoted
public boolean ignoreOps
public boolean numbervars
protected int numberOfVariables
protected Map<Term,String> variable2name
public boolean declaredVariableNames
public boolean javaObjects
public boolean javaObjectsToString
public OperatorSet operatorSet
| Constructor Detail |
|---|
public WriteOptions(OperatorSet opset)
opset - the OperatorSet to use for this WriteOptions
public WriteOptions(OperatorSet opset,
boolean declaredVariableNames,
boolean numbervars,
boolean quoted)
| Method Detail |
|---|
public Object clone()
clone in class Object
|
GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||