Пример #1
0
        private TExpression ReadFactor(ref TExpression last)
        {
            TExpression exp0    = ReadFact(ref last);
            TExpression lastAux = last;

            while (UL == TypeSymbol.U_Pow)
            {
                TExpression expNew = new TExpression();
                expNew.UL = UL;
                UL        = LexicalUnit();
                TExpression last1 = null;
                TExpression exp1  = ReadFact(ref last1);
                expNew.Next = lastAux.Next;
                if (lastAux.Next != null)
                {
                    lastAux.Next.Prev = expNew;
                }
                else
                {
                    last = expNew;
                }
                lastAux.Next = exp1;
                exp1.Prev    = lastAux;
                last1.Next   = expNew;
                expNew.Prev  = last1;
                lastAux      = last1;
            }
            return(exp0);
        }
Пример #2
0
        private static void Assign(TVar v, int index, TExpression exp)
        {
            if (index != 0)
            {
                int   i        = 0;
                TItem itemAux  = v.items;
                TItem lastItem = null;
                while (i < index)
                {
                    if (itemAux == null)
                    {
                        TItem newItem = new TItem {
                            UL = TypeSymbol.U_UnKown
                        };

                        if (lastItem == null)
                        {
                            v.items = newItem;
                        }
                        else
                        {
                            lastItem.Next = newItem;
                        }

                        lastItem = newItem;
                    }
                    else
                    {
                        lastItem = itemAux;
                        itemAux  = itemAux.Next;
                    }

                    i++;
                }

                lastItem.UL     = exp.UL;
                lastItem.ValNB  = exp.ValNB;
                lastItem.ValStr = exp.ValStr;

                // check if we free it outside the method
                Free(ref exp);
            }
            else
            {
                FreeItems(v);
                v.items = new TItem {
                    UL = exp.UL, ValNB = exp.ValNB, ValStr = exp.ValStr
                };
                //v.items.UL = exp.UL;
                //v.items.ValNB = exp.ValNB;
                //v.items.ValStr = exp.ValStr;
                Free(ref exp);
            }
        }
Пример #3
0
        private TExpression EvaluateInteger(TExpression exp)
        {
            TExpression exp0 = EvaluateExpression(exp);

            if (exp0.UL != TypeSymbol.U_Cst_Int)
            {
                GetRuntimeError(RuntimeMessagesError.NotValid, "Integer");
            }

            return(exp0);
        }
Пример #4
0
        private bool EvaluateCondition(TExpression exp)
        {
            TExpression exp0 = EvaluateExpression(exp);

            if (exp0.UL != TypeSymbol.U_True && exp0.UL != TypeSymbol.U_False)
            {
                GetRuntimeError(RuntimeMessagesError.NotValid, "Condition");
            }

            bool result = (exp0.UL == TypeSymbol.U_True);

            Free(ref exp0);
            return(result);
        }
Пример #5
0
        private TExpression ReadExpression(ref TExpression last)
        {
            TExpression exp0 = ReadTerm(ref last);

            while (UL == TypeSymbol.U_Pluse || UL == TypeSymbol.U_Minus)
            {
                TExpression expNew = new TExpression();
                expNew.UL = UL;
                UL        = LexicalUnit();
                TExpression last1 = null;
                TExpression exp1  = ReadTerm(ref last1);

                last.Next   = exp1;
                exp1.Prev   = last;
                last1.Next  = expNew;
                expNew.Prev = last1;
                expNew.Next = null; // by default
                last        = expNew;
            }

            return(exp0);
        }
Пример #6
0
        private TExpression ReadCTerm(ref TExpression last)
        {
            TExpression exp0 = ReadCFactor(ref last);

            while (UL == TypeSymbol.U_And)
            {
                TExpression expNew = new TExpression();
                expNew.UL = UL;
                UL        = LexicalUnit();
                TExpression last1 = null;
                TExpression exp1  = ReadCFactor(ref last1);

                last.Next   = exp1;
                exp1.Prev   = last;
                last1.Next  = expNew;
                expNew.Prev = last1;
                expNew.Next = null;
                last        = expNew;
            }

            return(exp0);
        }
Пример #7
0
        private TExpression ReadTerm(ref TExpression last)
        {
            TExpression exp0 = ReadFactor(ref last);

            while (UL == TypeSymbol.U_IntDiv || UL == TypeSymbol.U_Multiply ||
                   UL == TypeSymbol.U_Division || UL == TypeSymbol.U_Mod)
            {
                TExpression expNew = new TExpression();
                expNew.UL = UL;
                UL        = LexicalUnit();
                TExpression last1 = null;
                TExpression exp1  = ReadFactor(ref last1);

                last.Next   = exp1;
                exp1.Prev   = last;
                last1.Next  = expNew;
                expNew.Prev = last1;
                expNew.Next = null;
                last        = expNew;
            }

            return(exp0);
        }
Пример #8
0
        private TExpression ReadCFactor(ref TExpression last)
        {
            TExpression exp0 = ReadExpression(ref last);

            while (UL == TypeSymbol.U_LessEqual || UL == TypeSymbol.U_LessThan ||
                   UL == TypeSymbol.U_GreaterEqual || UL == TypeSymbol.U_GreaterThan ||
                   UL == TypeSymbol.U_Equal || UL == TypeSymbol.U_NotEqual)
            {
                TExpression expNew = new TExpression();
                expNew.UL = UL;
                UL        = LexicalUnit();
                TExpression last1 = null;
                TExpression exp1  = ReadExpression(ref last1);

                last.Next   = exp1;
                exp1.Prev   = last;
                last1.Next  = expNew;
                expNew.Prev = last1;
                expNew.Next = null;
                last        = expNew;
            }

            return(exp0);
        }
