Grammar.txt

## RegExpressions

Space= \x0020;
Tab=\x0009;
CR= \x000D;
LF= \x000A;

Ws=(Space|Tab)+;

NewLine=(CR | LF);

QuotationPuncts = "‘" | "’" ;

%
WordWithoutSpace =  (^("‘’+-=*\_^؛(){}$" \x000D \x000A ) | "’’" | "‘‘" ) +;

Word = WordWithoutSpace (Ws+ WordWithoutSpace)*; 
%


Word =  (^("‘’+-=*\_^؛(){}$ " \x000D \x000A ) | "’’" | "‘‘" ) +;


QuotedText=QuotationPuncts (^"‘’" |"’’"|"‘‘")  QuotationPuncts;

IntegralMathDirective = "تكامل" ;
DoubleIntegralMathDirective ="تكامل_ثنائي" ;
TripleIntegralMathDirective = "تكامل_ثلاثي" ;
ClosedIntegralMathDirective =  "تكامل_مغلق" ;
LineBarnchMathDirective = "عديد_الأسطر" ;
MultiLineMathDirective =  "الأسطر" ;
MirrorMathDirective = "انعكاس";
RootMathDirective = "جذر" ;
FactorialMathDirective = "مضروب" ;
SumMathDirective = "مج" ;
##!


##RegExpression Actions

Word
$
{
	tok.LexVal = new char[lexEnd - lexStart];
	int insertionPos = 0;
	for (int i = lexStart; i < lexEnd; i++)
	{
		tok.LexVal[insertionPos] = this.lexData[i];
		if ((this.lexData[i] != '‘' || i + 1 >= lexEnd - 1 || this.lexData[i + 1] != '‘') && (this.lexData[i] != '’' || i + 1 >= lexEnd - 1 || this.lexData[i + 1] != '’'))
		{
			insertionPos++;
		}
	}
	if (insertionPos < lexEnd - lexStart)
	{
		char[] newData = new char[insertionPos];
		Array.Copy(tok.LexVal, 0, newData, 0, insertionPos);
		tok.LexVal = newData;
	}
	return tok;
}
$

QuotedText
$
{

	tok.LexVal = new char[lexEnd - lexStart - 2];
	int insertionPos = 0;
	for (int i = lexStart + 1; i < lexEnd - 1; i++)
	{
		tok.LexVal[insertionPos] = this.lexData[i];
		if ((this.lexData[i] != '‘' || i + 1 >= lexEnd - 1 || this.lexData[i + 1] != '‘') && (this.lexData[i] != '’' || i + 1 >= lexEnd - 1 || this.lexData[i + 1] != '’'))
		{
			insertionPos++;
		}
	}
	if (insertionPos < lexEnd - lexStart - 2)
	{
		char[] newData = new char[insertionPos];
		Array.Copy(tok.LexVal, 0, newData, 0, insertionPos);
		tok.LexVal = newData;
	}
	return tok;
}
$

Ws 
$$

NewLine
$$


IntegralMathDirective 
DoubleIntegralMathDirective 
TripleIntegralMathDirective 
ClosedIntegralMathDirective 
LineBarnchMathDirective 
MultiLineMathDirective 
MirrorMathDirective 
RootMathDirective 
FactorialMathDirective 
SumMathDirective 

Error
$						
	env.ReportError(tok.LineNo,ERROR_TYPE.LEXICAL,"خطأ نصى!!");
$

##!

## Productions

Goal = Equations;
$
	var stmts = new MultiLineStatement();
	stmts.Statements = Equations.StmtList;
	env.Equations=stmts;
$



Equations=Equations Equation;
$
	Equations.StmtList = Equations_1.StmtList;
	Equations.StmtList.Add(Equation.Value);
$

Equations=Equation;
>Equations.StmtList:List<SequenceStatement>;
$
	Equations.StmtList=new List<SequenceStatement>();
	Equations.StmtList.Add(Equation.Value);
$



Equation = Expressions "؛" ;
>Equation.Value:SequenceStatement;
$
	SequenceStatement statement = new SequenceStatement
	{
		Statements = Expressions.Value
	};
	Equation.Value = statement;
$

Expression = Expression "_" Expression "^" Expression ;
$
	LeftDoubleScript script = new LeftDoubleScript {
			BaseStatement = Expression_1.Value,
			SubStatement = Expression_2.Value,
			SuperStatement = Expression_3.Value
		};
	Expression.Value = script;
$


