using System.Collections.Generic;
using HeuristicLab.Persistence.Default.CompositeSerializers.Storable;

namespace HeuristicLab.Problems.ProgramSynthesis {
  [StorableClass]
  public abstract class PopExpression<T> : StatelessExpression {
    protected PopExpression() { }
    [StorableConstructor]
    protected PopExpression(bool deserializing) : base(deserializing) { }

    protected void Eval(IPushStack<T> stack) {
      stack.Pop();
    }
  }

  [StorableClass]
  [PushExpression(StackTypes.Integer, "INTEGER.POP", "Pops the top INTEGER item.")]
  public class IntegerPopExpression : PopExpression<long> {
    public IntegerPopExpression() { }
    [StorableConstructor]
    protected IntegerPopExpression(bool deserializing) : base(deserializing) { }

    public override bool IsNoop(IInternalPushInterpreter interpreter) {
      return interpreter.IntegerStack.IsEmpty;
    }

    public override void Eval(IInternalPushInterpreter interpreter) {
      Eval(interpreter.IntegerStack);
    }
  }

  [StorableClass]
  [PushExpression(StackTypes.Float, "FLOAT.POP", "Pops the top FLOAT item.")]
  public class FloatPopExpression : PopExpression<double> {
    public FloatPopExpression() { }
    [StorableConstructor]
    protected FloatPopExpression(bool deserializing) : base(deserializing) { }

    public override bool IsNoop(IInternalPushInterpreter interpreter) {
      return interpreter.FloatStack.IsEmpty;
    }

    public override void Eval(IInternalPushInterpreter interpreter) {
      Eval(interpreter.FloatStack);
    }
  }

  [StorableClass]
  [PushExpression(StackTypes.Boolean, "BOOLEAN.POP", "Pops the top BOOLEAN item.")]
  public class BooleanPopExpression : PopExpression<bool> {
    public BooleanPopExpression() { }
    [StorableConstructor]
    protected BooleanPopExpression(bool deserializing) : base(deserializing) { }

    public override bool IsNoop(IInternalPushInterpreter interpreter) {
      return interpreter.BooleanStack.IsEmpty;
    }

    public override void Eval(IInternalPushInterpreter interpreter) {
      Eval(interpreter.BooleanStack);
    }
  }

  [StorableClass]
  [PushExpression(StackTypes.Name, "NAME.POP", "Pops the top NAME item.")]
  public class NamePopExpression : PopExpression<string> {
    public NamePopExpression() { }
    [StorableConstructor]
    protected NamePopExpression(bool deserializing) : base(deserializing) { }

    public override bool IsNoop(IInternalPushInterpreter interpreter) {
      return interpreter.NameStack.IsEmpty;
    }

    public override void Eval(IInternalPushInterpreter interpreter) {
      Eval(interpreter.NameStack);
    }
  }

  [StorableClass]
  [PushExpression(StackTypes.Exec, "EXEC.POP", "Pops the top EXEC item.", requiredBlockCount: 1)]
  public class ExecPopExpression : PopExpression<Expression> {
    public ExecPopExpression() { }
    [StorableConstructor]
    protected ExecPopExpression(bool deserializing) : base(deserializing) { }

    public override bool IsNoop(IInternalPushInterpreter interpreter) {
      return interpreter.ExecStack.IsEmpty;
    }

    public override void Eval(IInternalPushInterpreter interpreter) {
      Eval(interpreter.ExecStack);
    }
  }

  [StorableClass]
  [PushExpression(StackTypes.Code, "CODE.POP", "Pops the top CODE item.")]
  public class CodePopExpression : PopExpression<Expression> {
    public CodePopExpression() { }
    [StorableConstructor]
    protected CodePopExpression(bool deserializing) : base(deserializing) { }

    public override bool IsNoop(IInternalPushInterpreter interpreter) {
      return interpreter.CodeStack.IsEmpty;
    }