Пример #9
0
        private TypeSymbol ExecuteListOfInstructions(BaseInstruction linst)
        {
            while (linst != null)
            {
                if (linst.Ins is CallInstruction)
                {
                    CallInstruction callaux = linst.Ins as CallInstruction;
                    UL = ExecuteCall(callaux);

                    if (UL == TypeSymbol.U_Return)
                    {
                        // warning but I condiered it as error;
                        GetRuntimeError(RuntimeMessagesError.ReturnInProcedure);
                    }

                    if (UL == TypeSymbol.U_Halt)
                    {
                        return(UL);
                    }
                }
                else if (linst.Ins is IfInstruction)
                {
                    IfInstruction ifaux = linst.Ins as IfInstruction;
                    UL = ExecuteListOfInstructions((EvaluateCondition(ifaux.Cond)) ? ifaux.Ins : ifaux.InsElse);

                    if (UL == TypeSymbol.U_Halt || UL == TypeSymbol.U_Break ||
                        UL == TypeSymbol.U_Return || UL == TypeSymbol.U_Exit)
                    {
                        return(UL);
                    }
                }
                else if (linst.Ins is WhileInstruction)
                {
                    WhileInstruction whileaux = linst.Ins as WhileInstruction;
                    while (EvaluateCondition(whileaux.Cond))
                    {
                        UL = ExecuteListOfInstructions(whileaux.Ins);

                        if (UL == TypeSymbol.U_Halt || UL == TypeSymbol.U_Return ||
                            UL == TypeSymbol.U_Exit)
                        {
                            return(UL);
                        }

                        if (UL == TypeSymbol.U_Break)
                        {
                            break;
                        }
                    }
                }
                else if (linst.Ins is ForInstruction)
                {
                    ForInstruction foraux = linst.Ins as ForInstruction;
                    TExpression    expB   = EvaluateInteger(foraux.ExpBegin);
                    TExpression    expE   = EvaluateInteger(foraux.ExpEnd);
                    TExpression    step   = EvaluateInteger(foraux.ExpStep);

                    if (!foraux.IsDown)
                    {
                        Assign(foraux.V, 0, expB);
                        while (expB.ValNB <= expE.ValNB)
                        {
                            UL = ExecuteListOfInstructions(foraux.Ins);

                            if (UL == TypeSymbol.U_Halt || UL == TypeSymbol.U_Return ||
                                UL == TypeSymbol.U_Exit)
                            {
                                return(UL);
                            }

                            if (UL == TypeSymbol.U_Break)
                            {
                                break;
                            }

                            // expB.ValNB = expB.ValNB + 1;
                            expB.ValNB = expB.ValNB + step.ValNB;
                            Assign(foraux.V, 0, expB);
                        }
                    }
                    else
                    {
                        Assign(foraux.V, 0, expB);
                        while (expB.ValNB >= expE.ValNB)
                        {
                            UL = ExecuteListOfInstructions(foraux.Ins);

                            if (UL == TypeSymbol.U_Halt || UL == TypeSymbol.U_Return ||
                                UL == TypeSymbol.U_Exit)
                            {
                                return(UL);
                            }

                            if (UL == TypeSymbol.U_Break)
                            {
                                break;
                            }

                            // expB.ValNB = expB.ValNB + 1;
                            expB.ValNB = expB.ValNB - step.ValNB;
                            Assign(foraux.V, 0, expB);
                        }
                    }

                    Free(ref expB);
                    Free(ref expE);
                    Free(ref step);
                }
                else if (linst.Ins is DoWhileInstruction)
                {
#if doc
                    DoWhileInstruction doaux = linst.Ins as DoWhileInstruction;
                    do
                    {
                        UL = ExecuteListOfInstructions(doaux.Ins);

                        if (UL == TypeSymbol.U_Halt || UL == TypeSymbol.U_Return ||
                            UL == TypeSymbol.U_Exit)
                        {
                            return(UL);
                        }

                        if (UL == TypeSymbol.U_Break)
                        {
                            break;
                        }
                    } while (EvaluateCondition(doaux.Cond));
#else
                    //ExecuteOneTimeLoopAtLeast(linst.Ins as TConditionBase, true);
#endif
                }
                else if (linst.Ins is RepeatUntilInstruction)
                {
#if doc
                    RepeatUntilInstruction repeataux = linst.Ins as RepeatUntilInstruction;
                    do
                    {
                        UL = ExecuteListOfInstructions(repeataux.Ins);

                        if (UL == TypeSymbol.U_Halt || UL == TypeSymbol.U_Return ||
                            UL == TypeSymbol.U_Exit)
                        {
                            return(UL);
                        }

                        if (UL == TypeSymbol.U_Break)
                        {
                            break;
                        }
                    } while (!EvaluateCondition(repeataux.Cond));
#else
                    ExecuteOneTimeLoopAtLeast(linst.Ins as TConditionBase, false)
#endif
                }
                else if (linst.Ins is BreakInstruction)
                {
                    return((linst.Ins as BreakInstruction).UL);
                }
                else if (linst.Ins is ReturnInstruction)
                {
                    ReturnInstruction returnaux = linst.Ins as ReturnInstruction;
                    GReturn = returnaux;
                    return(TypeSymbol.U_Return);
                }
                else if (linst.Ins is AssignInstruction)
                {
                    AssignInstruction assignaux = linst.Ins as AssignInstruction;

                    Func <TExpression, TExpression, TExpression> a = (expValue, op) =>
                    {
                        expValue.Next = op;
                        op.Prev       = expValue;

                        TExpression varExpression = new TExpression {
                            UL = TypeSymbol.U_Var
                        };
                        varExpression.ValVar = assignaux.Var;
                        varExpression.Index  = TExpression.CopyExpression(assignaux.index);

                        varExpression.Next = expValue;
                        expValue.Prev      = varExpression;

                        return(EvaluateExpression(varExpression));
                    };

                    TExpression exp0;
                    TExpression expOperator;

                    if (assignaux.Exp != null) // = , += , -= , *= , /=, ^= , %=
                    {
                        exp0 = EvaluateExpression(assignaux.Exp);
                        if (assignaux.UL != TypeSymbol.U_Assignment) //  += , -= , *= , /=, ^= , %=
                        {
                            TypeSymbol ulAux;
                            if (assignaux.UL == TypeSymbol.U_PluseAssigment)
                            {
                                ulAux = TypeSymbol.U_Pluse;
                            }
                            else if (assignaux.UL == TypeSymbol.U_MinusAssigment)
                            {
                                ulAux = TypeSymbol.U_Minus;
                            }
                            else if (assignaux.UL == TypeSymbol.U_MultiplyAssigment)
                            {
                                ulAux = TypeSymbol.U_Multiply;
                            }
                            else if (assignaux.UL == TypeSymbol.U_DivisionAssigment)
                            {
                                ulAux = TypeSymbol.U_Division;
                            }
                            else if (assignaux.UL == TypeSymbol.U_PowAssigment)
                            {
                                ulAux = TypeSymbol.U_Pow;
                            }
                            else //if (assignaux.UL == TypeSymbol.U_ModAssigment)
                            {
                                ulAux = TypeSymbol.U_Mod;
                            }

                            expOperator = new TExpression {
                                UL = ulAux
                            };
                            exp0 = EvaluateExpression(assignaux.Exp);
                            if ((exp0.Next != null) || (exp0.Prev != null))
                            {
                                throw new ArgumentException("This is notification for me hakam");
                            }

                            expOperator = new TExpression {
                                UL = ulAux
                            };
                            exp0 = EvaluateExpression(assignaux.Exp);
                            if ((exp0.Next != null) || (exp0.Prev != null))
                            {
                                throw new ArgumentException("This is notification for me hakam");
                            }

                            exp0 = a(exp0, expOperator);
                        }
                    }
                    else // ++ , --
                    {
                        exp0 = new TExpression {
                            UL = TypeSymbol.U_Cst_Int, ValNB = 1
                        };
                        if (assignaux.UL == TypeSymbol.U_PlusePluse)
                        {
                            expOperator = new TExpression {
                                UL = TypeSymbol.U_Pluse
                            };
                        }
                        else
                        {
                            expOperator = new TExpression {
                                UL = TypeSymbol.U_Minus
                            };
                        }

                        exp0 = a(exp0, expOperator);
                    }

                    if (assignaux.index == null)
                    {
                        Assign(assignaux.Var, 0, exp0);
                    }
                    else
                    {
                        TExpression iexp = EvaluateInteger(assignaux.index);
                        Assign(assignaux.Var, GiveIntWithRuntimeError(Math.Truncate(iexp.ValNB)), exp0);
                        Free(ref iexp);
                    }

                    Free(ref exp0);
                }

                else if (linst.Ins is TWrite)
                {
                    TWrite      writeAux = linst.Ins as TWrite;
                    TExpression exp      = EvaluateExpression(writeAux.exp);

                    string output = "";
                    while (exp != null)
                    {
                        if (exp.UL == TypeSymbol.U_True)
                        {
                            output += true.ToString();
                        }
                        else if (exp.UL == TypeSymbol.U_False)
                        {
                            output += false.ToString();
                        }
                        else if (exp.UL == TypeSymbol.U_Cst_Str)
                        {
                            output += exp.ValStr;
                        }
                        else if (exp.UL == TypeSymbol.U_Cst_Real || exp.UL == TypeSymbol.U_Cst_Int)
                        {
                            output += exp.ValNB.ToString();
                        }

                        exp = exp.Next;
                    }

                    WriteEvent?.Invoke(this, new WriteEventArgs(writeAux.isLn, output, false));

                    Free(ref exp);
                }
                else if (linst.Ins is ReadInstruction)
                {
                    ReadInstruction readAux = linst.Ins as ReadInstruction;

                    InputForm inputRead = new InputForm();
                    inputRead.ShowDialog();
                    string      result = inputRead.Input;
                    TExpression expAux = new TExpression {
                        UL = TypeSymbol.U_Cst_Str, ValStr = result
                    };

                    try
                    {
                        expAux.ValNB = Convert.ToDouble(result);

                        expAux.UL     = IsIntMethod(expAux.ValNB);
                        expAux.ValStr = "";
                    }
                    catch (FormatException)
                    {
                    }

                    try
                    {
                        expAux.UL     = (Convert.ToBoolean(result) ? TypeSymbol.U_True : TypeSymbol.U_False);
                        expAux.ValStr = "";
                    }
                    catch (FormatException)
                    {
                    }

                    int index = 0;
                    if (readAux.index != null)
                    {
                        TExpression temp = EvaluateInteger(readAux.index);
                        index = GiveIntWithRuntimeError(Math.Truncate(temp.ValNB));
                        Free(ref temp);
                    }

                    Assign(readAux.V, index, expAux);
                }
                else
                {
                    GetRuntimeError(RuntimeMessagesError.UnknownInstruction);
                }

                linst = linst.Next;
            }

            return(TypeSymbol.U_EOF);
        }
