Input_Dlg.cs

using System;
using System.Drawing;
using System.Collections;
using System.ComponentModel;
using System.Windows.Forms;

namespace raptor
{
	/// <summary>
	/// Summary description for Input_Output_Dlg.
	/// </summary>
	public class Input_Dlg : System.Windows.Forms.Form
	{
        private interpreter.suggestion_result suggestion_result_expr;
        private string current_suggestion_expr = "";
        private interpreter.suggestion_result suggestion_result_var;
        private string current_suggestion_var = "";
        
        private interpreter.syntax_result result;
		private interpreter.syntax_result prompt_result;
		private bool error = false;
		Parallelogram PAR;
		private System.Windows.Forms.Label examplesLabel;
		private System.Windows.Forms.TextBox variableTextBox;
		private System.Windows.Forms.Label label2;
		private System.Windows.Forms.TextBox exprTextBox;
		private System.Windows.Forms.Label label3;
		private System.Windows.Forms.Button done_button;
		private System.Drawing.Graphics labelGraphics;
		private System.Drawing.StringFormat stringFormat;

		private String error_msg;
		private System.Windows.Forms.Label errorLabel;
		/// <summary>
		/// Required designer variable.
		/// </summary>
        private System.ComponentModel.Container components = null;
        private RichTextBox suggestionTextBox;
        private Visual_Flow_Form the_form;
		public Input_Dlg(Parallelogram Parent_Parallelogram, Visual_Flow_Form form)
		{
			PAR = Parent_Parallelogram;
			the_form = form;
			//
			// Required for Windows Form Designer support
			//
			InitializeComponent();
            Dialog_Helpers.Init();

			if ((PAR.Text!=null) && (PAR.Text.CompareTo("")!=0))
			{

				this.exprTextBox.Text = PAR.prompt;
				this.variableTextBox.Text = PAR.Text;
			}

			this.examplesLabel.Text = "Examples:" + '\n' + "   Coins" + 
				'\n' + "   Board[3,3]";
			this.labelGraphics = errorLabel.CreateGraphics();
			stringFormat = new System.Drawing.StringFormat();

			// Center the block of text (top to bottom) in the rectangle.
			stringFormat.LineAlignment = System.Drawing.StringAlignment.Center;
		}

		/// <summary>
		/// Clean up any resources being used.
		/// </summary>
		protected override void Dispose( bool disposing )
		{
			if( disposing )
			{
				if(components != null)
				{
					components.Dispose();
				}
			}
			base.Dispose( disposing );
		}

