/// <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.TypeInstExprAndIdent = this.TypeInstExprAndIdent.Replace(identMap) as ZincTypeInstExprAndIdent;
return(base.Replace(identMap));
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincAsExTiaBoxBase"/> class
/// with a given initial <see cref="IZincAnnotations"/>, <see cref="IZincExp"/> 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='tia'>
/// The given initial <see cref="IZincTypeInstExprAndIdent"/> instances.
/// </param>
protected ZincAsExTiaBoxBase(ZincAnnotations anns, IZincExp expr, IZincTypeInstExprAndIdent tia)
: base(anns,expr)
{
this.TypeInstExprAndIdent = tia;
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincAsExTiaBoxBase"/> class
/// with a given initial <see cref="IZincAnnotations"/>, <see cref="IZincExp"/> 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='tia'>
/// The given initial <see cref="IZincTypeInstExprAndIdent"/> instances.
/// </param>
protected ZincAsExTiaBoxBase(ZincAnnotations anns, IZincExp expr, IZincTypeInstExprAndIdent tia) : base(anns, expr)
{
this.TypeInstExprAndIdent = tia;
}
/// <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.TypeInstExprAndIdent = this.TypeInstExprAndIdent.Replace (identMap) as ZincTypeInstExprAndIdent;
return base.Replace (identMap);
}