public ZincTypeInstArrayExpression(IZincTypeInstExpression oftype, IZincTypeInstExpression atta, IZincTypeInstExpression attb)
: base(oftype, new IZincTypeInstExpression[] {
atta,
attb
})
{
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincIdTieBoxBase"/> class with given initial
/// <see cref="IZincIdent"/> and <see cref="IZincTypeInstExpression"/> instances.
/// </summary>
/// <param name='ident'>
/// The initial <see cref="IZincIdent"/> instance to store.
/// </param>
/// <param name='tie'>
/// The initial <see cref="IZincTypeInstExpression"/> instance to store.
/// </param>
protected ZincIdTieBoxBase(ZincIdent ident, IZincTypeInstExpression tie) : base(ident)
{
this.TypeInstExpression = tie;
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincTieTiesBoxBase"/> class with a given intial
/// <see cref="IZincTypeInstExpression"/> instance and a list of <see cref="IZincTypeInstExpression"/>
/// instances.
/// </summary>
/// <param name='expression'>
/// An intial <see cref="IZincTypeInstExpression"/> instances.
/// </param>
/// <param name='expressions'>
/// An initial <see cref="T:System.Collections.Generic.IEnumerable`1"/> instance of
/// <see cref="IZincTypeInstExpression"/> instances.
/// </param>
protected ZincTieTiesBoxBase(IZincTypeInstExpression expression, IEnumerable <IZincTypeInstExpression> expressions) : this(expression, expressions.ToArray())
{
}
public ZincTypeInstArrayExpression(IZincTypeInstExpression oftype, IEnumerable <IZincTypeInstExpression> attributes) : base(oftype, attributes)
{
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincIdTieBoxBase"/> class with given initial
/// <see cref="IZincIdent"/> and <see cref="IZincTypeInstExpression"/> instances.
/// </summary>
/// <param name='ident'>
/// The initial <see cref="IZincIdent"/> instance to store.
/// </param>
/// <param name='tie'>
/// The initial <see cref="IZincTypeInstExpression"/> instance to store.
/// </param>
protected ZincIdTieBoxBase(ZincIdent ident, IZincTypeInstExpression tie)
: base(ident)
{
this.TypeInstExpression = tie;
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincTieTiesBoxBase"/> class with a given intial
/// <see cref="IZincTypeInstExpression"/> instance and a list of <see cref="IZincTypeInstExpression"/>
/// instances.
/// </summary>
/// <param name='expression'>
/// An intial <see cref="IZincTypeInstExpression"/> instances.
/// </param>
/// <param name='expressions'>
/// An initial <see cref="T:System.Collections.Generic.IList`1"/> instance of
/// <see cref="IZincTypeInstExpression"/> instances.
/// </param>
protected ZincTieTiesBoxBase(IZincTypeInstExpression expression, IList<IZincTypeInstExpression> expressions)
: base(expression)
{
this.TypeInstExpressions = expressions;
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincTieTiesBoxBase"/> class with a given intial
/// <see cref="IZincTypeInstExpression"/> instance and a list of <see cref="IZincTypeInstExpression"/>
/// instances.
/// </summary>
/// <param name='expression'>
/// An intial <see cref="IZincTypeInstExpression"/> instances.
/// </param>
/// <param name='expressions'>
/// An initial <see cref="T:System.Collections.Generic.IEnumerable`1"/> instance of
/// <see cref="IZincTypeInstExpression"/> instances.
/// </param>
protected ZincTieTiesBoxBase(IZincTypeInstExpression expression, IEnumerable<IZincTypeInstExpression> expressions)
: this(expression,expressions.ToArray())
{
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincTypeInstExprAndIdent"/> class: an identifer that is bounded
/// with an expression.
/// </summary>
/// <param name="expr">The expression that specifies what is assigned to the identifier.</param>
/// <param name="ident">The identifier to assign things to.</param>
public ZincTypeInstExprAndIdent(IZincTypeInstExpression expr, ZincIdent ident) : base(ident, expr)
{
}
public ZincTypeInstSetExpression(IZincTypeInstExpression expression)
: base(expression)
{
}
/// <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.TypeInstExpression = this.TypeInstExpression.Replace(identMap) as IZincTypeInstExpression;
return(this);
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincAsExIdTieTiasBoxBase"/> class
/// with a given initial <see cref="IZincAnnotations"/>, <see cref="IZincExp"/>, <see cref="IZincIdent"/>,
/// <see cref="IZincTypeInstExpression"/> 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='tie'>
/// The given initial <see cref="IZincTypeInstExpression"/> instance.
/// </param>
/// <param name='tias'>
/// The given initial <see cref="IZincTypeInstExprAndIdent"/> instances.
/// </param>
protected ZincAsExIdTieTiasBoxBase(ZincAnnotations anns, IZincExp expr, ZincIdent id, IZincTypeInstExpression tie, params ZincTypeInstExprAndIdent[] tias)
: base(anns,expr,id,tias)
{
this.typeInstExpression = tie;
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincTieBoxBase"/> class with a given
/// intial <see cref="IZincTypeInstExpression"/> instance.
/// </summary>
/// <param name='typeInstExpression'>
/// The given initial <see cref="IZincTypeInstExpression"/> instance.
/// </param>
protected ZincTieBoxBase(IZincTypeInstExpression typeInstExpression)
{
this.TypeInstExpression = typeInstExpression;
}
public ZincTypeInstArrayExpression(IZincTypeInstExpression oftype, params IZincTypeInstExpression[] attributes)
: base(oftype, attributes)
{
}
public ZincTypeInstArrayExpression(IZincTypeInstExpression oftype, IEnumerable<IZincTypeInstExpression> attributes)
: base(oftype, attributes)
{
}
/// <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.TypeInstExpression = this.TypeInstExpression.Replace (identMap) as IZincTypeInstExpression;
return this;
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincAsExIdTieTiasBoxBase"/> class
/// with a given initial <see cref="IZincAnnotations"/>, <see cref="IZincExp"/>, <see cref="IZincIdent"/>,
/// <see cref="IZincTypeInstExpression"/> 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='tie'>
/// The given initial <see cref="IZincTypeInstExpression"/> instance.
/// </param>
/// <param name='tias'>
/// The given initial <see cref="IZincTypeInstExprAndIdent"/> instances.
/// </param>
protected ZincAsExIdTieTiasBoxBase (ZincAnnotations anns, IZincExp expr, ZincIdent id, IZincTypeInstExpression tie, params ZincTypeInstExprAndIdent[] tias) : base(anns,expr,id,tias) {
this.typeInstExpression = tie;
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincTieBoxBase"/> class with a given
/// intial <see cref="IZincTypeInstExpression"/> instance.
/// </summary>
/// <param name='typeInstExpression'>
/// The given initial <see cref="IZincTypeInstExpression"/> instance.
/// </param>
protected ZincTieBoxBase(IZincTypeInstExpression typeInstExpression)
{
this.TypeInstExpression = typeInstExpression;
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincTypeInstExprAndIdent"/> class: an identifer that is bounded
/// with an expression.
/// </summary>
/// <param name="expr">The expression that specifies what is assigned to the identifier.</param>
/// <param name="ident">The identifier to assign things to.</param>
public ZincTypeInstExprAndIdent(IZincTypeInstExpression expr, ZincIdent ident)
: base(ident,expr)
{
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincTieTiesBoxBase"/> class with a given intial
/// <see cref="IZincTypeInstExpression"/> instance and a list of <see cref="IZincTypeInstExpression"/>
/// instances.
/// </summary>
/// <param name='expression'>
/// An intial <see cref="IZincTypeInstExpression"/> instances.
/// </param>
/// <param name='expressions'>
/// An initial array of <see cref="IZincTypeInstExpression"/> instances.
/// </param>
protected ZincTieTiesBoxBase(IZincTypeInstExpression expression, params IZincTypeInstExpression[] expressions)
: this(expression,(IList<IZincTypeInstExpression>) expressions)
{
this.TypeInstExpressions = expressions;
}
public ZincTypeInstSetExpression(IZincTypeInstExpression expression) : base(expression)
{
}
public ZincTypeInstArrayExpression(IZincTypeInstExpression oftype, IZincTypeInstExpression atta, IZincTypeInstExpression attb) : base(oftype, new IZincTypeInstExpression[] {
atta,
attb
})
{
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincTieTiesBoxBase"/> class with a given intial
/// <see cref="IZincTypeInstExpression"/> instance and a list of <see cref="IZincTypeInstExpression"/>
/// instances.
/// </summary>
/// <param name='expression'>
/// An intial <see cref="IZincTypeInstExpression"/> instances.
/// </param>
/// <param name='expressions'>
/// An initial <see cref="T:System.Collections.Generic.IList`1"/> instance of
/// <see cref="IZincTypeInstExpression"/> instances.
/// </param>
protected ZincTieTiesBoxBase(IZincTypeInstExpression expression, IList <IZincTypeInstExpression> expressions) : base(expression)
{
this.TypeInstExpressions = expressions;
}
public ZincTypeInstArrayExpression(IZincTypeInstExpression oftype, params IZincTypeInstExpression[] attributes) : base(oftype, attributes)
{
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincTieTiesBoxBase"/> class with a given intial
/// <see cref="IZincTypeInstExpression"/> instance and a list of <see cref="IZincTypeInstExpression"/>
/// instances.
/// </summary>
/// <param name='expression'>
/// An intial <see cref="IZincTypeInstExpression"/> instances.
/// </param>
/// <param name='expressions'>
/// An initial array of <see cref="IZincTypeInstExpression"/> instances.
/// </param>
protected ZincTieTiesBoxBase(IZincTypeInstExpression expression, params IZincTypeInstExpression[] expressions) : this(expression, (IList <IZincTypeInstExpression>)expressions)
{
this.TypeInstExpressions = expressions;
}
public ZincFunctionItem(IZincTypeInstExpression typeInst, ZincIdent ident, IEnumerable<ZincTypeInstExprAndIdent> parameters, ZincAnnotations annotations, IZincExp body = null)
: base(annotations,body,ident,typeInst,parameters)
{
ident.Usage = ZincIdentUsage.Function;
}
public ZincFunctionItem(IZincTypeInstExpression typeInst, ZincIdent ident, IEnumerable <ZincTypeInstExprAndIdent> parameters, ZincAnnotations annotations, IZincExp body = null) : base(annotations, body, ident, typeInst, parameters)
{
ident.Usage = ZincIdentUsage.Function;
}
