uk.ac.bbk.dcs.automed.qproc.iql
Class TextIQL

java.lang.Object
  extended by uk.ac.bbk.dcs.automed.qproc.iql.TextIQL

 class TextIQL
extends java.lang.Object

Class that handles all conversion from IQL to text.


Field Summary
(package private)  int column
           
(package private)  int MAX_INDENT
           
(package private)  boolean obid
           
(package private)  java.io.Writer osw
           
 
Constructor Summary
TextIQL()
          USE WITH CARE: if the resulting string is huge, an out of memory error will occur.
TextIQL(java.io.File f)
           
TextIQL(java.io.PrintStream ps)
           
 
Method Summary
private  void auxPrintCompBody(Cell n, boolean f)
           
private  void auxPrintCompHead(Cell n, boolean f)
           
private  int getArity(Cell n)
           
private  void out(java.lang.String s)
           
protected  void print(Cell n, boolean formatted)
           
private  void printCollection(java.util.ArrayList spine, java.lang.String type, boolean f)
           
private  void printCollectionInside(Cell n, java.lang.String sep, boolean f)
           
private  void printComp(java.util.ArrayList spine, java.lang.String type, boolean f)
           
private  void printGen(java.util.ArrayList spine, boolean f)
           
private  void printLambda(java.util.ArrayList spine, boolean f)
           
private  void printLet(java.util.ArrayList spine, boolean f)
           
private  void printTuple(java.util.ArrayList spine, boolean f)
           
private  void printTypeSig(java.util.ArrayList spine, boolean f)
           
 void setOBID(boolean value)
           
 java.lang.String toString()
          Return a string representation of the IQL held in this class.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

osw

java.io.Writer osw

column

int column

MAX_INDENT

int MAX_INDENT

obid

boolean obid
Constructor Detail

TextIQL

TextIQL(java.io.PrintStream ps)

TextIQL

TextIQL(java.io.File f)

TextIQL

TextIQL()
USE WITH CARE: if the resulting string is huge, an out of memory error will occur.

Method Detail

toString

public java.lang.String toString()
Return a string representation of the IQL held in this class.

Overrides:
toString in class java.lang.Object

out

private void out(java.lang.String s)

getArity

private int getArity(Cell n)

printLambda

private void printLambda(java.util.ArrayList spine,
                         boolean f)

auxPrintCompBody

private void auxPrintCompBody(Cell n,
                              boolean f)

auxPrintCompHead

private void auxPrintCompHead(Cell n,
                              boolean f)
                       throws TypeException
Throws:
TypeException

printComp

private void printComp(java.util.ArrayList spine,
                       java.lang.String type,
                       boolean f)
                throws TypeException
Throws:
TypeException

printGen

private void printGen(java.util.ArrayList spine,
                      boolean f)

printLet

private void printLet(java.util.ArrayList spine,
                      boolean f)

printCollection

private void printCollection(java.util.ArrayList spine,
                             java.lang.String type,
                             boolean f)
                      throws TypeException
Throws:
TypeException

printCollectionInside

private void printCollectionInside(Cell n,
                                   java.lang.String sep,
                                   boolean f)

printTuple

private void printTuple(java.util.ArrayList spine,
                        boolean f)

printTypeSig

private void printTypeSig(java.util.ArrayList spine,
                          boolean f)

print

protected void print(Cell n,
                     boolean formatted)

setOBID

public void setOBID(boolean value)