		#region Windows Form Designer generated code
		/// <summary>
		/// Required method for Designer support - do not modify
		/// the contents of this method with the code editor.
		/// </summary>
		private void InitializeComponent()
		{
            System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(Input_Dlg));
            this.examplesLabel = new System.Windows.Forms.Label();
            this.variableTextBox = new System.Windows.Forms.TextBox();
            this.label2 = new System.Windows.Forms.Label();
            this.exprTextBox = new System.Windows.Forms.TextBox();
            this.label3 = new System.Windows.Forms.Label();
            this.done_button = new System.Windows.Forms.Button();
            this.errorLabel = new System.Windows.Forms.Label();
            this.suggestionTextBox = new System.Windows.Forms.RichTextBox();
            this.SuspendLayout();
            // 
            // examplesLabel
            // 
            this.examplesLabel.Location = new System.Drawing.Point(40, 145);
            this.examplesLabel.Name = "examplesLabel";
            this.examplesLabel.Size = new System.Drawing.Size(216, 40);
            this.examplesLabel.TabIndex = 0;
            // 
            // variableTextBox
            // 
            this.variableTextBox.Location = new System.Drawing.Point(48, 193);
            this.variableTextBox.Name = "variableTextBox";
            this.variableTextBox.Size = new System.Drawing.Size(208, 20);
            this.variableTextBox.TabIndex = 5;
            this.variableTextBox.WordWrap = false;
            this.variableTextBox.TextChanged += new System.EventHandler(this.variableTextBox_TextChanged);
            this.variableTextBox.KeyDown += new System.Windows.Forms.KeyEventHandler(this.Check_key);
            this.variableTextBox.Enter += new System.EventHandler(this.variableTextBox_TextChanged);
            // 
            // label2
            // 
            this.label2.Location = new System.Drawing.Point(48, 8);
            this.label2.Name = "label2";
            this.label2.Size = new System.Drawing.Size(208, 16);
            this.label2.TabIndex = 4;
            this.label2.Text = "Enter Prompt Here";
            this.label2.TextAlign = System.Drawing.ContentAlignment.MiddleCenter;
            // 
            // exprTextBox
            // 
            this.exprTextBox.Location = new System.Drawing.Point(48, 33);
            this.exprTextBox.Multiline = true;
            this.exprTextBox.Name = "exprTextBox";
            this.exprTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
            this.exprTextBox.Size = new System.Drawing.Size(208, 72);
            this.exprTextBox.TabIndex = 3;
            this.exprTextBox.TextChanged += new System.EventHandler(this.textBox2_TextChanged);
            this.exprTextBox.KeyDown += new System.Windows.Forms.KeyEventHandler(this.Check_key_expr);
            this.exprTextBox.Enter += new System.EventHandler(this.textBox2_TextChanged);
            // 
            // label3
            // 
            this.label3.Location = new System.Drawing.Point(48, 121);
            this.label3.Name = "label3";
            this.label3.Size = new System.Drawing.Size(208, 16);
            this.label3.TabIndex = 6;
            this.label3.Text = "Enter Variable Here";
            this.label3.TextAlign = System.Drawing.ContentAlignment.MiddleCenter;
            // 
            // done_button
            // 
            this.done_button.Location = new System.Drawing.Point(120, 415);
            this.done_button.Name = "done_button";
            this.done_button.Size = new System.Drawing.Size(64, 24);
            this.done_button.TabIndex = 7;
            this.done_button.Text = "Done";
            this.done_button.Click += new System.EventHandler(this.done_button_Click);
            // 
            // errorLabel
            // 
            this.errorLabel.BackColor = System.Drawing.SystemColors.Control;
            this.errorLabel.Location = new System.Drawing.Point(16, 233);
            this.errorLabel.Name = "errorLabel";
            this.errorLabel.Size = new System.Drawing.Size(264, 48);
            this.errorLabel.TabIndex = 8;
            // 
            // suggestionTextBox
            // 
            this.suggestionTextBox.BackColor = System.Drawing.SystemColors.Control;
            this.suggestionTextBox.Location = new System.Drawing.Point(8, 297);
            this.suggestionTextBox.Name = "suggestionTextBox";
            this.suggestionTextBox.Size = new System.Drawing.Size(272, 96);
            this.suggestionTextBox.TabIndex = 11;
            this.suggestionTextBox.Text = "";
            // 
            // Input_Dlg
            // 
            this.AutoScaleBaseSize = new System.Drawing.Size(5, 13);
            this.ClientSize = new System.Drawing.Size(299, 448);
            this.Controls.Add(this.suggestionTextBox);
            this.Controls.Add(this.errorLabel);
            this.Controls.Add(this.done_button);
            this.Controls.Add(this.label3);
            this.Controls.Add(this.exprTextBox);
            this.Controls.Add(this.variableTextBox);
            this.Controls.Add(this.label2);
            this.Controls.Add(this.examplesLabel);
            this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
            this.Name = "Input_Dlg";
            this.Text = "Enter Input";
            this.TopMost = true;
            this.Resize += new System.EventHandler(this.Input_Dlg_Resize);
            this.ResumeLayout(false);
            this.PerformLayout();

		}
		#endregion

		private void done_button_Click(object sender, System.EventArgs e)
		{
			result = interpreter_pkg.input_syntax(this.variableTextBox.Text,PAR);
			
   		    prompt_result = interpreter_pkg.output_syntax(this.exprTextBox.Text,false,PAR);
			
		    PAR.is_input = true;			    
				
			if (result.valid && prompt_result.valid)
			{
				the_form.Make_Undoable();
				PAR.prompt = this.exprTextBox.Text;
				PAR.Text = this.variableTextBox.Text;
				PAR.parse_tree = result.tree;
				PAR.prompt_tree = prompt_result.tree;
				PAR.input_is_expression = true;
				PAR.changed();
				this.error = false;
				this.Close();
			}

			else
			{
				this.error = true;
				if (!result.valid)
				{
					this.error_msg = result.message;
				}
				else
				{
					this.error_msg = prompt_result.message;
				}
				this.Invalidate();
			}
						
		}

