Пример #1
0
        /// <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));
        }
Пример #2
0
 /// <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);
 }
Пример #3
0
 /// <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())
 {
 }
Пример #4
0
 /// <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)
 {
 }
Пример #5
0
 /// <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;
 }
Пример #6
0
 /// <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;
 }
Пример #7
0
 /// <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);
 }
Пример #8
0
 /// <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;
 }
Пример #9
0
 /// <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;
 }
Пример #10
0
 /// <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;
 }
Пример #11
0
 /// <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;
 }
Пример #12
0
 /// <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;
 }
Пример #13
0
 /// <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())
 {
 }
Пример #14
0
 /// <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)
 {
 }
Пример #15
0
 /// <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;
 }
Пример #16
0
 /// <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));
 }
Пример #17
0
 /// <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;
 }
Пример #18
0
 /// <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;
 }