Пример #10
0
        private TExpression EvaluateExpression(TExpression exp)
        {
            TExpression exp0    = TExpression.CopyExpression(exp);
            TExpression currexp = exp0;

            while (currexp != null)
            {
                TypeSymbol currExpUL = currexp.UL;

                if (currExpUL == TypeSymbol.U_Cst_Str || currExpUL == TypeSymbol.U_Cst_Int || currExpUL == TypeSymbol.U_Cst_Real ||
                    currExpUL == TypeSymbol.U_True || currExpUL == TypeSymbol.U_False)
                {
                    currexp = currexp.Next;
                }
                else if (currexp.UL == TypeSymbol.U_VarProcedure)
                {
                    CallInstruction callaux = currexp.ValCall;
                    UL = ExecuteCall(callaux);
                    if (UL != TypeSymbol.U_Return)
                    {
                        GetRuntimeError(RuntimeMessagesError.NoReturnInFunction);
                    }

                    TExpression expAux = EvaluateExpression(GReturn.Exp);
                    currexp.UL     = expAux.UL;
                    currexp.ValNB  = expAux.ValNB;
                    currexp.ValStr = expAux.ValStr;
                    Free(ref expAux);
                }
                else if (currExpUL == TypeSymbol.U_Var)
                {
                    // if the variables has index.
                    int i = 1;
                    if (currexp.Index != null)
                    {
                        TExpression expAux = EvaluateInteger(currexp.Index);
                        i = GiveIntWithRuntimeError(Math.Truncate(expAux.ValNB));
                        Free(ref expAux);
                    }

                    TItem itemAux = currexp.ValVar.items;
                    while ((itemAux != null) && (i > 1))
                    {
                        i--;
                        itemAux = itemAux.Next;
                    }

                    if (itemAux == null)
                    {
                        currexp.UL = TypeSymbol.U_UnKown;
                    }
                    else
                    {
                        currexp.UL     = itemAux.UL;
                        currexp.ValNB  = itemAux.ValNB;
                        currexp.ValStr = itemAux.ValStr;
                    }
                }

                // the functions that take one parameter.
                else if (currExpUL == TypeSymbol.U_Not || currExpUL == TypeSymbol.U_UnaryPluse || currExpUL == TypeSymbol.U_UnaryMinuse ||
                         currExpUL == TypeSymbol.U_Sin || currExpUL == TypeSymbol.U_Cos || currExpUL == TypeSymbol.U_Tg || currExpUL == TypeSymbol.U_Ln ||
                         currExpUL == TypeSymbol.U_Log || currExpUL == TypeSymbol.U_Exp || currExpUL == TypeSymbol.U_Sqr || currExpUL == TypeSymbol.U_Sqrt ||
                         currExpUL == TypeSymbol.U_Length || currExpUL == TypeSymbol.U_IntToStr || currExpUL == TypeSymbol.U_StrToInt ||
                         currExpUL == TypeSymbol.U_IntToHex)
                {
                    TypeSymbol  ulAux   = currexp.Prev.UL;
                    TExpression prevExp = currexp.Prev;

                    Action IsInt = () =>
                    {
                        prevExp.UL = IsIntMethod(prevExp.ValNB);
                    };

                    // validation
                    if ((currExpUL == TypeSymbol.U_UnaryMinuse || currExpUL == TypeSymbol.U_UnaryMinuse ||
                         currExpUL == TypeSymbol.U_Sin || currExpUL == TypeSymbol.U_Cos || currExpUL == TypeSymbol.U_Tg ||
                         currExpUL == TypeSymbol.U_Ln || currExpUL == TypeSymbol.U_Log || currExpUL == TypeSymbol.U_Exp ||
                         currExpUL == TypeSymbol.U_Sqr || currExpUL == TypeSymbol.U_Sqrt || currExpUL == TypeSymbol.U_IntToStr) &&
                        (ulAux != TypeSymbol.U_Cst_Int && ulAux != TypeSymbol.U_Cst_Real))
                    {
                        GetRuntimeError(RuntimeMessagesError.InvalideType, ulAux.ToString(), currExpUL.ToString());
                    }
                    if ((currExpUL == TypeSymbol.U_Not) && (ulAux != TypeSymbol.U_True && ulAux != TypeSymbol.U_False))
                    {
                        GetRuntimeError(RuntimeMessagesError.InvalideType, ulAux.ToString(), currExpUL.ToString());
                    }
                    if ((currExpUL == TypeSymbol.U_StrToInt || currExpUL == TypeSymbol.U_Length) && ulAux != TypeSymbol.U_Cst_Str)
                    {
                        GetRuntimeError(RuntimeMessagesError.InvalideType, ulAux.ToString(), currExpUL.ToString());
                    }
                    if (currExpUL == TypeSymbol.U_IntToHex && (ulAux != TypeSymbol.U_Cst_Int))
                    {
                        GetRuntimeError(RuntimeMessagesError.InvalideType, ulAux.ToString(), currExpUL.ToString());
                    }


                    if (currExpUL == TypeSymbol.U_UnaryPluse)
                    {
                        // nothing will change
                    }
                    else if (currExpUL == TypeSymbol.U_UnaryMinuse)
                    {
                        prevExp.ValNB = -prevExp.ValNB;
                    }
                    else if (currExpUL == TypeSymbol.U_IntToHex)
                    {
                        string result = "";
                        int    number = Convert.ToInt32(prevExp.ValNB);
                        if (number == 0)
                        {
                            result = "0x0";
                        }
                        else
                        {
                            string mod = "";
                            while (number != 0)
                            {
                                int modInt = (number % 16);

                                if (modInt <= 9)
                                {
                                    mod = modInt.ToString();
                                }
                                else
                                {
                                    mod = LexicalAnalyst.invValues[modInt].ToString();
                                }

                                result = mod + result;
                                number = number / 16;
                            }

                            result = "0x" + result;
                        }

                        prevExp.ValStr = result;
                        prevExp.ValNB  = 0;
                        prevExp.UL     = TypeSymbol.U_Cst_Str;
                    }
                    else if (currExpUL == TypeSymbol.U_Sin)
                    {
                        prevExp.ValNB = Math.Sin(prevExp.ValNB);
                        IsInt();
                    }
                    else if (currExpUL == TypeSymbol.U_Cos)
                    {
                        prevExp.ValNB = Math.Cos(prevExp.ValNB);
                        IsInt();
                    }
                    else if (currExpUL == TypeSymbol.U_Tg)
                    {
                        prevExp.ValNB = Math.Tan(prevExp.ValNB);
                        IsInt();
                    }
                    else if (currExpUL == TypeSymbol.U_Ln)
                    {
                        prevExp.ValNB = Math.Log(prevExp.ValNB);
                        IsInt();
                    }
                    else if (currExpUL == TypeSymbol.U_Log)
                    {
                        prevExp.ValNB = Math.Log10(prevExp.ValNB);
                        IsInt();
                    }
                    else if (currExpUL == TypeSymbol.U_Exp)
                    {
                        prevExp.ValNB = Math.Exp(prevExp.ValNB);
                        IsInt();
                    }
                    else if (currExpUL == TypeSymbol.U_Sqr)
                    {
                        prevExp.ValNB = Math.Pow(prevExp.ValNB, 2);
                        IsInt();
                    }
                    else if (currExpUL == TypeSymbol.U_Sqrt)
                    {
                        prevExp.ValNB = Math.Sqrt(prevExp.ValNB);
                        IsInt();
                    }
                    else if (currExpUL == TypeSymbol.U_Not)
                    {
                        prevExp.UL = (prevExp.UL == TypeSymbol.U_True) ? TypeSymbol.U_False : TypeSymbol.U_True;
                    }
                    else if (currExpUL == TypeSymbol.U_IntToStr)
                    {
                        prevExp.ValStr = prevExp.ValNB.ToString();
                        prevExp.UL     = TypeSymbol.U_Cst_Str;
                    }
                    else if (currExpUL == TypeSymbol.U_StrToInt)
                    {
                        prevExp.ValNB = Convert.ToDouble(prevExp.ValStr);
                        IsInt();
                    }
                    else if (currExpUL == TypeSymbol.U_Length)
                    {
                        prevExp.ValNB = prevExp.ValStr.Length;
                        prevExp.UL    = TypeSymbol.U_Cst_Int;
                    }

                    // Free the expressions that used
                    if (currexp.Next != null)
                    {
                        currexp.Next.Prev = prevExp;
                    }
                    prevExp.Next = currexp.Next;

                    TExpression expAux = currexp.Next;
                    Free(ref currexp);
                    currexp = expAux;

                    // the following statment is instead of
                    //currexp = currexp.Next;
                }
                else if (currExpUL == TypeSymbol.U_And || currExpUL == TypeSymbol.U_Or || currExpUL == TypeSymbol.U_Pluse ||
                         currExpUL == TypeSymbol.U_Minus || currExpUL == TypeSymbol.U_Multiply || currExpUL == TypeSymbol.U_IntDiv ||
                         currExpUL == TypeSymbol.U_Division || currExpUL == TypeSymbol.U_Pow || currExpUL == TypeSymbol.U_Mod ||
                         currExpUL == TypeSymbol.U_Equal || currExpUL == TypeSymbol.U_NotEqual || currExpUL == TypeSymbol.U_LessEqual ||
                         currExpUL == TypeSymbol.U_LessThan || currExpUL == TypeSymbol.U_GreaterEqual || currExpUL == TypeSymbol.U_GreaterThan)
                {
                    TExpression prevExp     = currexp.Prev;
                    TExpression prevPrevExp = prevExp.Prev;

                    Action setReal = () =>
                    {
                        if (prevPrevExp.UL != prevExp.UL)
                        {
                            prevPrevExp.UL = TypeSymbol.U_Cst_Real;
                        }
                    };

                    // validation 1
                    if ((currExpUL == TypeSymbol.U_And || currExpUL == TypeSymbol.U_Or) &&
                        ((prevExp.UL != TypeSymbol.U_True && prevExp.UL != TypeSymbol.U_False) ||
                         (prevPrevExp.UL != TypeSymbol.U_True && prevPrevExp.UL != TypeSymbol.U_False)))
                    {
                        GetRuntimeError(RuntimeMessagesError.ValidType, "boolean", "And, Or");
                    }

                    if ((currExpUL == TypeSymbol.U_LessEqual || currExpUL == TypeSymbol.U_LessThan ||
                         currExpUL == TypeSymbol.U_GreaterEqual || currExpUL == TypeSymbol.U_GreaterThan ||
                         currExpUL == TypeSymbol.U_Multiply || currExpUL == TypeSymbol.U_Division ||
                         currExpUL == TypeSymbol.U_Mod || currExpUL == TypeSymbol.U_Pow ||
                         currExpUL == TypeSymbol.U_Minus) &&
                        ((prevExp.UL != TypeSymbol.U_Cst_Int && prevExp.UL != TypeSymbol.U_Cst_Real) ||
                         (prevPrevExp.UL != TypeSymbol.U_Cst_Int && prevPrevExp.UL != TypeSymbol.U_Cst_Real)))
                    {
                        GetRuntimeError(RuntimeMessagesError.ValidType, "int , double", "<, <=, >=, >, *, /, -, %, ^");
                    }

                    if (currExpUL == TypeSymbol.U_IntDiv && ((prevExp.UL != TypeSymbol.U_Cst_Int) || (prevPrevExp.UL != TypeSymbol.U_Cst_Int)))
                    {
                        GetRuntimeError(RuntimeMessagesError.ValidType, "int", "div");
                    }

                    if ((currExpUL == TypeSymbol.U_Pluse) &&
                        ((prevExp.UL != TypeSymbol.U_Cst_Int && prevExp.UL != TypeSymbol.U_Cst_Real && prevExp.UL != TypeSymbol.U_Cst_Str) ||
                         (prevPrevExp.UL != TypeSymbol.U_Cst_Int && prevPrevExp.UL != TypeSymbol.U_Cst_Real && prevPrevExp.UL != TypeSymbol.U_Cst_Str)))
                    {
                        GetRuntimeError(RuntimeMessagesError.ValidType, "int, double ,string", "+");
                    }

                    if (currExpUL == TypeSymbol.U_And)
                    {
                        prevPrevExp.UL = (prevPrevExp.UL == TypeSymbol.U_True && prevExp.UL == TypeSymbol.U_True) ? TypeSymbol.U_True : TypeSymbol.U_False;
                    }
                    else if (currExpUL == TypeSymbol.U_Or)
                    {
                        prevPrevExp.UL = (prevPrevExp.UL == TypeSymbol.U_True || prevExp.UL == TypeSymbol.U_True) ? TypeSymbol.U_True : TypeSymbol.U_False;
                    }
                    else if (currExpUL == TypeSymbol.U_Equal)
                    {
                        if (IsBoolean(prevExp.UL) && IsBoolean(prevPrevExp.UL))
                        {
                            prevPrevExp.UL = (prevPrevExp.UL == prevExp.UL) ? TypeSymbol.U_True : TypeSymbol.U_False;
                        }
                        else if (IsNumber(prevExp.UL) && IsNumber(prevPrevExp.UL))
                        {
                            prevPrevExp.UL = (prevPrevExp.ValNB == prevExp.ValNB) ? TypeSymbol.U_True : TypeSymbol.U_False;
                        }
                        else if (prevExp.UL == TypeSymbol.U_Cst_Str && prevPrevExp.UL == TypeSymbol.U_Cst_Str)
                        {
                            prevPrevExp.UL = (prevPrevExp.ValStr == prevExp.ValStr) ? TypeSymbol.U_True : TypeSymbol.U_False;
                        }
                        else
                        {
                            GetRuntimeError(RuntimeMessagesError.Uncompiable, "=");
                        }
                    }
                    else if (currExpUL == TypeSymbol.U_NotEqual)
                    {
                        if (IsBoolean(prevExp.UL) && IsBoolean(prevPrevExp.UL))
                        {
                            prevPrevExp.UL = (prevPrevExp.UL != prevExp.UL) ? TypeSymbol.U_True : TypeSymbol.U_False;
                        }
                        else if (IsNumber(prevExp.UL) && IsNumber(prevPrevExp.UL))
                        {
                            prevPrevExp.UL = (prevPrevExp.ValNB != prevExp.ValNB) ? TypeSymbol.U_True : TypeSymbol.U_False;
                        }
                        else if (prevExp.UL == TypeSymbol.U_Cst_Str && prevPrevExp.UL == TypeSymbol.U_Cst_Str)
                        {
                            prevPrevExp.UL = (prevPrevExp.ValStr != prevExp.ValStr) ? TypeSymbol.U_True : TypeSymbol.U_False;
                        }
                        else
                        {
                            GetRuntimeError(RuntimeMessagesError.Uncompiable, "=");
                        }
                    }
                    else if (currExpUL == TypeSymbol.U_LessEqual)
                    {
                        prevPrevExp.UL = (prevPrevExp.ValNB <= prevExp.ValNB) ? TypeSymbol.U_True : TypeSymbol.U_False;
                    }
                    else if (currExpUL == TypeSymbol.U_LessThan)
                    {
                        prevPrevExp.UL = (prevPrevExp.ValNB < prevExp.ValNB) ? TypeSymbol.U_True : TypeSymbol.U_False;
                    }
                    else if (currExpUL == TypeSymbol.U_GreaterEqual)
                    {
                        prevPrevExp.UL = (prevPrevExp.ValNB >= prevExp.ValNB) ? TypeSymbol.U_True : TypeSymbol.U_False;
                    }
                    else if (currExpUL == TypeSymbol.U_GreaterThan)
                    {
                        prevPrevExp.UL = (prevPrevExp.ValNB > prevExp.ValNB) ? TypeSymbol.U_True : TypeSymbol.U_False;
                    }
                    else if (currExpUL == TypeSymbol.U_Pluse)
                    {
                        if (prevExp.UL == TypeSymbol.U_Cst_Str && prevPrevExp.UL == TypeSymbol.U_Cst_Str)
                        {
                            prevPrevExp.ValStr += prevExp.ValStr;
                        }
                        else if (IsNumber(prevExp.UL) && IsNumber(prevPrevExp.UL))
                        {
                            prevPrevExp.ValNB += prevExp.ValNB;
                            setReal();
                        }
                        else
                        {
                            GetRuntimeError(RuntimeMessagesError.intStringPluse);
                        }
                    }
                    else if (currExpUL == TypeSymbol.U_Minus)
                    {
                        prevPrevExp.ValNB = prevPrevExp.ValNB - prevExp.ValNB;
                        setReal();
                    }
                    else if (currExpUL == TypeSymbol.U_Multiply)
                    {
                        prevPrevExp.ValNB = prevPrevExp.ValNB * prevExp.ValNB;
                        setReal();
                    }
                    else if (currExpUL == TypeSymbol.U_Division)
                    {
                        try
                        {
                            prevPrevExp.ValNB = (double)prevPrevExp.ValNB / prevExp.ValNB;
                            setReal();
                        }
                        catch (DivideByZeroException)
                        {
                            GetRuntimeError(RuntimeMessagesError.DivByZero);
                        }
                    }
                    else if (currExpUL == TypeSymbol.U_Mod)
                    {
                        try
                        {
                            prevPrevExp.ValNB %= prevExp.ValNB;
                            setReal();
                        }
                        catch (DivideByZeroException)
                        {
                            GetRuntimeError(RuntimeMessagesError.DivByZero);
                        }
                    }
                    else if (currExpUL == TypeSymbol.U_Pow)
                    {
                        prevPrevExp.ValNB = Math.Pow(prevPrevExp.ValNB, prevExp.ValNB);
                        setReal();
                    }
                    else if (currExpUL == TypeSymbol.U_IntDiv)
                    {
                        try
                        {
                            prevPrevExp.ValNB = GiveIntWithRuntimeError(prevPrevExp.ValNB) / GiveIntWithRuntimeError(prevExp.ValNB);
                            prevPrevExp.UL    = TypeSymbol.U_Cst_Int;
                        }
                        catch (DivideByZeroException)
                        {
                            GetRuntimeError(RuntimeMessagesError.DivByZero);
                        }
                    }

                    // free the expression that used.
                    TExpression expAux = prevPrevExp;
                    if (currexp.Next != null)
                    {
                        currexp.Next.Prev = expAux;
                    }
                    expAux.Next  = currexp.Next;
                    currexp.Prev = null;    // free the currexp.Prev
                    Free(ref currexp);
                    currexp = expAux.Next;
                }
                else if (currExpUL == TypeSymbol.U_UnKown)
                {
                    GetRuntimeError(RuntimeMessagesError.UnassigedVariable);
                }
            }   // end while

            return(exp0);
        }
