示例#1
0
        /// <summary>
        /// Generate call to a routine and store result into a variable.
        /// </summary>
        /// <para>Stack behavior: </para>
        /// <list type="number">
        /// <item><description>create new variable</description></item>
        /// <item><description>store returned value</description></item>
        /// <item><description>nothing left on the stack</description></item>
        /// </list>
        /// <param name="call">"CALL" AST fragment</param>
        /// <returns>SLang variable which holds a value returned from a call.</returns>
        private Variable GenerateVariableFromCall(Call call)
        {
            var routine = GenerateCall(call);

            if (!routine.SignatureReference.ReturnType.IsVoid)
            {
                var variable = new BodyVariable(routine.SignatureDefinition.ReturnType);
                variable.Store(ip);
                return(variable);
            }

            return(new BodyVariable(Context.TypeSystem.Void));
        }
示例#2
0
        /// <summary>
        /// Generate "VARIABLE" declaration, evaluate its initializer and assign.
        /// </summary>
        /// <para>Stack behavior: expects nothing, leaves nothing.</para>
        /// <param name="declaration">SLang IR variable declaration.</param>
        private void GenerateVariableDeclaration(VariableDeclaration declaration)
        {
            var      name     = declaration.Name;
            var      varType  = new UnitReference(Context, declaration.Type).Resolve();
            Variable variable = new BodyVariable(varType, name);

            // declare in the current scope
            scopeCurrent.Declare(name, variable);
            // evaluate initializer
            var exprType = GenerateExpression(declaration.Initializer);

            // assign
            variable.Store(ip);

            // verify
            varType.AssertIsAssignableFrom(exprType);
        }