public SplashView(SplashViewModel _viewmodel) { #region Pre-conditions Contract.Requires(_viewmodel != null); #endregion InitializeComponent(); DataContext = _viewmodel; }