C# (CSharp) PictureBox.ContractedNotNullの例

コード例 #1

ファイル: Form1.cs プロジェクト: CSharpDevConnect/Monads

            public SettableLight(PictureBox pictureBox) : this()
            {
                pictureBox.ContractedNotNull("pictureBox");
                Contract.Ensures(_pictureBox != null);

                _pictureBox = pictureBox;
            }

コード例 #2

ファイル: Form1.cs プロジェクト: CSharpDevConnect/Monads

 static Unit SetLight(PictureBox light, Image lightColour)
 {
     light.ContractedNotNull("light");
     light.Image = lightColour;
     return(Unit._);
 }