package java;

import java.awt.Component;
import java.awt.Button;
import java.awt.Frame;
import java.awt.BorderLayout;
import java.awt.TextField;
import java.awt.event.ActionListener;
import java.awt.event.ActionEvent;
import java.net.*;
import java.io.*;
import aioli.vtp.*;
import figue.*;
import aioli.variable.*;
import aioli.path.*;
import aioli.gfxobj.*;
import java.JavaParser;
import java.lang.Thread;



public final class Viewer extends Frame {
  public final static void main(String[] theArgs) {
    new Viewer(theArgs[0]);
  }
  public Viewer(String addr) {
    try {
      URL url = null;
      try {
	url = new URL(addr);
      } 
      catch (MalformedURLException ex) {
	try {
	  File f = new File(addr);
	  addr="file:" + f.getAbsolutePath();
	  url = new URL(addr);
	}
	catch (MalformedURLException ex2) {}
      }
      Tree tree = JavaParser.parse(url.openStream());      
      Variable var = new Variable(tree);
      Ctedit ct = new Ctedit(var,"std");
      Component cn = ct.getComponent();
      setSize(600,400);
      setLayout(new BorderLayout());
      TextField field = new TextField(addr,20);
      field.addActionListener(new ReadActionListener(ct,field));
      add("North",field);
      add("Center",cn);
      add("West",new EditBut(ct));
      setVisible(true); 
      ct.setStyle("DEFAULT","times-17","black","white");
      ct.setStyle("type","times-17-i","blue",null);
      ct.setStyle("modif",null,"blue",null);
      ct.setStyle("right",null,"red",null);
      ct.redraw(120,100);
    }
    catch (FileNotFoundException e) {
      System.err.println("exception: "+e);
    }
    catch (java.lang.Exception e) {
      System.err.println("exception: "+e);
      e.printStackTrace();
    }
  }
}