source: branches/PushGP/HeuristicLab.PushGP/HeuristicLab.Problems.ProgramSynthesis/Push/Configuration/PushConfiguration.cs @ 14777

namespace HeuristicLab.Problems.ProgramSynthesis.Push.Configuration {
  using System;
  using System.Collections.Generic;
  using System.Linq;

  using HeuristicLab.Common;
  using HeuristicLab.Core;
  using HeuristicLab.Persistence.Default.CompositeSerializers.Storable;
  using HeuristicLab.Problems.ProgramSynthesis.Push.Attributes;
  using HeuristicLab.Problems.ProgramSynthesis.Push.Expressions;
  using HeuristicLab.Problems.ProgramSynthesis.Push.Stack;

  [StorableClass]
  public class PushConfiguration : NamedItem, IReadOnlyPushConfiguration, IEnabledExpressionsConfiguration {
    private static readonly string itemName = "Push Configuration";

    public PushConfiguration() {
      this.EvalPushLimit = 1024;
      this.MaxPointsInProgram = 128;
      this.MaxPointsInRandomExpression = 64;
      this.MaxDepth = 4;
      this.MaxStringLength = 64;

      this.TopLevelPushCode = true;
      this.TopLevelPopCode = false;

      this.MinRandomInteger = -128;
      this.MaxRandomInteger = 128;
      this.MinRandomFloat = -128D;
      this.MaxRandomFloat = 128D;
      this.NewErcNameProbability = 0.5;
      this.ErcProbability = 0.2;

      this.enabledExpressions = ExpressionTable.ExpressionNames.ToList();
    }

    [StorableConstructor]
    public PushConfiguration(bool deserializing)
      : base(deserializing) {
    }

    public PushConfiguration(PushConfiguration origin, Cloner cloner) : base(origin, cloner) {
      this.EnabledExpressions = origin.EnabledExpressions.ToList();

      this.EvalPushLimit = origin.EvalPushLimit;
      this.MaxPointsInProgram = origin.MaxPointsInProgram;
      this.MaxPointsInRandomExpression = origin.MaxPointsInRandomExpression;
      this.MaxDepth = origin.MaxDepth;
      this.MaxStringLength = origin.MaxStringLength;

      this.TopLevelPushCode = origin.TopLevelPushCode;
      this.TopLevelPopCode = origin.TopLevelPopCode;

      this.MinRandomInteger = origin.MinRandomInteger;
      this.MaxRandomInteger = origin.MaxRandomInteger;
      this.MinRandomFloat = origin.MinRandomFloat;
      this.MaxRandomFloat = origin.MaxRandomFloat;
      this.NewErcNameProbability = origin.NewErcNameProbability;
      this.ErcProbability = origin.ErcProbability;

      this.isBooleanStackEnabled = origin.IsBooleanStackEnabled;
      this.isIntegerStackEnabled = origin.IsIntegerStackEnabled;
      this.isFloatStackEnabled = origin.IsFloatStackEnabled;
      this.isNameStackEnabled = origin.IsNameStackEnabled;
      this.isCodeStackEnabled = origin.IsCodeStackEnabled;
      this.isExecStackEnabled = origin.IsExecStackEnabled;
    }

    public event EventHandler<EnabledExpressionsChangedEventArgs> EnabledExpressionsChanged;


    private readonly List<string> enabledExpressions = new List<string>();

    [Storable]
    public IList<string> EnabledExpressions
    {
      get
      {
        return enabledExpressions;
      }
      set
      {
        enabledExpressions.Clear();
        enabledExpressions.AddRange(value);
      }
    }

    IReadOnlyList<string> IReadOnlyPushConfiguration.EnabledExpressions { get { return this.EnabledExpressions as IReadOnlyList<string>; } }

    [Storable]
    private bool isBooleanStackEnabled = true;

    public bool IsBooleanStackEnabled
    {
      get
      {
        return this.isBooleanStackEnabled;
      }

      set
      {
        if (this.isBooleanStackEnabled == value) return;

        this.isBooleanStackEnabled = value;

        if (this.isBooleanStackEnabled) EnableExpressionOfStack(StackTypes.Boolean);
        else DisableExpressionOfStack(StackTypes.Boolean);
      }
    }

    [Storable]
    private bool isIntegerStackEnabled = true;

