CGRemoveTopElementInvocationOperation.cs

Go to the documentation of this file.

using TypeSystem.Operations;
using TypeSystem;
namespace CodeGeneration.Operations {
    internal class CGRemoveTopElementInvocationOperation : TypeSystemOperation {

        public CGRemoveTopElementInvocationOperation() { }
        public override object Exec(VoidType v, object arg) {
            return false;
        }
        public override object Exec(UnionType ut, object arg) {
            return !(ut.TypeSet[0] is VoidType);
        }

        public override object Exec(TypeVariable t, object arg) {
            if ( t.IsFreshVariable() )
                return true; //It is an introspective method call
            return t.Substitution.AcceptOperation(this, arg);
        }
        public override object Exec(TypeExpression t, object arg) {
            return true;
        }
    }
}