/*
 * Burton Rosenberg
 * June 2004
 */

import java.io.* ;
import java.util.* ;

class TreeModel {

    Tree tree ;
    TreeViewer tv ;
    String pickedString ;
    
    TreeModel() {
       tree = new Tree() ;
    }
    
    void setTreeViewer(TreeViewer tv) { 
        this.tv = tv ; }

    void setViewStyle(int vs ) {
        tv.viewStyle = vs ;
        tv.repaint() ;
    }

    void setInterpretIntegers(boolean b) {
        tree.interpretIntegers = b ;
    }

    Tree getTree() { 
        return tree ; }
 
    void clearTree() {
        tree.clear() ;
        tv.repaint() ;
    }

    void insert(String s) {
        tree.insert(s) ;
        tv.repaint() ;
    }

    void insert(int i) {
        tree.insert(i) ;
        tv.repaint() ;
    }

    void remove(String s) {
        tree.delete(s) ;
        tv.repaint() ;
    }

    void mousePick( int x, int y, boolean pickOn ) {
        tv.mousePick(x,y,pickOn) ;
        tv.repaint() ;
    }

    void loadFromFile(File file) {
       try {
         BufferedReader fin = new BufferedReader( new FileReader( file ) ) ;
         String s ;
         while ( (s = fin.readLine()) != null ) {
            StringTokenizer st = new StringTokenizer( s ) ;
            while ( st.hasMoreTokens() ) {
                insert(st.nextToken()) ;
	    }
	 }
       }
       catch ( FileNotFoundException fnfe ) { }
       catch ( IOException ioe ) { }
    }

    void printSimple() {
        tree.printSimple() ;
    }

}