import java.awt.*;
import java.awt.event.*;
import javax.swing.*;
import javax.swing.border.*;
public class NC7 extends JFrame{
public NC7() {
//prolog.loadProlog("",0,1);
initiateComponents();
}
//declare interface properties
//public final LpaIS prolog=new LpaIS();
/*public String GlobalCheckSyntaxFile="";
* public String GlobalEditFile="";
* public String GlobalLoadFile="";
* public final LpaIS CheckSynatxProlog=new LpaIS(); */
private JPanel innerPanel;
private JMenuBar MainMenuBar;
private JMenu FileMenu;
private JMenuItem NewScenarioMenuItem;
private JMenuItem OpenScenarioMenuItem;
private JMenuItem SaveScenarioMenuItem;
private JMenuItem ClearOutputWindowMenuItem;
private JMenuItem ExitMenuItem;
private JMenu ScenarioMenu;
private JMenuItem EditScenarioMenuItem;
private JMenuItem CheckSyntaxScenarioMenuItem;
private JMenuItem OpenScenarioGeneratorMenuItem;
private JMenu RunMenu;
private JMenuItem RunSimulationMenuItem;
private JMenuItem MakeQueryMenuItem;
private JMenu HelpMenu;
private JMenuItem ReadMeMenuItem;
private JMenuItem AboutMenuItem;
private JLabel TitleLabel;
private JLabel AlgorithmLabel;
private JLabel ScenarioLabel;
private JLabel GoalLabel;
private JLabel TimeLabel;
private JLabel PredicateLabel;
/*
private TextField AlgorithmTextField;
private TextField ScenarioTextField;
private TextField GoalTextField;
private TextField TimeTextField;
private TextField PredicateTextField;
*/
// Try using Swing/lightweight components
// instead of AWT/heavyweight components
// for your text components.
private JTextField AlgorithmTextField;
private JTextField ScenarioTextField;
private JTextField GoalTextField;
private JTextField TimeTextField;
private JTextField PredicateTextField;
private JButton SearchButton;
private JButton HoldsButton;
// private TextArea OutputWindow;
private JTextArea OutputWindow;
private void initiateComponents() {
// Configure JFrame.
getContentPane().setLayout(null);
setTitle("Dynamic Environment Reasoning System");
setSize(new Dimension(1025, 703));
setLocation(200, 50);
setResizable(false);
setDefaultCloseOperation(EXIT_ON_CLOSE);
//getContentPane().setBackground(new Color(150,207,141));
getContentPane().setBackground(new Color(170,255,140));
//setVisible(true);
//setUndecorated(true);
// Add components.
getContentPane().add(getInnerPanel());
setJMenuBar(getMainMenuBar());
getContentPane().add(getTitleLabel());
populateInnerPanel();
}
private JMenuBar getMainMenuBar() {
MainMenuBar = new JMenuBar();
FileMenu = new JMenu();
FileMenu.setBorder(new EtchedBorder());
FileMenu.setText(" File");
FileMenu.setFont(new Font("Bookman Old Style",1,14));
FileMenu.setPreferredSize(new Dimension(49,20));
MainMenuBar.add(FileMenu);
NewScenarioMenuItem = new JMenuItem();
NewScenarioMenuItem.setBorder(new EtchedBorder());
NewScenarioMenuItem.setText("New Scenario");
NewScenarioMenuItem.setFont(new Font("Bookman Old Style",0,14));
NewScenarioMenuItem.setPreferredSize(new Dimension(120,20));
FileMenu.add(NewScenarioMenuItem);
OpenScenarioMenuItem = new JMenuItem();
OpenScenarioMenuItem.setBorder(new EtchedBorder());
OpenScenarioMenuItem.setText("Open Scenario");
OpenScenarioMenuItem.setFont(new Font("Bookman Old Style",0,14));
OpenScenarioMenuItem.setPreferredSize(new Dimension(120,20));
FileMenu.add(OpenScenarioMenuItem);
SaveScenarioMenuItem = new JMenuItem();
SaveScenarioMenuItem.setBorder(new EtchedBorder());
SaveScenarioMenuItem.setText("Save Scenario");
SaveScenarioMenuItem.setFont(new Font("Bookman Old Style",0,14));
SaveScenarioMenuItem.setPreferredSize(new Dimension(120,20));
FileMenu.add(SaveScenarioMenuItem);
ClearOutputWindowMenuItem = new JMenuItem();
ClearOutputWindowMenuItem.setBorder(new EtchedBorder());
ClearOutputWindowMenuItem.setText("Clear Output Window");
ClearOutputWindowMenuItem.setFont(
new Font("Bookman Old Style",0,14));
ClearOutputWindowMenuItem.setPreferredSize(new Dimension(170,20));
FileMenu.add(ClearOutputWindowMenuItem);
ExitMenuItem = new javax.swing.JMenuItem();
ExitMenuItem.setBorder(new EtchedBorder());
ExitMenuItem.setText("Exit");
ExitMenuItem.setFont(new Font("Bookman Old Style",0,14));
ExitMenuItem.setPreferredSize(new Dimension(120,20));
FileMenu.add(ExitMenuItem);
ScenarioMenu = new javax.swing.JMenu();
ScenarioMenu.setBorder(new EtchedBorder());
ScenarioMenu.setText("Scenario");
ScenarioMenu.setFont(new Font("Bookman Old Style",1,14));
ScenarioMenu.setPreferredSize(new Dimension(73,20));
MainMenuBar.add(ScenarioMenu);
EditScenarioMenuItem = new JMenuItem();
EditScenarioMenuItem.setBorder(new EtchedBorder());
EditScenarioMenuItem.setText("Edit Scenario");
EditScenarioMenuItem.setFont(new Font("Bookman Old Style",0,14));
EditScenarioMenuItem.setPreferredSize(new Dimension(110,20));
ScenarioMenu.add(EditScenarioMenuItem);
CheckSyntaxScenarioMenuItem = new JMenuItem();
CheckSyntaxScenarioMenuItem.setBorder(new EtchedBorder());
CheckSyntaxScenarioMenuItem.setText("Check Scenario Syntax");
CheckSyntaxScenarioMenuItem.setFont(
new Font("Bookman Old Style",0,14));
CheckSyntaxScenarioMenuItem.setPreferredSize(new Dimension(180,20));
ScenarioMenu.add(CheckSyntaxScenarioMenuItem);
OpenScenarioGeneratorMenuItem = new JMenuItem();
OpenScenarioGeneratorMenuItem.setBorder(new EtchedBorder());
OpenScenarioGeneratorMenuItem.setText("Open Scenario Generator");
OpenScenarioGeneratorMenuItem.setFont(
new Font("Bookman Old Style",0,14));
OpenScenarioGeneratorMenuItem.setPreferredSize(new Dimension(200,20));
ScenarioMenu.add(OpenScenarioGeneratorMenuItem);
RunMenu = new javax.swing.JMenu();
RunMenu.setBorder(new EtchedBorder());
RunMenu.setText(" Run");
RunMenu.setFont(new Font("Bookman Old Style",1,14));
RunMenu.setPreferredSize(new Dimension(74,20));
MainMenuBar.add(RunMenu);
RunSimulationMenuItem = new JMenuItem();
RunSimulationMenuItem.setBorder(new EtchedBorder());
RunSimulationMenuItem.setText("Run Simulation");
RunSimulationMenuItem.setFont(
new Font("Bookman Old Style",0,14));
RunSimulationMenuItem.setPreferredSize(new Dimension(130,20));
RunMenu.add(RunSimulationMenuItem);
MakeQueryMenuItem = new JMenuItem();
MakeQueryMenuItem.setBorder(new EtchedBorder());
MakeQueryMenuItem.setText("Make Query");
MakeQueryMenuItem.setFont(new Font("Bookman Old Style",0,14));
MakeQueryMenuItem.setPreferredSize(new Dimension(110,20));
RunMenu.add(MakeQueryMenuItem);
HelpMenu = new javax.swing.JMenu();
HelpMenu.setBorder(new EtchedBorder());
HelpMenu.setText(" Help");
HelpMenu.setFont(new Font("Bookman Old Style",1,14));
HelpMenu.setPreferredSize(new Dimension(77,20));
MainMenuBar.add(HelpMenu);
ReadMeMenuItem = new JMenuItem();
ReadMeMenuItem.setBorder(new EtchedBorder());
ReadMeMenuItem.setText("Read Me");
ReadMeMenuItem.setFont(new Font("Bookman Old Style",0,14));
ReadMeMenuItem.setPreferredSize(new Dimension(77,20));
HelpMenu.add(ReadMeMenuItem);
AboutMenuItem = new JMenuItem();
AboutMenuItem.setBorder(new EtchedBorder());
AboutMenuItem.setText("About");
AboutMenuItem.setFont(new Font("Bookman Old Style",0,14));
AboutMenuItem.setPreferredSize(new Dimension(77,20));
HelpMenu.add(AboutMenuItem);
return MainMenuBar;
}
private JLabel getTitleLabel() {
TitleLabel = new JLabel();
TitleLabel.setFont(new Font("Arial",1,16));
TitleLabel.setText(" Dynamic Environment Reasoning System");
//TitleLabel.setHorizontalTextPosition(SwingConstants.CENTER);
TitleLabel.setBackground(new Color(200,255,100));
TitleLabel.setBorder(new EtchedBorder());
TitleLabel.setBounds(600,20,340,30);
return TitleLabel;
}
private JPanel getInnerPanel() {
innerPanel = new JPanel();
innerPanel.setLayout(null);
innerPanel.setBackground(new Color(160,255,140));
//innerPanel.setBackground(new Color(0,0,0));
//innerPanel.setBorder(new CompoundBorder());
innerPanel.setBorder(new TitledBorder(
new TitledBorder(null, "",
TitledBorder.DEFAULT_JUSTIFICATION,
TitledBorder.DEFAULT_POSITION,
new Font("Times New Roman", 1, 12))));
innerPanel.setBounds(20,70,975,580);
return innerPanel;
}
private void populateInnerPanel() {
AlgorithmLabel = new JLabel();
AlgorithmLabel.setFont(new Font("Bookman Old Style",0,13));
AlgorithmLabel.setText("Selected Inference Algorithm:");
innerPanel.add(AlgorithmLabel);
AlgorithmLabel.setBounds(20,10,210,30);
ScenarioLabel = new JLabel();
ScenarioLabel.setFont(new Font("Bookman Old Style",0,13));
ScenarioLabel.setText("Selected Scenario:");
innerPanel.add(ScenarioLabel);
ScenarioLabel.setBounds(260,10,170,30);
GoalLabel = new JLabel();
GoalLabel.setFont(new Font("Bookman Old Style",0,13));
GoalLabel.setText("Selected Goal:");
innerPanel.add(GoalLabel);
GoalLabel.setBounds(460,10,170,30);
TimeLabel = new JLabel();
TimeLabel.setFont(new Font("Bookman Old Style",0,13));
TimeLabel.setText("Selected Time:");
innerPanel.add(TimeLabel);
TimeLabel.setBounds(630,10,170,30);
PredicateLabel = new JLabel();
PredicateLabel.setFont(new Font("Bookman Old Style",0,13));
PredicateLabel.setText("Predicate:");
innerPanel.add(PredicateLabel);
PredicateLabel.setBounds(810,10,170,30);
AlgorithmTextField = new JTextField();
innerPanel.add(AlgorithmTextField);
AlgorithmTextField.setBounds(40,60,100,20);
//AlgorithmTextField.setVisible(true);
ScenarioTextField = new JTextField();
innerPanel.add(ScenarioTextField);
ScenarioTextField.setBounds(270,60,100,20);
GoalTextField = new JTextField();
innerPanel.add(GoalTextField);
GoalTextField.setBounds(470,60,100,20);
TimeTextField = new JTextField();
innerPanel.add(TimeTextField);
TimeTextField.setBounds(640,60,100,20);
PredicateTextField = new JTextField();
innerPanel.add(PredicateTextField);
PredicateTextField.setBounds(820,60,100,20);
SearchButton = new JButton();
SearchButton.setFont(new Font("Bookman Old Style",1,13));
SearchButton.setText("Search");
innerPanel.add(SearchButton);
SearchButton.setBounds(280,100,90,20);
HoldsButton = new JButton();
HoldsButton.setFont(new Font("Bookman Old Style",1,13));
HoldsButton.setText("Holds");
innerPanel.add(HoldsButton);
HoldsButton.setBounds(830,100,80,20);
OutputWindow = new JTextArea();
Font equalSpacedFont = new Font("Monospaced",Font.PLAIN,14);
OutputWindow.setFont(equalSpacedFont);
OutputWindow.setEditable(false);
JScrollPane scrollPane = new JScrollPane(OutputWindow);
scrollPane.setBounds(40,160,900,400);
innerPanel.add(scrollPane);
// innerPanel.add(OutputWindow);
// OutputWindow.setBounds(40,160,900,400);
}
public static void main(String args[]) {
SwingUtilities.invokeLater(new Runnable() {
@Override
public void run() {
JFrame.setDefaultLookAndFeelDecorated(true);
NC7 nc7 = new NC7();
nc7.setVisible(true);
}
});
}
}