00001
00002
00003
00004
00005
00006
00007
00008 package com.declarativa.interprolog.gui;
00009 import java.util.*;
00010 import java.text.*;
00011 import javax.swing.*;
00012
00015 public class XSBTableWindow extends JFrame{
00016 public XSBTableWindow(XSBTableModel m, Object[] columnTitles){
00017 super();
00018
00019 getContentPane().add("Center",new TermTreePane(m,columnTitles));
00020 String time = DateFormat.getTimeInstance().format(new Date());
00021 setTitle(m.node.toString()+": table at "+time);
00022 getContentPane().add("North",new JLabel("state was "+m.state));
00023 setSize(300,200);
00024 setVisible(true);
00025 }
00026
00027 }