Expression = Expression "_" Expression;
$
	LeftSubScript script = new LeftSubScript {
		BaseStatement = Expression_1.Value,
		SubStatement = Expression_2.Value
	};
	Expression.Value = script;
$


Expression = Expression "^" Expression;
$
	LeftSuperScript script = new LeftSuperScript {
		BaseStatement = Expression_1.Value,
		SuperStatement = Expression_2.Value
	};
	Expression.Value = script;
$




Expression = Expression "__" Expression "^^" Expression ;
$

	OverDownScript script = new OverDownScript {
	BaseStatement = Expression_1.Value,
	SubStatement = Expression_2.Value,
	SuperStatement = Expression_3.Value
	};
	Expression.Value = script;
$


Expression = Expression "__" Expression;
$
	DownScript script = new DownScript {
		BaseStatement = Expression_1.Value,
		SubStatement = Expression_2.Value
	};
	Expression.Value = script;
$


Expression = Expression "^^" Expression;
$
	OverScript script = new OverScript {
		BaseStatement = Expression_1.Value,
		SuperStatement = Expression_2.Value
	};
	Expression.Value = script;
$


Expression = Expression "___" Expression "^^^" Expression ;
$

	RightDoubleScript script = new RightDoubleScript {
	BaseStatement = Expression_1.Value,
	SubStatement = Expression_2.Value,
	SuperStatement = Expression_3.Value
	};
	Expression.Value = script;
$


Expression = Expression "___" Expression;
$
	RightSubScript script = new RightSubScript {
		BaseStatement = Expression_1.Value,
		SubStatement = Expression_2.Value
	};
	Expression.Value = script;
$


Expression = Expression "^^^" Expression;
$
	RightSuperScript script = new RightSuperScript {
		BaseStatement = Expression_1.Value,
		SuperStatement = Expression_2.Value
	};
	Expression.Value = script;
$

Expression= "$" LineBarnchMathDirective "{" Expressions "}";
$
	LineBranchStatement statement = new LineBranchStatement {
		Statements = Expressions.Value
	};
	Expression.Value = statement;

$


Expression=  "$" MultiLineMathDirective "{" Equations "}";
$
	MultiLineStatement statement = new MultiLineStatement {
		Statements = Equations.StmtList
	};
	Expression.Value = statement;

$

Expression =  "$" MirrorMathDirective "{" MathTextContent "}";
$
	MirrorStatement statement = new MirrorStatement {
		Text = MathTextContent.Value
	};
	Expression.Value = statement;
$

Expression ="(" Expressions ")" ;
$
	TextStatement txtStmt1=new TextStatement();
	txtStmt1.Text="(";
	TextStatement txtStmt2=new TextStatement();
	txtStmt2.Text=")";
	SequenceStatement stmt=new SequenceStatement();
	
	stmt.Statements.Add(txtStmt1);
	foreach (Statement s in Expressions.Value)
	{
		stmt.Statements.Add(s);
	}
	stmt.Statements.Add(txtStmt2);

	Expression.Value=stmt;

$


Expression ="{" Expressions "}" ;
$
	SequenceStatement stmt=new SequenceStatement();
	
	stmt.Statements=Expressions.Value;

	Expression.Value=stmt;
$



% \x005c is the \ character %

Expression = Expression "\" Expression ;
$
	Division stmt=new Division();
	stmt.Numerator=Expression_1.Value;
	stmt.Denominator=Expression_2.Value;
	Expression.Value=stmt;
$



Expression = "$" RootMathDirective "{" Expressions "}" ;
$
	Root root = new Root();
	SequenceStatement statement = new SequenceStatement();
	statement.Statements=Expressions.Value;
	
	root.RootStatement = statement;
	Expression.Value = root;
$


Expression = "$" RootMathDirective "{" Expressions "}" "{" Expressions "}" ;
$
	Root root = new Root();
	SequenceStatement power = new SequenceStatement{
		Statements = Expressions_1.Value
	};
	root.Power = power;
	SequenceStatement stmts = new SequenceStatement {
		Statements = Expressions_1.Value
	};
	root.RootStatement = stmts;
	Expression.Value = root;
$



Expression = "$" IntegralMathDirective;
$
	Expression.Value = new IntegralStatement();
$


Expression = "$" DoubleIntegralMathDirective;
$
	Expression.Value = new DoubleIntegralStatement();
$

Expression = "$" TripleIntegralMathDirective;
$
	Expression.Value = new TripleIntegralStatement();
$


Expression =  "$" ClosedIntegralMathDirective;
$
	Expression.Value = new ClosedIntegralStatement();
$

