Microsoft.Cci.MutableContracts.ThrownException.ThrownException C# (CSharp) Method

ThrownException() public method

public ThrownException ( ) : System
return System
    public ThrownException() {
      this.exceptionType = Dummy.TypeReference;
      this.postcondition = ContractDummy.Postcondition;
    }

Same methods

ThrownException::ThrownException ( IThrownException thrownException ) : System
ThrownException