private void buildContent()
{
BackColor = SystemColors.Control;
generate = new Button();
generate.Text = "Generate";
quit = new Button();
quit.Text = "Quit";
options = new Button();
options.Text = "Options";
stop = new Button();
stop.Text = "Stop";
dirChoose = new Button();
dirChoose.Text = "Browse";
dir = new TextBox();
dir.Width = calculate_char_width(10, dir);
specChoose = new Button();
specChoose.Text = "Browse";
spec = new TextBox();
spec.Width = calculate_char_width(10, spec);
messages = new RichTextBox();
messages.Multiline = true;
messages.ScrollBars = RichTextBoxScrollBars.Both;
messages.Font = new Font(FontFamily.GenericMonospace, messages.Font.Size, messages.Font.Style, messages.Font.Unit);
messages.Width = calculate_char_width(80, messages);
messages.Height = calculate_lines_height(10, messages);
messages.ReadOnly = true;
messages.MaxLength = int.MaxValue;
generate.Click += new EventHandler(generate_Click);
options.Click += new EventHandler(options_Click);
quit.Click += new EventHandler(quit_Click);
stop.Click += new EventHandler(stop_Click);
specChoose.Click += new EventHandler(specChoose_Click);
dirChoose.Click += new EventHandler(dirChoose_Click);
spec.KeyPress += new KeyPressEventHandler(spec_KeyPress);
spec.TextChanged += new EventHandler(spec_TextChanged);
dir.KeyPress += new KeyPressEventHandler(dir_KeyPress);
dir.TextChanged += new EventHandler(dir_TextChanged);
GridPanel north = new GridPanel(5, 4, 10, 10);
north.setInsets(new Insets(10, 5, 5, 10));
Label lblLexicalSpecification = new Label();
lblLexicalSpecification.AutoSize = true;
lblLexicalSpecification.Text = "Lexical specification:";
Label lblOutputDirectory = new Label();
lblOutputDirectory.AutoSize = true;
lblOutputDirectory.Text = "Output directory:";
north.add(4, 0, quit);
north.add(4, 1, generate);
north.add(4, 2, options);
north.add(4, 3, stop);
north.add(0, 0, Handles.BOTTOM, lblLexicalSpecification);
north.add(0, 1, 2, 1, spec);
north.add(2, 1, specChoose);
north.add(0, 2, Handles.BOTTOM, lblOutputDirectory);
north.add(0, 3, 2, 1, dir);
north.add(2, 3, dirChoose);
Panel true_north = new Panel();
true_north.Controls.Add(north);
Label lblMessages = new Label();
lblMessages.TextAlign = ContentAlignment.MiddleCenter;
lblMessages.Text = "Messages:";
lblMessages.Dock = DockStyle.Top;
Panel center = new Panel();
center.Controls.Add(lblMessages);
center.Controls.Add(messages);
north.Size = north.getPreferredSize();
north.doLayout();
true_north.Size = north.Size;
north.Anchor = AnchorStyles.Top | AnchorStyles.Left;
true_north.Dock = DockStyle.Top;
center.Anchor = (AnchorStyles)15;
center.Location = new Point(0, north.Height);
center.Size = new Size(ClientSize.Width, ClientSize.Height - north.Height);
SuspendLayout();
Controls.Add(true_north);
Controls.Add(center);
ResumeLayout(false);
messages.Top = lblMessages.Bottom;
messages.Left = 4;
messages.Width = center.Width - 8;
messages.Height = center.Height - lblMessages.Height - 4;
messages.Anchor = (AnchorStyles)15;
this.ClientSize = new Size(north.Width + 8, ClientSize.Height);
this.MinimumSize = this.ClientSize;
setEnabledAll(false);
Out.setGUIMode(messages);
}
public void setup()
{
// create components
ok = new Button();
ok.Text = "Ok";
defaults = new Button();
defaults.Text = "Defaults";
skelBrowse = new Button();
skelBrowse.Text = " Browse";
skelFile = new TextBox();
skelFile.ReadOnly = true;
dump = new CheckBox();
dump.Text = " dump";
verbose = new CheckBox();
verbose.Text = " verbose";
jlex = new CheckBox();
jlex.Text = " JLex compatibility";
no_minimize = new CheckBox();
no_minimize.Text = " skip minimization";
no_backup = new CheckBox();
no_backup.Text = " no backup file";
time = new CheckBox();
time.Text = " time statistics";
dot = new CheckBox();
dot.Text = " dot graph files";
csharp = new CheckBox();
csharp.Text = " C# output";
tableG = new RadioButton();
tableG.Text = " table";
switchG = new RadioButton();
switchG.Text = " switch";
packG = new RadioButton();
packG.Text = " pack";
switch (Options.gen_method)
{
case Options.TABLE: tableG.Checked = true; break;
case Options.SWITCH: switchG.Checked = true; break;
case Options.PACK: packG.Checked = true; break;
}
// setup interaction
ok.Click += new EventHandler(ok_Click);
defaults.Click += new EventHandler(defaults_Click);
skelBrowse.Click += new EventHandler(skelBrowse_Click);
tableG.CheckedChanged += new EventHandler(tableG_CheckedChanged);
switchG.CheckedChanged += new EventHandler(switchG_CheckedChanged);
packG.CheckedChanged += new EventHandler(packG_CheckedChanged);
verbose.CheckedChanged += new EventHandler(verbose_CheckedChanged);
dump.CheckedChanged += new EventHandler(dump_CheckedChanged);
jlex.CheckedChanged += new EventHandler(jlex_CheckedChanged);
no_minimize.CheckedChanged += new EventHandler(no_minimize_CheckedChanged);
no_backup.CheckedChanged += new EventHandler(no_backup_CheckedChanged);
dot.CheckedChanged += new EventHandler(dot_CheckedChanged);
csharp.CheckedChanged += new EventHandler(csharp_CheckedChanged);
time.CheckedChanged += new EventHandler(time_CheckedChanged);
// setup layout
GridPanel panel = new GridPanel(4, 7, 10, 10);
panel.setInsets(new Insets(10, 5, 5, 10));
panel.add(3, 0, ok);
panel.add(3, 1, defaults);
Label lblSkeletonFile = new Label();
lblSkeletonFile.AutoSize = true;
lblSkeletonFile.Text = "skeleton file:";
Label lblCode = new Label();
lblCode.AutoSize = true;
lblCode.Text = "code:";
panel.add(0, 0, 2, 1, Handles.BOTTOM, lblSkeletonFile);
panel.add(0, 1, 2, 1, skelFile);
panel.add(2, 1, 1, 1, Handles.TOP, skelBrowse);
panel.add(0, 2, 1, 1, Handles.BOTTOM, lblCode);
panel.add(0, 3, 1, 1, tableG);
panel.add(0, 4, 1, 1, switchG);
panel.add(0, 5, 1, 1, packG);
panel.add(1, 3, 1, 1, dump);
panel.add(1, 4, 1, 1, verbose);
panel.add(1, 5, 1, 1, time);
panel.add(2, 3, 1, 1, no_minimize);
panel.add(2, 4, 1, 1, no_backup);
panel.add(2, 5, 1, 1, csharp);
panel.add(3, 3, 1, 1, jlex);
panel.add(3, 4, 1, 1, dot);
panel.Size = panel.getPreferredSize();
panel.doLayout();
Size panel_size = panel.Size;
Size client_area_size = this.ClientSize;
Size left_over = new Size(client_area_size.Width - panel_size.Width, client_area_size.Height - panel_size.Height);
Controls.Add(panel);
panel.Location = new Point(0, 8);
this.ClientSize = new Size(panel.Width + 8, panel.Height + 8);
this.MaximumSize = this.MinimumSize = this.ClientSize;
updateState();
}