		protected override void OnPaint(PaintEventArgs e)
		{
			int location;
			string error_text;

			Console.WriteLine(this.error);
			if (this.result!=null && !this.result.valid)
			{
				location = this.result.location;
				error_text = this.variableTextBox.Text;
			}
			else
			{
				if (this.prompt_result!=null && !this.prompt_result.valid)
				{
					location = this.prompt_result.location;
					error_text = this.exprTextBox.Text;
				}
				else
				{
					location = 0;
					error_text = "";
				}
			}
			this.labelGraphics = this.errorLabel.CreateGraphics();
			Dialog_Helpers.Paint_Helper(this.labelGraphics,
				error_text,
				this.examplesLabel,
				this.error_msg,
				location,
				this.error);
		}
        private bool Complete_Suggestion_Expr()
        {
            return Dialog_Helpers.Complete_Suggestion(
                this.exprTextBox,
                interpreter_pkg.expr_dialog,
                this.current_suggestion_expr,
                ref this.suggestion_result_expr);
        }
        private bool Complete_Suggestion_Var()
        {
            return Dialog_Helpers.Complete_Suggestion(
                this.variableTextBox,
                interpreter_pkg.lhs_dialog,
                this.current_suggestion_var,
                ref this.suggestion_result_var);
        }
		private void Check_key(object sender, System.Windows.Forms.KeyEventArgs e)
		{
            if (e.KeyCode == Keys.Enter || e.KeyCode == Keys.Return)
            {
                e.Handled = this.Complete_Suggestion_Var();
                e.SuppressKeyPress = e.Handled;
                if (!e.Handled)
                {
                    done_button_Click(sender, e);
                }
            }
            else if (e.KeyCode.ToString() == "Down")
            {
                e.Handled = true;
                e.SuppressKeyPress = e.Handled;
                Dialog_Helpers.suggestions_downarrow(
                    this.suggestionTextBox,
                    ref this.current_suggestion_var);
            }
            else if (e.KeyCode.ToString() == "Up")
            {
                e.Handled = true;
                e.SuppressKeyPress = e.Handled;
                Dialog_Helpers.suggestions_uparrow(
                    this.suggestionTextBox,
                    ref this.current_suggestion_var);
            }
        }
        private void Check_key_expr(object sender, KeyEventArgs e)
        {
            if (e.KeyCode == Keys.Enter || e.KeyCode == Keys.Return)
            {
                e.Handled = this.Complete_Suggestion_Expr();
                e.SuppressKeyPress = e.Handled;
                if (!e.Handled)
                {
                    done_button_Click(sender, e);
                }
            }
            else if (e.KeyCode.ToString() == "Down")
            {
                e.Handled = true;
                e.SuppressKeyPress = e.Handled;
                Dialog_Helpers.suggestions_downarrow(
                    this.suggestionTextBox,
                    ref this.current_suggestion_expr);
            }
            else if (e.KeyCode.ToString() == "Up")
            {
                e.Handled = true;
                e.SuppressKeyPress = e.Handled;
                Dialog_Helpers.suggestions_uparrow(
                    this.suggestionTextBox,
                    ref this.current_suggestion_expr);
            }
        }

		private void Input_Dlg_Resize(object sender, System.EventArgs e)
		{
			errorLabel.Width = this.Width-40;
			this.exprTextBox.Width = this.Width-96;
			this.variableTextBox.Width = this.Width-96;
			this.exprTextBox.Invalidate();
			this.variableTextBox.Invalidate();
			this.errorLabel.Invalidate();
		}

		private void textBox2_TextChanged(object sender, System.EventArgs e)
		{
			if (exprTextBox.Lines.Length > 1) 
			{
				exprTextBox.Text = exprTextBox.Lines[0]+exprTextBox.Lines[1];
				exprTextBox.Select(exprTextBox.Text.Length,0);
			}
                Dialog_Helpers.Check_Hint(
                    this.exprTextBox,
                    this.suggestionTextBox,
                    interpreter_pkg.expr_dialog,
                    ref this.current_suggestion_expr,
                    ref this.suggestion_result_expr,
                    ref this.error,
                    this.Font);
            this.Invalidate();
		}

        private void variableTextBox_TextChanged(object sender, EventArgs e)
        {
            Dialog_Helpers.Check_Hint(
                this.variableTextBox,
                this.suggestionTextBox,
                interpreter_pkg.lhs_dialog,
                ref this.current_suggestion_var,
                ref this.suggestion_result_var,
                ref this.error,
                this.Font);
            this.Invalidate();
        }




	}
}