Пример #11
0
        private TypeSymbol ExecuteCall(CallInstruction callaux)
        {
            // 1 . handle the input variables
            TExpression exp0 = EvaluateExpression(callaux.Pin);
            TVar        varaux;

            if (exp0 != null)
            {
                while (exp0.Next != null)
                {
                    exp0 = exp0.Next;
                }

                varaux = callaux.P.PIN;
                TExpression expaux;
                while (varaux != null && exp0 != null)
                {
                    expaux = exp0.Prev;
                    if (expaux != null)     // this condition I added because of expcetion.
                    {
                        expaux.Next = null;
                    }

                    //expaux.Prev = null;
                    exp0.Prev = null;

                    Assign(varaux, 0, exp0);

                    Free(ref exp0);
                    exp0   = expaux;
                    varaux = (TVar)varaux.Next;
                }

                // error the variables in method is different from variables in call.
                if (varaux != null || exp0 != null)
                {
                    GetRuntimeError(RuntimeMessagesError.VarsDifferents, "inupt");
                }
            }

            // 2 . Handle the output variables.
            TListVar lv = callaux.Pout;

            varaux = callaux.P.POut;

            if (!(lv == null && varaux == null))
            {
                if (varaux == null)
                {
                    GetRuntimeError(RuntimeMessagesError.VarsDifferents, "output");
                }
                while (lv != null && varaux != callaux.P.PIN)
                {
                    AssignVar(varaux, lv.V);
                    varaux = (TVar)varaux.Next;
                    lv     = lv.Next;
                }

                // error the output variables in method is different from output variables in call
                if (lv != null || varaux != callaux.P.PIN)
                {
                    GetRuntimeError(RuntimeMessagesError.VarsDifferents, "output");
                }
            }

            // 3 . Execute the Instructions of method.
            UL = ExecuteListOfInstructions(callaux.P.Linst);

            // 4 . return the output vaiables from the call to the orgianl variables in the methods.
            lv     = callaux.Pout;
            varaux = callaux.P.POut;

            if (varaux == null)
            {
                varaux = callaux.P.PIN;
            }

            // 5 . return the input variables from the call to the orginal vaiables in the methods.
            while (lv != null) // here there is another condition
            {
                AssignVar(lv.V, varaux);
                varaux = (TVar)varaux.Next;
                lv     = lv.Next;
            }

            return(UL);
        }
