Esempi in C# (CSharp) per System.Diagnostics.Contracts ContractFailedEventArgs.SetHandled

SetHandled() public method

public SetHandled ( ) : void
return	void

Esempio n. 1

File: ContractThrowsAttribute.cs Progetto: mestriga/Microsoft.CciSamples

 void Contract_ContractFailed(object sender, ContractFailedEventArgs e)
 {
     e.SetHandled();
     throw new AssertException(
         String.Format("{0}: {1}, {2}", e.FailureKind, e.Condition, e.Message)
         );
 }

Esempio n. 2

File: MaskingContractFailure.cs Progetto: krwhite/sync

 static void HandleFailure(object sender, ContractFailedEventArgs args)
 {
     Console.WriteLine("{0}: {1} {2}", args.FailureKind,
         args.Condition, args.Message);
     args.SetHandled();
 }

Esempio n. 3

File: Program.cs Progetto: julid29/confsamples

 static void Contract_ContractFailed( object sender, ContractFailedEventArgs e )
 {
     Console.WriteLine( "No se pudo asumir algo: " + e.Condition );
     e.SetHandled( );
     Console.ReadKey( );
 }

Esempio n. 4

 static void Contract_ContractFailed(object sender, System.Diagnostics.Contracts.ContractFailedEventArgs e)
 {
     e.SetHandled();
     Assert.Fail("{0}: {1} {2}", e.FailureKind, e.Message, e.Condition);
 }