collector
Class ContextTree

java.lang.Object
  |
  +--collector.ContextTree

public class ContextTree

extends java.lang.Object

Fornisce i metodi per la costruzione di un ContextTree a partire da un file F prodotto da filtro.pl. Per la costruzione dell'albero dei contesti e' necessario passare linea per linea i dati letti dal file F alla funzione newLine.

Constructor Summary

ContextTree(java.io.File f)
Reload ContextTree from file.

ContextTree(java.lang.String _base)
Costruisce un ContextTree.

Method Summary

void	endLines() Comunica la fine dello stream di linee.
Contesto	getRoot()
static void	main(java.lang.String[] args) used to convert between representations
void	newLine(java.lang.String s) Funzione per la costruzione dell'albero dei contesti.
void	prune()
Contesto	read(java.io.File file)
java.io.File	write(java.lang.String dir)
java.io.File	write(java.lang.String url, java.lang.String dir) serialize the root context

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ContextTree

public ContextTree(java.lang.String _base)

Costruisce un ContextTree.

ContextTree

public ContextTree(java.io.File f)

Reload ContextTree from file.

Method Detail

getRoot

public Contesto getRoot()

Returns:

root of context tree.

newLine

public void newLine(java.lang.String s)

Funzione per la costruzione dell'albero dei contesti. E' necessario passare a questa funzione tutte le righe lette dal file prodotto da filtro.pl.

endLines

public void endLines()

Comunica la fine dello stream di linee.

prune

public void prune()

write

public java.io.File write(java.lang.String url,
                          java.lang.String dir)

serialize the root context

write

public java.io.File write(java.lang.String dir)

read

public Contesto read(java.io.File file)

main

public static void main(java.lang.String[] args)
                 throws java.lang.Exception

used to convert between representations