Пример #12
0
 private static void Free(ref TExpression exp0)
 {
     exp0 = null;
 }
Пример #13
0
        private TExpression ReadFact(ref TExpression last)
        {
            if (UL == TypeSymbol.U_Cst_Int || UL == TypeSymbol.U_Cst_Real || UL == TypeSymbol.U_Cst_Str ||
                UL == TypeSymbol.U_True || UL == TypeSymbol.U_False)
            {
                TExpression expNew = new TExpression();
                expNew.UL = UL;
                if (UL == TypeSymbol.U_Cst_Str)
                {
                    expNew.ValStr = G_curr_Str;
                }
                else if (UL == TypeSymbol.U_Cst_Int || UL == TypeSymbol.U_Cst_Real) // the if statment i added after notce the true false.
                {
                    expNew.ValNB = G_curr_Num;
                }

                // by default
                expNew.Next = null;
                expNew.Prev = null;

                last = expNew;
                UL   = LexicalUnit();
                return(expNew);
            }
            else if (UL == TypeSymbol.U_OpenParanthese)
            {
                UL = LexicalUnit();
                TExpression expNew = ReadCondition(ref last);
                if (UL != TypeSymbol.U_ClosedParanthese)
                {
                    GetSyntaxError(WordMessagesError.NotFound, ")");
                }
                UL = LexicalUnit();
                return(expNew);
            }
            else if (UL == TypeSymbol.U_Var || UL == TypeSymbol.U_VarDefine ||
                     UL == TypeSymbol.U_VarProcedure || UL == TypeSymbol.U_UnKown)
            {
                TExpression expNew = new TExpression();

                // By Default
                expNew.Next = null;
                expNew.Prev = null;

                TVar varAux = null;
                ProcedureInstruction procAux = null;
                TypeSymbol           ulAux;

                if (UL == TypeSymbol.U_VarDefine)   // if the variable define
                {
                    DefineInstruction defAux = (DefineInstruction)G_curr_ID;
                    expNew.UL     = defAux.UL;
                    expNew.ValNB  = defAux.ValNB;
                    expNew.ValStr = defAux.ValStr;
                    ulAux         = defAux.UL;
                    UL            = LexicalUnit();
                }
                else if (UL == TypeSymbol.U_UnKown) // if the variblae unknown procedure , unknown variable
                {
                    string buffer = G_curr_Str;
                    UL = LexicalUnit();

                    if (UL == TypeSymbol.U_OpenParanthese)  // if the variblae unknown procedure
                    {
                        IdentifierInstruction.AddIdentifier(buffer, ref Locals.gproc);
                        procAux      = gProc;
                        gProc.IsFunc = true;
                        //gProc.IsDefined = false;
                        //gProc.PIN = null;
                        //gProc.POut = null;
                        //gproc.LVar = null;
                        //gProc.Linst = null;
                        ulAux = TypeSymbol.U_VarProcedure;
                    }
                    else                    // if the variblae unknown procedure , unknownvariable
                    {
                        IdentifierInstruction.AddIdentifier(buffer, ref Locals.gvar);
                        varAux = gVar;
                        ulAux  = TypeSymbol.U_Var;
                    }
                }
                else    // if the variable known
                {
                    // this statment i am not sure about it
                    ulAux = UL;
                    if (ulAux == TypeSymbol.U_Var)      // if the vairable known var
                    {
                        varAux = (TVar)G_curr_ID;
                    }
                    else                                // if the variable known procedure
                    {
                        procAux = (ProcedureInstruction)G_curr_ID;
                    }

                    UL = LexicalUnit();
                }

                expNew.UL = ulAux;
                last      = expNew;
                if (ulAux == TypeSymbol.U_VarProcedure)
                {
                    expNew.ValCall = ReadCall(procAux);
                }
                else if (ulAux == TypeSymbol.U_Var)
                {
                    expNew.ValVar = varAux;
                    if (UL == TypeSymbol.U_OpenBracket)
                    {
                        UL           = LexicalUnit();
                        expNew.Index = ReadExpression();
                        if (UL != TypeSymbol.U_ClosedBracket)
                        {
                            GetSyntaxError(WordMessagesError.NotFound, "]");
                        }

                        UL = LexicalUnit();
                    }
                    else
                    {
                        expNew.Index = null;
                    }
                }

                return(expNew);
            }
            else if (new TypeSymbol[] { TypeSymbol.U_Sin, TypeSymbol.U_Cos, TypeSymbol.U_Tg,
                                        TypeSymbol.U_Ln, TypeSymbol.U_Log, TypeSymbol.U_Exp, TypeSymbol.U_Sqr, TypeSymbol.U_Sqrt,
                                        TypeSymbol.U_Length, TypeSymbol.U_IntToStr, TypeSymbol.U_StrToInt, TypeSymbol.U_IntToHex, }.Contains(UL))
            {
                TExpression expNew = new TExpression();
                expNew.UL = UL;
                UL        = LexicalUnit();
                if (UL != TypeSymbol.U_OpenParanthese)
                {
                    GetSyntaxError(WordMessagesError.NotFound, "(");
                }

                UL = LexicalUnit();
                TExpression exp0 = ReadExpression(ref last);
                last.Next   = expNew;
                expNew.Prev = last;
                last        = expNew;

                if (UL != TypeSymbol.U_ClosedParanthese)
                {
                    GetSyntaxError(WordMessagesError.NotFound, ")");
                }

                UL = LexicalUnit();
                return(exp0);
            }
            else if (UL == TypeSymbol.U_Pluse || UL == TypeSymbol.U_Minus || UL == TypeSymbol.U_Not || UL == TypeSymbol.U_Complement)
            {
                TExpression expNew = new TExpression();

                if (UL == TypeSymbol.U_Pluse)
                {
                    expNew.UL = TypeSymbol.U_UnaryPluse;
                }
                else if (UL == TypeSymbol.U_Minus)
                {
                    expNew.UL = TypeSymbol.U_UnaryMinuse;
                }
                else if (UL == TypeSymbol.U_Not)
                {
                    expNew.UL = TypeSymbol.U_Not;
                }
                else
                {
                    expNew.UL = TypeSymbol.U_Complement;
                }

                UL = LexicalUnit();
                TExpression exp0 = ReadFact(ref last);
                last.Next   = expNew;
                expNew.Prev = last;
                last        = expNew; // this statment i added to solve the problem that unary pluse and unary minus.

                return(exp0);
            }
            else
            {
                GetSyntaxError(SyntaxMessagesError.InvalidToken, UL.ToString());
            }

            // this statment will never execute
            // just for elminate compile time error.
            return(null);
        }
