public int Add(ThicknessKeyFrame keyFrame)
    {
      Contract.Requires(!this.IsFrozen);
      Contract.Ensures(-1 <= Contract.Result<int>());

      return default(int);
    }
        /// <summary>
        /// Removes a ThicknessKeyFrame from the collection.
        /// </summary>
        public void Remove(ThicknessKeyFrame keyFrame)
        {
            WritePreamble();

            if (_keyFrames.Contains(keyFrame))
            {
                OnFreezablePropertyChanged(keyFrame, null);
                _keyFrames.Remove(keyFrame);

                WritePostscript();
            }
        }
        /// <summary>
        /// Inserts a ThicknessKeyFrame into a specific location in the collection. 
        /// </summary>
        public void Insert(int index, ThicknessKeyFrame keyFrame)
        {
            if (keyFrame == null)
            {
                throw new ArgumentNullException("keyFrame");
            }

            WritePreamble();

            OnFreezablePropertyChanged(null, keyFrame);
            _keyFrames.Insert(index, keyFrame);

            WritePostscript();
        }
        /// <summary>
        /// Returns the index of a given ThicknessKeyFrame in the collection. 
        /// </summary>
        public int IndexOf(ThicknessKeyFrame keyFrame)
        {
            ReadPreamble();

            return _keyFrames.IndexOf(keyFrame);
        }
        /// <summary>
        /// Returns true of the collection contains the given ThicknessKeyFrame.
        /// </summary>
        public bool Contains(ThicknessKeyFrame keyFrame)
        {
            ReadPreamble();

            return _keyFrames.Contains(keyFrame);
        }
        /// <summary>
        /// Adds a ThicknessKeyFrame to the collection.
        /// </summary>
        public int Add(ThicknessKeyFrame keyFrame)
        {
            if (keyFrame == null)
            {
                throw new ArgumentNullException("keyFrame");
            }

            WritePreamble();

            OnFreezablePropertyChanged(null, keyFrame);
            _keyFrames.Add(keyFrame);

            WritePostscript();

            return _keyFrames.Count - 1;
        }
        /// <summary>
        /// Copies all of the ThicknessKeyFrames in the collection to an
        /// array of ThicknessKeyFrames.
        /// </summary>
        public void CopyTo(ThicknessKeyFrame[] array, int index)
        {
            ReadPreamble();

            _keyFrames.CopyTo(array, index);
        }
 public void CopyTo(ThicknessKeyFrame[] array, int index)
 {
   Contract.Requires(array != null);
   Contract.Requires(index >= 0);
   Contract.Requires(index < array.Length);
 }
 public bool Contains(ThicknessKeyFrame keyFrame)
 {
   return default(bool);
 }
 public void Remove(ThicknessKeyFrame keyFrame)
 {
   Contract.Requires(!this.IsFrozen);
 }
 public void Insert(int index, ThicknessKeyFrame keyFrame)
 {
   Contract.Requires(!this.IsFrozen);
   Contract.Requires(index >= 0);
 }
    public int IndexOf(ThicknessKeyFrame keyFrame)
    {
      Contract.Ensures(-1 <= Contract.Result<int>());

      return default(int);
    }