CGVisitDefinitionNodeOperation.cs

Go to the documentation of this file.

using TypeSystem.Operations;
using TypeSystem;
using ErrorManagement;
using AST;
using Tools;
using System.Collections.Generic;
using CodeGeneration.ExceptionManagement;
using AST.Operations;
namespace CodeGeneration.Operations {
    internal class CGVisitDefinitionNodeOperation<T> : AstOperation where T : ILCodeGenerator {

        private T codeGenerator;
        private int indent;

        private Definition node;

        private object argument;
        private VisitorILCodeGeneration<T> visitor;

        public CGVisitDefinitionNodeOperation(VisitorILCodeGeneration<T> visitor, Definition node, T codeGenerator, int indent, object argument) {
            this.node = node;
            this.codeGenerator = codeGenerator;
            this.indent = indent;
            this.visitor = visitor;
            this.argument = argument;
        }

        public override object Exec(InvocationExpression invocationExpression, object arg) {
            this.BeginOfOperation();
            MethodType methodType = invocationExpression.ActualMethodCalled as MethodType;
            if (methodType != null) {
                // Both elements of condition must be the same, but it is not true, the promotion is different.
                if (this.node.Init.ILTypeExpression.IsValueType() && !methodType.Return.IsValueType())
                    this.codeGenerator.Promotion(this.indent, methodType.Return, methodType.Return, this.node.TypeExpr, this.node.ILTypeExpression, true, this.visitor.CheckMakeAnUnbox(this.node.Init));
                else
                    this.codeGenerator.Promotion(this.indent, this.node.Init.ExpressionType, this.node.Init.ILTypeExpression, this.node.TypeExpr, this.node.ILTypeExpression, true, this.visitor.CheckMakeAnUnbox(this.node.Init));
            }
            return this.EndOfOperation();
        }
        public override object Exec(AstNode exp, object arg) {
            this.BeginOfOperation();
            this.codeGenerator.Promotion(this.indent, this.node.Init.ExpressionType, this.node.Init.ILTypeExpression, this.node.TypeExpr, this.node.ILTypeExpression, true, this.visitor.CheckMakeAnUnbox(this.node.Init));
            return this.EndOfOperation();
        }
        protected virtual object EndOfOperation() {
            this.codeGenerator.stloc(this.indent, this.node.ILName);
            this.codeGenerator.WriteLine();
            return null;
        }
        protected virtual void BeginOfOperation() {
            this.node.Init.Accept(this.visitor, this.argument);
        }
    }
}