    public bool IsIntegerStackEnabled
    {
      get
      {
        return this.isIntegerStackEnabled;
      }

      set
      {
        if (this.isIntegerStackEnabled == value) return;

        this.isIntegerStackEnabled = value;

        if (this.isIntegerStackEnabled) EnableExpressionOfStack(StackTypes.Integer);
        else DisableExpressionOfStack(StackTypes.Integer);
      }
    }

    [Storable]
    private bool isFloatStackEnabled = true;

    public bool IsFloatStackEnabled
    {
      get
      {
        return this.isFloatStackEnabled;
      }

      set
      {
        if (this.isFloatStackEnabled == value) return;

        this.isFloatStackEnabled = value;

        if (this.isFloatStackEnabled) EnableExpressionOfStack(StackTypes.Float);
        else DisableExpressionOfStack(StackTypes.Float);
      }
    }

    [Storable]
    private bool isCodeStackEnabled = true;

    public bool IsCodeStackEnabled
    {
      get
      {
        return this.isCodeStackEnabled;
      }

      set
      {
        if (this.isCodeStackEnabled == value) return;

        this.isCodeStackEnabled = value;

        if (this.isCodeStackEnabled) EnableExpressionOfStack(StackTypes.Code);
        else DisableExpressionOfStack(StackTypes.Code);
      }
    }

    [Storable]
    private bool isExecStackEnabled = true;

    public bool IsExecStackEnabled
    {
      get
      {
        return this.isExecStackEnabled;
      }

      set
      {
        if (this.isExecStackEnabled == value) return;

        this.isExecStackEnabled = value;

        if (this.isExecStackEnabled) EnableExpressionOfStack(StackTypes.Exec);
        else DisableExpressionOfStack(StackTypes.Exec);
      }
    }

    [Storable]
    private bool isCharStackEnabled = true;

    public bool IsCharStackEnabled
    {
      get
      {
        return this.isCharStackEnabled;
      }

      set
      {
        if (this.isCharStackEnabled == value) return;

        this.isCharStackEnabled = value;

        if (this.isCharStackEnabled) EnableExpressionOfStack(StackTypes.Char);
        else DisableExpressionOfStack(StackTypes.Char);
      }
    }

    [Storable]
    private bool isStringStackEnabled = true;

    public bool IsStringStackEnabled
    {
      get
      {
        return this.isStringStackEnabled;
      }

      set
      {
        if (this.isStringStackEnabled == value) return;

        this.isStringStackEnabled = value;

        if (this.isStringStackEnabled) EnableExpressionOfStack(StackTypes.String);
        else DisableExpressionOfStack(StackTypes.String);
      }
    }

    [Storable]
    private bool isNameStackEnabled = true;

    public bool IsNameStackEnabled
    {
      get
      {
        return this.isNameStackEnabled;
      }

      set
      {
        if (this.isNameStackEnabled == value) return;

        this.isNameStackEnabled = value;

        if (this.isNameStackEnabled) EnableExpressionOfStack(StackTypes.Name);
        else DisableExpressionOfStack(StackTypes.Name);
      }
    }

    [Storable]
    public double ErcProbability { get; set; }

    /// <summary>
    ///     This is the maximum allowed number of "executions" in a single top-level call to the interpreter.
    ///     The execution of a single Push instruction counts as one execution, as does the processing of a single literal,
    ///     as does the descent into one layer of parentheses (that is, the processing of the "(" counts as one execution).
    ///     When this limit is exceeded the interpreter aborts immediately, leaving its stacks in the states they were in prior
    ///     to the abort (so they may still be examined by a calling program). Whether or not this counts as an "abnormal"
    ///     termination
    ///     is up to the calling program.
    /// </summary>
    [Storable]
    public int EvalPushLimit { get; set; }

    /// <summary>
    /// This is the maximum of depth a push program can have. Expressions, which lead to exceed this limit are interpreted as NOOP.
    /// </summary>
    [Storable]
    public int MaxDepth { get; set; }

    /// <summary>
    ///     This is the maximum size of an item on the CODE stack, expressed as a number of points.
    ///     A point is an instruction, a literal, or a pair of parentheses. Any instruction that would cause this limit to be
    ///     exceeded
    ///     should instead act as a NOOP, leaving all stacks in the states that they were in before the execution of the
    ///     instruction.
    /// </summary>
    [Storable]
    public int MaxPointsInProgram { get; set; }

    /// <summary>
    ///     The maximum number of points in an expression produced by the CODE.RAND instruction.
    /// </summary>
    [Storable]
    public int MaxPointsInRandomExpression { get; set; }

