/// <summary>
/// Replaces all the instances stored in the given <see cref="T:IDictionary`2"/>
/// stored as keys to the corresponding values and returns this instance.
/// </summary>
/// <param name='identMap'>
/// A <see cref="T:System.Collections.Generic.IDictionary`2"/> that contains pairs if
/// <see cref="IZincIdent"/> instances. The keys should be replaced by the values of the dictionary.
/// </param>
/// <returns>
/// This instance, for cascading purposes.
/// </returns>
public override IZincIdentReplaceContainer Replace(IDictionary <IZincIdent, IZincIdent> identMap)
{
this.annotations = this.annotations.Replace(identMap) as ZincAnnotations;
int n = this.TypeInstAndIdentExpressions.Count;
for (int i = 0x00; i < n; i++)
{
this.typeInstExpressions [i] = this.typeInstExpressions [i].Replace(identMap) as ZincTypeInstExprAndIdent;
}
return(base.Replace(identMap));
}
/// <summary>
/// Replaces all the instances stored in the given <see cref="T:IDictionary`2"/>
/// stored as keys to the corresponding values and returns this instance.
/// </summary>
/// <param name='identMap'>
/// A <see cref="T:System.Collections.Generic.IDictionary`2"/> that contains pairs if
/// <see cref="IZincIdent"/> instances. The keys should be replaced by the values of the dictionary.
/// </param>
/// <returns>
/// This instance, for cascading purposes.
/// </returns>
public override IZincIdentReplaceContainer Replace(IDictionary<IZincIdent, IZincIdent> identMap)
{
this.annotations = this.annotations.Replace (identMap) as ZincAnnotations;
int n = this.TypeInstAndIdentExpressions.Count;
for (int i = 0x00; i < n; i++) {
this.typeInstExpressions [i] = this.typeInstExpressions [i].Replace (identMap) as ZincTypeInstExprAndIdent;
}
return base.Replace (identMap);
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincAsExIdTiasBoxBase"/> class
/// with a given initial <see cref="IZincAnnotations"/>, <see cref="IZincExp"/>, <see cref="IZincIdent"/> and
/// <see cref="IZincTypeInstExprAndIdent"/> instances.
/// </summary>
/// <param name='anns'>
/// The given initial <see cref="IZincAnnotations"/> instance.
/// </param>
/// <param name='expr'>
/// The given initial <see cref="IZincExp"/> instance.
/// </param>
/// <param name='id'>
/// The given initial <see cref="IZincIdent"/> instance.
/// </param>
/// <param name='tias'>
/// The given initial <see cref="IZincTypeInstExprAndIdent"/> instances.
/// </param>
protected ZincAsExIdTiasBoxBase(IZincAnnotations anns, IZincExp expr, IZincIdent id, IEnumerable<IZincTypeInstExprAndIdent> tias)
: this(anns,expr,id,(IList<IZincTypeInstExprAndIdent>)tias.ToArray())
{
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincAsExIdTiasBoxBase"/> class
/// with a given initial <see cref="IZincAnnotations"/>, <see cref="IZincExp"/>, <see cref="IZincIdent"/> and
/// <see cref="IZincTypeInstExprAndIdent"/> instances.
/// </summary>
/// <param name='anns'>
/// The given initial <see cref="IZincAnnotations"/> instance.
/// </param>
/// <param name='expr'>
/// The given initial <see cref="IZincExp"/> instance.
/// </param>
/// <param name='id'>
/// The given initial <see cref="IZincIdent"/> instance.
/// </param>
/// <param name='tias'>
/// The given initial <see cref="IZincTypeInstExprAndIdent"/> instances.
/// </param>
protected ZincAsExIdTiasBoxBase(IZincAnnotations anns, IZincExp expr, IZincIdent id, params IZincTypeInstExprAndIdent[] tias)
: this(anns,expr,id,(IList<IZincTypeInstExprAndIdent>)tias)
{
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincOxide.MiniZinc.Boxes.ZincAsExBoxBase"/> class
/// with a given initial <see cref="IZincAnnotations"/> and <see cref="IZincExp"/> instance.
/// </summary>
/// <param name='anns'>
/// The given initial <see cref="IZincAnnotations"/> instance.
/// </param>
/// <param name='expr'>
/// The given initial <see cref="IZincExp"/> instance.
/// </param>
protected ZincAsExBoxBase(IZincAnnotations anns, IZincExp expr)
: base(expr)
{
this.Annotations = anns;
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincOxide.MiniZinc.Boxes.ZincAsExBoxBase"/> class
/// with a given initial <see cref="IZincAnnotations"/> instance.
/// </summary>
/// <param name='anns'>
/// The given initial <see cref="IZincAnnotations"/> instance.
/// </param>
protected ZincAsExBoxBase(IZincAnnotations anns)
: base()
{
this.Annotations = anns;
}
/// <summary>
/// Replaces all the instances stored in the given <see cref="T:IDictionary`2"/>
/// stored as keys to the corresponding values and returns this instance.
/// </summary>
/// <param name='identMap'>
/// A <see cref="T:IDictionary`2"/> that contains pairs if
/// <see cref="IZincIdent"/> instances. The keys should be replaced by the values of the dictionary.
/// </param>
/// <returns>
/// This instance, for cascading purposes.
/// </returns>
public override IZincIdentReplaceContainer Replace(IDictionary<IZincIdent, IZincIdent> identMap)
{
this.Annotations = this.Annotations.Replace (identMap) as ZincAnnotations;
return base.Replace (identMap);
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincAsExIdTiasBoxBase"/> class
/// with a given initial <see cref="IZincAnnotations"/>, <see cref="IZincExp"/>, <see cref="IZincIdent"/> and
/// <see cref="IZincTypeInstExprAndIdent"/> instances.
/// </summary>
/// <param name='anns'>
/// The given initial <see cref="IZincAnnotations"/> instance.
/// </param>
/// <param name='expr'>
/// The given initial <see cref="IZincExp"/> instance.
/// </param>
/// <param name='id'>
/// The given initial <see cref="IZincIdent"/> instance.
/// </param>
/// <param name='tias'>
/// The given initial <see cref="IZincTypeInstExprAndIdent"/> instances.
/// </param>
protected ZincAsExIdTiasBoxBase(IZincAnnotations anns, IZincExp expr, IZincIdent id, IList <IZincTypeInstExprAndIdent> tias) : base(id, expr)
{
this.Annotations = anns;
this.typeInstExpressions = tias;
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincOxide.MiniZinc.Boxes.ZincAsExBoxBase"/> class
/// with a given initial <see cref="IZincAnnotations"/> and <see cref="IZincExp"/> instance.
/// </summary>
/// <param name='anns'>
/// The given initial <see cref="IZincAnnotations"/> instance.
/// </param>
/// <param name='expr'>
/// The given initial <see cref="IZincExp"/> instance.
/// </param>
protected ZincAsExBoxBase(IZincAnnotations anns, IZincExp expr) : base(expr)
{
this.Annotations = anns;
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincOxide.MiniZinc.Boxes.ZincAsExBoxBase"/> class
/// with a given initial <see cref="IZincAnnotations"/> instance.
/// </summary>
/// <param name='anns'>
/// The given initial <see cref="IZincAnnotations"/> instance.
/// </param>
protected ZincAsExBoxBase(IZincAnnotations anns) : base()
{
this.Annotations = anns;
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincAsBoxBase"/> class with a given initial
/// <see cref="Annotations"/> instance.
/// </summary>
/// <param name='annotations'>
/// The initial <see cref="IZincAnnotations"/> instance to store.
/// </param>
protected ZincAsBoxBase(IZincAnnotations annotations)
{
this.Annotations = annotations;
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincAsExIdTiasBoxBase"/> class
/// with a given initial <see cref="IZincAnnotations"/>, <see cref="IZincExp"/>, <see cref="IZincIdent"/>
/// instances.
/// </summary>
/// <param name='anns'>
/// The given initial <see cref="IZincAnnotations"/> instance.
/// </param>
/// <param name='expr'>
/// The given initial <see cref="IZincExp"/> instance.
/// </param>
/// <param name='id'>
/// The given initial <see cref="IZincIdent"/> instance.
/// </param>
protected ZincAsExIdTiasBoxBase(IZincAnnotations anns, IZincExp expr, IZincIdent id) : base(id, expr)
{
this.Annotations = anns;
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincAsExIdTiasBoxBase"/> class
/// with a given initial <see cref="IZincAnnotations"/>, <see cref="IZincExp"/>, <see cref="IZincIdent"/> and
/// <see cref="IZincTypeInstExprAndIdent"/> instances.
/// </summary>
/// <param name='anns'>
/// The given initial <see cref="IZincAnnotations"/> instance.
/// </param>
/// <param name='expr'>
/// The given initial <see cref="IZincExp"/> instance.
/// </param>
/// <param name='id'>
/// The given initial <see cref="IZincIdent"/> instance.
/// </param>
/// <param name='tias'>
/// The given initial <see cref="IZincTypeInstExprAndIdent"/> instances.
/// </param>
protected ZincAsExIdTiasBoxBase(IZincAnnotations anns, IZincExp expr, IZincIdent id, IEnumerable <IZincTypeInstExprAndIdent> tias) : this(anns, expr, id, (IList <IZincTypeInstExprAndIdent>)tias.ToArray())
{
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincAsExIdTiasBoxBase"/> class
/// with a given initial <see cref="IZincAnnotations"/>, <see cref="IZincExp"/>, <see cref="IZincIdent"/> and
/// <see cref="IZincTypeInstExprAndIdent"/> instances.
/// </summary>
/// <param name='anns'>
/// The given initial <see cref="IZincAnnotations"/> instance.
/// </param>
/// <param name='expr'>
/// The given initial <see cref="IZincExp"/> instance.
/// </param>
/// <param name='id'>
/// The given initial <see cref="IZincIdent"/> instance.
/// </param>
/// <param name='tias'>
/// The given initial <see cref="IZincTypeInstExprAndIdent"/> instances.
/// </param>
protected ZincAsExIdTiasBoxBase(IZincAnnotations anns, IZincExp expr, IZincIdent id, params IZincTypeInstExprAndIdent[] tias) : this(anns, expr, id, (IList <IZincTypeInstExprAndIdent>)tias)
{
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincAsExIdTiasBoxBase"/> class
/// with a given initial <see cref="IZincAnnotations"/>, <see cref="IZincExp"/>, <see cref="IZincIdent"/>
/// instances.
/// </summary>
/// <param name='anns'>
/// The given initial <see cref="IZincAnnotations"/> instance.
/// </param>
/// <param name='expr'>
/// The given initial <see cref="IZincExp"/> instance.
/// </param>
/// <param name='id'>
/// The given initial <see cref="IZincIdent"/> instance.
/// </param>
protected ZincAsExIdTiasBoxBase(IZincAnnotations anns, IZincExp expr, IZincIdent id)
: base(id,expr)
{
this.Annotations = anns;
}
/// <summary>
/// Replaces all the instances stored in the given <see cref="T:IDictionary`2"/>
/// stored as keys to the corresponding values and returns this instance.
/// </summary>
/// <param name='identMap'>
/// A <see cref="T:IDictionary`2"/> that contains pairs if
/// <see cref="IZincIdent"/> instances. The keys should be replaced by the values of the dictionary.
/// </param>
/// <returns>
/// This instance, for cascading purposes.
/// </returns>
public override IZincIdentReplaceContainer Replace(IDictionary <IZincIdent, IZincIdent> identMap)
{
this.Annotations = this.Annotations.Replace(identMap) as ZincAnnotations;
return(base.Replace(identMap));
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincAsExIdTiasBoxBase"/> class
/// with a given initial <see cref="IZincAnnotations"/>, <see cref="IZincExp"/>, <see cref="IZincIdent"/> and
/// <see cref="IZincTypeInstExprAndIdent"/> instances.
/// </summary>
/// <param name='anns'>
/// The given initial <see cref="IZincAnnotations"/> instance.
/// </param>
/// <param name='expr'>
/// The given initial <see cref="IZincExp"/> instance.
/// </param>
/// <param name='id'>
/// The given initial <see cref="IZincIdent"/> instance.
/// </param>
/// <param name='tias'>
/// The given initial <see cref="IZincTypeInstExprAndIdent"/> instances.
/// </param>
protected ZincAsExIdTiasBoxBase(IZincAnnotations anns, IZincExp expr, IZincIdent id, IList<IZincTypeInstExprAndIdent> tias)
: base(id,expr)
{
this.Annotations = anns;
this.typeInstExpressions = tias;
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincAsBoxBase"/> class with a given initial
/// <see cref="Annotations"/> instance.
/// </summary>
/// <param name='annotations'>
/// The initial <see cref="IZincAnnotations"/> instance to store.
/// </param>
protected ZincAsBoxBase(IZincAnnotations annotations)
{
this.Annotations = annotations;
}