    public override void Eval(IInternalPushInterpreter interpreter) {
      Eval(interpreter.CodeStack);
    }
  }

  [StorableClass]
  [PushExpression(StackTypes.Char, "CHAR.POP", "Pops the top CHAR item.")]
  public class CharPopExpression : PopExpression<char> {
    public CharPopExpression() { }
    [StorableConstructor]
    protected CharPopExpression(bool deserializing) : base(deserializing) { }

    public override bool IsNoop(IInternalPushInterpreter interpreter) {
      return interpreter.CharStack.IsEmpty;
    }

    public override void Eval(IInternalPushInterpreter interpreter) {
      Eval(interpreter.CharStack);
    }
  }

  [StorableClass]
  [PushExpression(StackTypes.String, "STRING.POP", "Pops the top STRING item.")]
  public class StringPopExpression : PopExpression<string> {
    public StringPopExpression() { }
    [StorableConstructor]
    protected StringPopExpression(bool deserializing) : base(deserializing) { }

    public override bool IsNoop(IInternalPushInterpreter interpreter) {
      return interpreter.StringStack.IsEmpty;
    }

    public override void Eval(IInternalPushInterpreter interpreter) {
      Eval(interpreter.StringStack);
    }
  }

  [StorableClass]
  [PushExpression(StackTypes.IntegerVector, "INTEGER[].POP", "Pops the top INTEGER[] item.")]
  public class IntegerVectorPopExpression : PopExpression<IReadOnlyList<long>> {
    public IntegerVectorPopExpression() { }
    [StorableConstructor]
    protected IntegerVectorPopExpression(bool deserializing) : base(deserializing) { }

    public override bool IsNoop(IInternalPushInterpreter interpreter) {
      return interpreter.IntegerVectorStack.IsEmpty;
    }

    public override void Eval(IInternalPushInterpreter interpreter) {
      Eval(interpreter.IntegerVectorStack);
    }
  }

  [StorableClass]
  [PushExpression(StackTypes.FloatVector, "FLOAT[].POP", "Pops the top FLOAT[] item.")]
  public class FloatVectorPopExpression : PopExpression<IReadOnlyList<double>> {
    public FloatVectorPopExpression() { }
    [StorableConstructor]
    protected FloatVectorPopExpression(bool deserializing) : base(deserializing) { }

    public override bool IsNoop(IInternalPushInterpreter interpreter) {
      return interpreter.FloatVectorStack.IsEmpty;
    }

    public override void Eval(IInternalPushInterpreter interpreter) {
      Eval(interpreter.FloatVectorStack);
    }
  }

  [StorableClass]
  [PushExpression(StackTypes.BooleanVector, "BOOLEAN[].POP", "Pops the top BOOLEAN[] item.")]
  public class BooleanVectorPopExpression : PopExpression<IReadOnlyList<bool>> {
    public BooleanVectorPopExpression() { }
    [StorableConstructor]
    protected BooleanVectorPopExpression(bool deserializing) : base(deserializing) { }

    public override bool IsNoop(IInternalPushInterpreter interpreter) {
      return interpreter.BooleanVectorStack.IsEmpty;
    }

    public override void Eval(IInternalPushInterpreter interpreter) {
      Eval(interpreter.BooleanVectorStack);
    }
  }

  [StorableClass]
  [PushExpression(StackTypes.StringVector, "STRING[].POP", "Pops the top STRING[] item.")]
  public class StringVectorPopExpression : PopExpression<IReadOnlyList<string>> {
    public StringVectorPopExpression() { }
    [StorableConstructor]
    protected StringVectorPopExpression(bool deserializing) : base(deserializing) { }

    public override bool IsNoop(IInternalPushInterpreter interpreter) {
      return interpreter.StringVectorStack.IsEmpty;
    }

    public override void Eval(IInternalPushInterpreter interpreter) {
      Eval(interpreter.StringVectorStack);
    }
  }
}