Пример #14
0
        private TExpression ReadExpression()
        {
            TExpression last = null;

            return(ReadExpression(ref last));
        }
Пример #15
0
        private CallInstruction ReadCall(ProcedureInstruction procAux)
        {
            CallInstruction callAux = new CallInstruction {
                P = procAux
            };

            // Code before Modify

            //callAux.P = (TProcedure)lexer.CurrID;
            //if (LexicalUnit() != TypeSymbol.U_OpenParanthese)
            //{
            //    GetSyntaxError(WordMessagesError.NotFound, "(");
            //}

            // Code after Modify
            // callAux.P = procAux;
            if (UL != TypeSymbol.U_OpenParanthese)
            {
                GetSyntaxError(WordMessagesError.NotFound, "(");
            }

            UL = LexicalUnit();
            // By Default
            callAux.Pin  = null;
            callAux.Pout = null;

            if (UL == TypeSymbol.U_Input)
            {
                UL = LexicalUnit();
                TExpression last = null;
                while (true)
                {
                    TExpression last1 = null;
                    TExpression exp1  = ReadExpression(ref last1);
                    if (callAux.Pin == null)
                    {
                        callAux.Pin = exp1;
                    }
                    else
                    {
                        last.Next = exp1;
                        exp1.Prev = last;
                    }

                    last = last1;

                    if (UL == TypeSymbol.U_ClosedParanthese || UL == TypeSymbol.U_Output)
                    {
                        break;
                    }
                    if (UL != TypeSymbol.U_Comma)
                    {
                        GetSyntaxError(WordMessagesError.NotFound, "\",\"");
                    }

                    UL = LexicalUnit();
                }   // end while
            }

            if (UL == TypeSymbol.U_Output) // this section must be Repated again ( it is not finished )
            {
                UL = LexicalUnit();

                while (true)
                {
                    if (UL == TypeSymbol.U_UnKown)
                    {
                        IdentifierInstruction.AddIdentifier(G_curr_Str, ref Locals.gvar);
                        G_curr_ID = gVar;
                    }
                    else if (UL != TypeSymbol.U_Var)
                    {
                        GetSyntaxError(WordMessagesError.NotFound, "Variable");
                    }

                    TListVar newlvar = new TListVar();
                    newlvar.V    = (TVar)G_curr_ID;
                    newlvar.Next = callAux.Pout;
                    callAux.Pout = newlvar;

                    UL = LexicalUnit();
                    if (UL == TypeSymbol.U_ClosedParanthese)
                    {
                        break;
                    }
                    if (UL != TypeSymbol.U_Comma)
                    {
                        GetSyntaxError(WordMessagesError.NotFound, "\",\"");
                    }
                    UL = LexicalUnit();
                }
            }

            if (UL != TypeSymbol.U_ClosedParanthese)
            {
                GetSyntaxError(WordMessagesError.NotFound, ")");
            }

            UL = LexicalUnit();
            return(callAux);
        }
