CGRuntimeCheckArgumentOperation.cs

Go to the documentation of this file.

using TypeSystem.Operations;
using TypeSystem;
using ErrorManagement;
using System.Collections.Generic;
namespace CodeGeneration.Operations {
    public class CGRuntimeCheckArgumentOperation <T> : TypeSystemOperation where T: ILCodeGenerator{
        private List<string> nextMethod;
        private T codeGenerator;
        private int indent;
        public CGRuntimeCheckArgumentOperation(int indent, T codeGenerator, List<string> nextMethod) {
            this.indent = indent;
            this.nextMethod = nextMethod;
            this.codeGenerator = codeGenerator;
        }
        public override object Exec(TypeExpression operand, object arg) {
            if (operand.IsValueType())
                return null;
            this.codeGenerator.dup(this.indent);
            this.codeGenerator.isinst(this.indent, operand);
            // if check fail then check nextMethod
            this.nextMethod.Add(this.codeGenerator.NewLabel);
            this.codeGenerator.brfalse(this.indent, nextMethod[nextMethod.Count - 1]);
            return null;
        }
        private object MultiTypeExec(TypeExpression operand, object arg) {
            this.codeGenerator.dup(this.indent);
            this.codeGenerator.isinst(this.indent, operand);
            // if check fail then check nextMethod
            this.nextMethod.Add(this.codeGenerator.NewLabel);
            this.codeGenerator.brfalse(this.indent, nextMethod[nextMethod.Count - 1]);
            if (operand.IsValueType())
                this.codeGenerator.UnboxAny(this.indent, operand);
            return null;
        }
        public override object Exec(CharType operand, object arg) {
            return this.MultiTypeExec(operand, arg);
        }
        public override object Exec(BoolType operand, object arg) {
            return this.MultiTypeExec(operand, arg);
        }

        public override object Exec(IntType operand, object arg) {
            string nextArgument = this.codeGenerator.NewLabel;
            CharType.Instance.AcceptOperation(new CGRuntimeCheckTypeExpressionOperation<T>(this.indent, this.codeGenerator, nextArgument, false), arg);
            IntType.Instance.AcceptOperation(new CGRuntimeCheckTypeExpressionOperation<T>(this.indent, this.codeGenerator, nextArgument, false), arg);

            this.nextMethod.Add(this.codeGenerator.NewLabel);
            this.codeGenerator.br(this.indent, this.nextMethod[this.nextMethod.Count - 1]);
            this.codeGenerator.WriteLabel(this.indent, nextArgument);
            return null;
        }
        public override object Exec(DoubleType operand, object arg) {
            string nextArgument = this.codeGenerator.NewLabel;

            CharType.Instance.AcceptOperation(new CGRuntimeCheckTypeExpressionOperation<T>(this.indent, this.codeGenerator, nextArgument, true), arg);
            IntType.Instance.AcceptOperation(new CGRuntimeCheckTypeExpressionOperation<T>(this.indent, this.codeGenerator, nextArgument, true), arg);
            DoubleType.Instance.AcceptOperation(new CGRuntimeCheckTypeExpressionOperation<T>(this.indent, this.codeGenerator, nextArgument, true), arg);

            nextMethod.Add(this.codeGenerator.NewLabel);
            this.codeGenerator.br(this.indent, this.nextMethod[this.nextMethod.Count - 1]);
            this.codeGenerator.WriteLabel(this.indent, nextArgument);
            return null;
        }
        public override object ReportError(TypeExpression tE) {
            ErrorManager.Instance.NotifyError(new CodeGenerationError("No se ha definido la operación solicitada"));
            return null;
        }

    }
}