    /// <summary>
    ///     When TRUE (which is the default), code passed to the top level of the interpreter
    ///     will be pushed onto the CODE stack prior to execution.
    /// </summary>
    [Storable]
    public bool TopLevelPushCode { get; set; }

    /// <summary>
    ///     When TRUE, the CODE stack will be popped at the end of top level calls to the interpreter. The default is FALSE.
    /// </summary>
    [Storable]
    public bool TopLevelPopCode { get; set; }

    [Storable]
    public int MaxStringLength { get; set; }

    /// <summary>
    ///     The minimum INTEGER that will be produced as an ephemeral random INTEGER constant or from a call to INTEGER.RAND.
    /// </summary>
    [Storable]
    public int MinRandomInteger { get; set; }

    /// <summary>
    ///     The maximum INTEGER that will be produced as an ephemeral random INTEGER constant or from a call to INTEGER.RAND.
    /// </summary>
    [Storable]
    public int MaxRandomInteger { get; set; }

    /// <summary>
    ///     The minimum FLOAT that will be produced as an ephemeral random FLOAT constant or from a call to FLOAT.RAND.
    /// </summary>
    [Storable]
    public double MinRandomFloat { get; set; }

    /// <summary>
    ///     The maximum FLOAT that will be produced as an ephemeral random FLOAT constant or from a call to FLOAT.RAND.
    /// </summary>
    [Storable]
    public double MaxRandomFloat { get; set; }

    /// <summary>
    ///     The probability that the selection of the ephemeral
    ///     random NAME constant for inclusion in randomly generated code will produce a new name
    ///     (rather than a name that was previously generated).
    /// </summary>
    [Storable]
    public double NewErcNameProbability { get; set; }

    public void EnableExpressionOfStack(StackTypes types) {
      foreach (var name in ExpressionTable.StackTypeToNamesTable[types]) {
        EnableExpression(name);
      }
    }

    public void DisableExpressionOfStack(StackTypes types) {
      foreach (var name in ExpressionTable.StackTypeToNamesTable[types]) {
        DisableExpression(name);
      }
    }

    public void EnableExpression(string name) {
      if (EnabledExpressions.Contains(name)) return;

      EnabledExpressions.Add(name);

      if (EnabledExpressionsChanged != null) {
        EnabledExpressionsChanged.Invoke(this, new EnabledExpressionsChangedEventArgs(
          new[] { name },
          new string[0]));
      }
    }

    public void DisableExpression(string name) {
      if (!EnabledExpressions.Contains(name)) return;

      EnabledExpressions.Remove(name);

      if (EnabledExpressionsChanged != null) {
        EnabledExpressionsChanged.Invoke(this, new EnabledExpressionsChangedEventArgs(
          new string[0],
          new[] { name }));
      }
    }

    public void EnableExpression<T>() where T : Expression {
      var attribute = (PushExpressionAttribute)Attribute.GetCustomAttribute(typeof(T), typeof(PushExpressionAttribute));
      EnableExpression(attribute.ExpressionName);
    }

    public void DisableExpression<T>() where T : Expression {
      var attribute = (PushExpressionAttribute)Attribute.GetCustomAttribute(typeof(T), typeof(PushExpressionAttribute));
      DisableExpression(attribute.ExpressionName);
    }

    public void EnableStack(StackTypes types) {
      SetStack(types, true);
    }

    public void DisableStack(StackTypes types) {
      SetStack(types, false);
    }

    public void SetStack(StackTypes types, bool value) {
      switch (types) {
        case StackTypes.Boolean:
          IsBooleanStackEnabled = value;
          break;
        case StackTypes.Integer:
          IsIntegerStackEnabled = value;
          break;
        case StackTypes.Float:
          IsFloatStackEnabled = value;
          break;
        case StackTypes.Name:
          IsNameStackEnabled = value;
          break;
        case StackTypes.Code:
          IsCodeStackEnabled = value;
          break;
        case StackTypes.Exec:
          this.IsExecStackEnabled = value;
          break;
        case StackTypes.Char:
          this.IsCharStackEnabled = value;
          break;
        case StackTypes.String:
          this.IsStringStackEnabled = value;
          break;
        default: throw new InvalidOperationException("Stacktype unknown");
      }
    }

    public override IDeepCloneable Clone(Cloner cloner) {
      return new PushConfiguration(this, cloner);
    }
  }
}