Expression = "$" SumMathDirective;
$
	Expression.Value = new SummationStatement();
$




Expression = "$" FactorialMathDirective "{" Expressions "}";
$
	FactorialStatement stmt = new FactorialStatement();
	SequenceStatement stmts = new SequenceStatement {
		Statements = Expressions.Value
	};
	stmt.Content = stmts;
	Expression.Value = stmt;
$

Expression = "&" ;
$
	Expression.Value = new AlignStatement();
$


Expression = MathTextContent ;
>Expression.Value:Statement;
$
	TextStatement stmt=new TextStatement();
	Expression.Value=stmt;
	stmt.Text=MathTextContent.Value;
$




Expressions = Expressions "+" Expressions ;
$
	TextStatement item = new TextStatement {
		Text = "+"
	};
	Expressions_1.Value.Add(item);
	foreach (Statement s in Expressions_2.Value)
	{
		Expressions_1.Value.Add(s);
	}
	Expressions.Value = Expressions_1.Value;
	
$


Expressions = Expressions "-" Expressions ;
$
	TextStatement item = new TextStatement {
		Text = "-"
	};
	Expressions_1.Value.Add(item);
	foreach (Statement s in Expressions_2.Value)
	{
		Expressions_1.Value.Add(s);
	}
	Expressions.Value = Expressions_1.Value;
	
$


Expressions = Expressions "*" Expressions ;
$
	TextStatement item = new TextStatement {
		Text = "*"
	};
	Expressions_1.Value.Add(item);
	foreach (Statement s in Expressions_2.Value)
	{
		Expressions_1.Value.Add(s);
	}
	Expressions.Value = Expressions_1.Value;
	
$

Expressions = "-" Expressions ;
$
	TextStatement item = new TextStatement {
		Text = "-"
	};
	Expressions.Value = new List<Statement>();
	Expressions.Value.Add(item);
	foreach (Statement s in Expressions_1.Value)
	{
		Expressions.Value.Add(s);
	}
$



Expressions = Expressions "=" Expressions ;
$
	TextStatement item = new TextStatement {
		Text = "="
	};
	Expressions_1.Value.Add(item);
	foreach (Statement statement2 in Expressions_2.Value)
	{
		Expressions_1.Value.Add(statement2);
	}
	Expressions.Value = Expressions_1.Value;
$





Expressions = Expressions  Expression ;
$
	Expressions.Value = Expressions_1.Value;
    Expressions.Value.Add(Expression.Value);
$



Expressions=Expression;
>Expressions.Value:List<Statement>;
$
	List<Statement> list = new List<Statement>();
	Expressions.Value = list;
	Expressions.Value.Add(Expression.Value);
$


MathTextContent= Word;
>MathTextContent.Value:string;
$
	string str = new string(Word.LexVal);
	str = str.Trim(new char[] { ' ', '\r', '\n' });
	MathTextContent.Value = str;
$

MathTextContent= QuotedText;
$
	MathTextContent.Value=new string(QuotedText.LexVal);
$

##!

## Error Handling

Goal = Error ;
$
	this.env.ReportError(Error.LineNo, ERROR_TYPE.SYNTAX, "’" + new string(Error.LexVal) + "’ : كلمة غير متوقعة");
	this.env.FatalErrorFlag = true;
$



Equation= Expressions;
$
	this.env.ReportWarning(this.tok.LineNo, ERROR_TYPE.SYNTAX, "هل نسيت فصلة منقوطة فى نهاية النص الرياضى؟ ");
	SequenceStatement statement = new SequenceStatement {
		Statements = Expressions.Value
	};
	Equation.Value = statement;
	if (!this.env.FatalErrorFlag)
	{
		this.env.ErrorFlag = false;
	}
$


MathTextContent = "$" Word;
$
	this.env.ReportWarning(_0.LineNo, ERROR_TYPE.SYNTAX, "’" + new string(Word.LexVal) + "’ : يجب أن يكون موجها رياضيا");

	MathTextContent.Value = "\$" + new string(Word.LexVal);
	if (!this.env.FatalErrorFlag)
	{
		this.env.ErrorFlag = false;
	}

$ 

##!

## Settings
#Prec "$";
#Prec "=";
#Prec "(",")";
#Prec "+" ;
#Prec "-" ;
#Prec "*" ;
#Prec "\" ;
#Prec "_" ,"__","___", "^","^^","^^^";
#Prec "&";
#Left "\", "$";

#Right "^" ,"_";
##!

##Head Code
$
using MathEditor;
$
##!