stgsharp/StgSharp.Model/Step/Reader/ExpSyntaxAnalyzer.OperatorParser.cs

//-----------------------------------------------------------------------
//-----------------------------------------------------------------------
//     file="ExpSyntaxAnalyzer.OperatorParser.cs"
//     Project: StgSharp
//     AuthorGroup: Nitload Space
//     Copyright (c) Nitload Space. All rights reserved.
//     
//     Permission is hereby granted, free of charge, to any person 
//     obtaining a copy of this software and associated documentation 
//     files (the “Software”), to deal in the Software without restriction, 
//     including without limitation the rights to use, copy, modify, merge,
//     publish, distribute, sublicense, and/or sell copies of the Software, 
//     and to permit persons to whom the Software is furnished to do so, 
//     subject to the following conditions:
//     
//     The above copyright notice and 
//     this permission notice shall be included in all copies 
//     or substantial portions of the Software.
//     
//     THE SOFTWARE IS PROVIDED “AS IS”, 
//     WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, 
//     INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 
//     FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. 
//     IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, 
//     DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, 
//     ARISING FROM, OUT OF OR IN CONNECTION WITH 
//     THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
//     
//-----------------------------------------------------------------------
//-----------------------------------------------------------------------
using StgSharp.Script;
using StgSharp.Script.Express;

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

using ExpKeyword = StgSharp.Script.Express.ExpressCompile.Keyword;

namespace StgSharp.Modeling.Step
{
    public partial class StepExpSyntaxAnalyzer
    {

        public int CompareOperatorPrecedence( Token left, Token right )
        {
            ExpressCompile.TryGetOperatorPrecedence( left.Value, out int leftPrecedence );
            ExpressCompile.TryGetOperatorPrecedence( right.Value, out int rightPrecedence );
            return leftPrecedence - rightPrecedence;
        }

        public bool TryGenerateUnaryNode( Token t, out ExpNode node )
        {
            ExpNode operand = GetNextOperandCache();
            switch( t.Value )
            {
                case ExpKeyword.UnaryPlus:
                    node = ExpUnaryOperatorNode.UnaryPlus( t, operand );
                    return true;
                case ExpKeyword.UnaryMinus:
                    node = ExpUnaryOperatorNode.UnaryMinus( t, operand );
                    return true;
                case ExpKeyword.Not:
                    node = ExpUnaryOperatorNode.UnaryNot( t, operand );
                    return true;
                default:
                    node = ExpNode.Empty;
                    return false;
            }
        }

        /// <summary>
        ///   WARNING: This method cannot process INDEXOF, FUNCTION CALLING, LOOP and any ENDING
        ///   SYMBOLS.
        /// </summary>
        private ExpNode ConvertAndPushOneOperator( Token op )
        {
            switch( op.Flag )
            {
                case TokenFlag.Symbol_Unary:
                    TryGenerateUnaryNode( op, out ExpNode? node );
                    _cache.PushOperand( node );
                    return node;
                case TokenFlag.Symbol_Binary:
                    TryGenerateBinaryNode( op, out node );
                    _cache.PushOperand( node );
                    return node;
                case TokenFlag.Member:
                    if( _context.TryGetFunction( op.Value, out ExpFunctionSource? f ) )
                    {
                        if( !_cache.PopOperand( out Token t, out ExpNode? p ) )
                        {
                            node = ExpFunctionCallingNode.CallFunction( op, f, p );
                            return node;
                        } else
                        {
                            throw new ExpCompileException(
                                t,
                                "An ExpNode for function calling is needed, but a token was popped" );
                        }
                    } else if( _context.TryGetProcedure( op.Value, out ExpProcedureSource? p ) )
                    {
                        if( !_cache.PopOperand( out Token t, out ExpNode? param ) )
                        {
                            node = ExpProcedureCallingNode.CallProcedure( op, p, param );
                            return node;
                        } else
                        {
                            throw new ExpCompileException(
                                t,
                                "An ExpNode for function calling is needed, but a token was popped" );
                        }
                    } else if( ExpSchema.BuiltinSchema.TryGetFunction( op.Value, out f ) )
                    {
                        if( !_cache.PopOperand( out Token t, out ExpNode? param ) )
                        {
                            node = ExpFunctionCallingNode.CallFunction( op, f, param );
                            return node;
                        } else
                        {
                            throw new ExpCompileException(
                                t,
                                "An ExpNode for function calling is needed, but a token was popped" );
                        }
                    } else
                    {
                        throw new NotImplementedException();

                        //uncertain case here
                    }
                default:
                    throw new NotImplementedException();
            }
        }

        private bool TryGenerateBinaryNode( Token t, out ExpNode node )
        {
            ExpNode right = GetNextOperandCache();
            ExpNode left = GetNextOperandCache();
            switch( t.Value )
            {
                case ExpKeyword.Add:
                    node = ExpBinaryOperatorNode.Add( t, left, right );
                    return true;
                case ExpKeyword.Sub:
                    node = ExpBinaryOperatorNode.Sub( t, left, right );
                    return true;
                case ExpKeyword.Mul:
                    node = ExpBinaryOperatorNode.Mul( t, left, right );
                    return true;
                case ExpKeyword.Div:
                    node = ExpBinaryOperatorNode.Div( t, left, right );
                    return true;
                case ExpKeyword.Equal:
                    node = ExpBinaryOperatorNode.EqualTo( t, left, right );
                    return true;
                case ExpKeyword.NotEqual:
                    node = ExpBinaryOperatorNode.NotEqualTo( t, left, right );
                    return true;
                case ExpKeyword.GreaterThan:
                    node = ExpBinaryOperatorNode.GreaterThan( t, left, right );
                    return true;
                case ExpKeyword.LessThan:
                    node = ExpBinaryOperatorNode.LessThan( t, left, right );
                    return true;
                case ExpKeyword.Assignment:
                    node = ExpBinaryOperatorNode.Assign( t, left, right );
                    return true;
                case ExpKeyword.InstanceEqual:
                    node = ExpBinaryOperatorNode.CompareInstanceEqual( t, left, right );
                    return true;
                case ExpKeyword.InstanceNotEqual:
                    node = ExpBinaryOperatorNode.CompareInstanceNotEqual( t, left, right );
                    return true;
                default:
                    node = ExpNode.Empty;
                    return false;
            }
        }

    }
}