Пример #16
0
        private object HandleWrite()
        {
            TWrite writeAux = new TWrite();

            writeAux.isLn = (UL == TypeSymbol.U_WriteLn);
            if (LexicalUnit() != TypeSymbol.U_OpenParanthese)
            {
                GetSyntaxError(WordMessagesError.NotFound, "(");
            }

            UL = LexicalUnit();

            // by default
            writeAux.exp = null;

            TExpression last = null;

            while (UL != TypeSymbol.U_ClosedParanthese)
            {
                TExpression last0 = null;
                TExpression exp0  = ReadExpression(ref last0);

                if (writeAux.exp == null)
                {
                    writeAux.exp = exp0;
                }
                else
                {
                    last.Next = exp0;
                    exp0.Prev = last;
                }

                last = last0;

                if (UL != TypeSymbol.U_ClosedParanthese && UL != TypeSymbol.U_Comma)
                {
                    GetSyntaxError(WordMessagesError.NotFound, ", or )");
                }

                if (UL == TypeSymbol.U_Comma)
                {
                    UL = LexicalUnit();
                    if (UL == TypeSymbol.U_ClosedParanthese)
                    {
                        GetSyntaxError(SyntaxMessagesError.ExpMiss, "\",\"", "\")\"");
                    }
                }
            }   // end while

            if (!writeAux.isLn && writeAux.exp == null)
            {
                warnning.Add(new WarningException(SyntaxMessagesError.NoOperation, CI, lineNumber, Locals.CurrFile.Name));
            }
            UL = LexicalUnit();
            if (UL != TypeSymbol.U_SemiColon)
            {
                GetSyntaxError(SyntaxMessagesError.SemiColon);
            }
            UL = LexicalUnit();
            return(writeAux);
        }