C# (CSharp) CCVersions AssemblyEntry Examples

Example #1

        private void listAssemblies_SelectedIndexChanged(object sender, EventArgs e)
        {
            Contract.Requires(this.chart != null);
            Contract.Requires(this.listAssemblies != null);
            Contract.Requires(this.splitMain != null);

            var oldSelectedAssembly = this.SelectedAssembly;

            var newSelectedAssembly = this.listAssemblies.SelectedItem as AssemblyEntry;

            if (newSelectedAssembly != null && newSelectedAssembly != oldSelectedAssembly)
            {
                this.SelectedAssembly = newSelectedAssembly;
                UpdateChart();
            }
        }

Example #2

File: MainForm.cs Project: asvishnyakov/CodeContracts

    private void listAssemblies_SelectedIndexChanged(object sender, EventArgs e)
    {
      Contract.Requires(this.chart != null);
      Contract.Requires(this.listAssemblies != null);
      Contract.Requires(this.splitMain != null);

      var oldSelectedAssembly = this.SelectedAssembly;

      var newSelectedAssembly = this.listAssemblies.SelectedItem as AssemblyEntry;

      if (newSelectedAssembly != null && newSelectedAssembly != oldSelectedAssembly)
      {
        this.SelectedAssembly = newSelectedAssembly;
        UpdateChart();
      }
    }