PromotionOperation.cs

Go to the documentation of this file.

using System.Collections.Generic;
using DynVarManagement;
using System;
using ErrorManagement;
namespace TypeSystem.Operations {
    public enum KindOfPromotion { Simple, Verbose };

    public abstract class PromotionOperation : TypeSystemOperation {

        public static PromotionOperation Create(TypeExpression type, MethodType methodAnalyzed, Location location) {
            return new SimplePromotionOperation(type, methodAnalyzed, location);
        }

        public static PromotionOperation Create(TypeExpression type, Enum op, MethodType methodAnalyzed, Location location) {

            return new VerbosePromotionOperation(type, op, methodAnalyzed, location);
        }

        public abstract KindOfPromotion KindOfPromotion {
            get;
        }
    }
}