import javax.swing.*;
import java.awt.FlowLayout;
import java.awt.BorderLayout;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;

import java.lang.Process;
import java.io.*;

public class provergui extends JFrame
{
	public String input="";
	public JTextField tText = new JTextField(20);
	public JButton provbutton = new JButton("prove it!");
	public JTextField output = new JTextField(40);
	
	
	public static final int WIDTH = 300, HEIGHT = 200;
	public Process proverApp;
	
	public BufferedReader appin;
	public provergui()
	{
		provbutton.addActionListener
		(
				new ActionListener()
				{
					public void actionPerformed(ActionEvent e)
					{
						try 
						{
							proverApp=Runtime.getRuntime().exec("proverApp " + tText.getText());
					        appin = new BufferedReader(new InputStreamReader(proverApp.getInputStream()));
					        output.setText(appin.readLine());
					        
						}
						catch (Exception x)
						{
							
						}
					}
				}
		);
		
		setTitle("it's prover time!!");
		setSize(WIDTH,HEIGHT);		
		setLayout(new FlowLayout());
		add(tText);
		add(provbutton);
		add(output);
		setVisible(true);
	}
	
	
}