44 using System . Collections . Generic ;
55 using System . Collections . Specialized ;
66 using System . ComponentModel ;
7- using System . Diagnostics ;
8- using System . Diagnostics . CodeAnalysis ;
9- using System . Diagnostics . Contracts ;
107 using System . Linq ;
118 using System . Windows ;
129 using System . Windows . Controls ;
@@ -65,7 +62,7 @@ public ExtendedStarSizeBehavior()
6562 [ CanBeNull ]
6663 public Style ColumnHeaderGripperToolTipStyle
6764 {
68- get => ( Style ) GetValue ( ColumnHeaderGripperToolTipStyleProperty ) ;
65+ get => ( Style ) GetValue ( ColumnHeaderGripperToolTipStyleProperty ) ;
6966 set => SetValue ( ColumnHeaderGripperToolTipStyleProperty , value ) ;
7067 }
7168 /// <summary>
@@ -81,7 +78,7 @@ public Style ColumnHeaderGripperToolTipStyle
8178 [ CanBeNull ]
8279 public IResourceLocator ResourceLocator
8380 {
84- get => ( IResourceLocator ) GetValue ( ResourceLocatorProperty ) ;
81+ get => ( IResourceLocator ) GetValue ( ResourceLocatorProperty ) ;
8582 set => SetValue ( ResourceLocatorProperty , value ) ;
8683 }
8784 /// <summary>
@@ -97,25 +94,20 @@ protected override void OnAttached()
9794 base . OnAttached ( ) ;
9895
9996 var dataGrid = AssociatedObject ;
100- Contract . Assume ( dataGrid != null ) ;
10197
10298 dataGrid . Loaded += DataGrid_Loaded ;
10399 dataGrid . Unloaded += DataGrid_Unloaded ;
104100 }
105101
106102 private void DataGrid_Loaded ( [ NotNull ] object sender , [ NotNull ] EventArgs e )
107103 {
108- Contract . Requires ( sender != null ) ;
109-
110104 var dataGrid = ( DataGrid ) sender ;
111105
112106 dataGrid . BeginInvoke ( DispatcherPriority . Background , ( ) => DataGrid_Loaded ( dataGrid ) ) ;
113107 }
114108
115109 private void DataGrid_Loaded ( [ NotNull ] DataGrid dataGrid )
116110 {
117- Contract . Requires ( dataGrid != null ) ;
118-
119111 _scrollViewer = dataGrid . Template ? . FindName ( "DG_ScrollViewer" , dataGrid ) as ScrollViewer ;
120112 if ( _scrollViewer == null )
121113 return ;
@@ -137,8 +129,6 @@ private void DataGrid_Loaded([NotNull] DataGrid dataGrid)
137129
138130 private void DataGrid_Unloaded ( [ NotNull ] object sender , [ NotNull ] RoutedEventArgs e )
139131 {
140- Contract . Requires ( sender != null ) ;
141-
142132 var dataGrid = ( DataGrid ) sender ;
143133
144134 var scrollViewer = _scrollViewer ;
@@ -218,16 +208,12 @@ private void DataGrid_ColumnActualWidthChanged([NotNull] object sender, [NotNull
218208
219209 private void DataGrid_ColumnVisibilityChanged ( [ NotNull ] object sender , [ NotNull ] EventArgs e )
220210 {
221- Contract . Requires ( sender != null ) ;
222-
223211 UpdateColumnWidths ( ( DataGrid ) sender , null , UpdateMode . ResetStarSize ) ;
224212 _updateColumnGripperToolTipVisibilityThrottle . Tick ( ) ;
225213 }
226214
227215 private void UpdateColumnWidths ( [ NotNull ] DataGrid dataGrid , [ CanBeNull ] DataGridColumn modifiedColum , UpdateMode updateMode )
228216 {
229- Contract . Requires ( dataGrid != null ) ;
230-
231217 // ReSharper disable PossibleNullReferenceException
232218 var dataGridColumns = dataGrid . Columns
233219 . OrderBy ( c => c . DisplayIndex )
@@ -265,9 +251,6 @@ private static bool ApplyStarSize([NotNull, ItemNotNull] IEnumerable<DataGridCol
265251
266252 private bool DistributeAvailableSize ( [ NotNull ] DataGrid dataGrid , [ NotNull , ItemNotNull ] DataGridColumn [ ] dataGridColumns , [ CanBeNull ] DataGridColumn modifiedColum , UpdateMode updateMode )
267253 {
268- Contract . Requires ( dataGrid != null ) ;
269- Contract . Requires ( dataGridColumns != null ) ;
270-
271254 var scrollViewer = _scrollViewer ;
272255 if ( scrollViewer == null )
273256 return false ;
@@ -314,8 +297,6 @@ private bool DistributeAvailableSize([NotNull] DataGrid dataGrid, [NotNull, Item
314297
315298 private static void HijackStarSizeColumnsInfo ( [ NotNull ] DataGrid dataGrid )
316299 {
317- Contract . Requires ( dataGrid != null ) ;
318-
319300 foreach ( var column in dataGrid . Columns )
320301 {
321302 // ReSharper disable once PossibleNullReferenceException
@@ -361,12 +342,8 @@ private void UpdateColumnGripperToolTipVisibility()
361342
362343 private void InjectColumnHeaderStyle ( [ NotNull ] DataGrid dataGrid )
363344 {
364- Contract . Requires ( dataGrid != null ) ;
365-
366345 var baseStyle = dataGrid . ColumnHeaderStyle ?? ( Style ) dataGrid . FindResource ( typeof ( DataGridColumnHeader ) ) ;
367346
368- Contract . Assume ( baseStyle != null ) ;
369-
370347 if ( baseStyle . Setters . OfType < Setter > ( ) . Any ( setter => setter . Property == ColumnHeaderGripperExtenderProperty ) )
371348 return ;
372349
@@ -377,15 +354,11 @@ private void InjectColumnHeaderStyle([NotNull] DataGrid dataGrid)
377354
378355 private static double GetActualWidth ( [ NotNull ] DataGridColumn column )
379356 {
380- Contract . Requires ( column != null ) ;
381-
382357 return column . ActualWidth ;
383358 }
384359
385360 private static double GetStarSize ( [ NotNull ] DataGridColumn column )
386361 {
387- Contract . Requires ( column != null ) ;
388-
389362 return column . GetValue < double > ( StarSizeProperty ) ;
390363 }
391364
@@ -424,17 +397,15 @@ private static void ColumnHeaderGripperExtender_Changed([NotNull] DependencyObje
424397
425398 private void ApplyGripperToolTip ( [ NotNull ] DataGridColumnHeader columnHeader , [ NotNull ] string gripperName , [ NotNull ] DependencyProperty toolTipProperty )
426399 {
427- Contract . Requires ( columnHeader != null ) ;
428-
429400 if ( ! ( columnHeader . Template ? . FindName ( gripperName , columnHeader ) is Thumb gripper ) )
430401 return ;
431402
432403 var dataGrid = AssociatedObject ;
433404 if ( dataGrid == null )
434405 return ;
435406
436- var style = ColumnHeaderGripperToolTipStyle
437- ?? ( ResourceLocator ? . FindResource ( dataGrid , ColumnHeaderGripperToolTipStyleKey )
407+ var style = ColumnHeaderGripperToolTipStyle
408+ ?? ( ResourceLocator ? . FindResource ( dataGrid , ColumnHeaderGripperToolTipStyleKey )
438409 ?? dataGrid . TryFindResource ( ColumnHeaderGripperToolTipStyleKey ) ) as Style ;
439410
440411 var toolTip = new ToolTip { Style = style } ;
@@ -453,13 +424,5 @@ private enum UpdateMode
453424 Default ,
454425 ResetStarSize
455426 }
456-
457- [ ContractInvariantMethod ]
458- [ SuppressMessage ( "Microsoft.Performance" , "CA1822:MarkMembersAsStatic" , Justification = "Required for code contracts." ) ]
459- [ Conditional ( "CONTRACTS_FULL" ) ]
460- private void ObjectInvariant ( )
461- {
462- Contract . Invariant ( _updateColumnGripperToolTipVisibilityThrottle != null ) ;
463- }
464427 }
465428}
0 commit comments