Question

i need to check condition constantly. Not in each loop iteration but also during time of function execution.

wth like this is not acceptable:

 while(condition)
 {
      ...
 }

I need simply to abort function even ‘in the middle’ of progress when condition appears true.
Any ideas?

Answer 1

Assuming this is some kind of error handling assert condition – Take a look at .NET Code Contracts and the ContractInvariantMethod, there’s a good example here.

It allows you to define conditions that are not allowed to occur, and causes assert if it ever does at runtime.

The following is taken from the link. It enforces that balance can never be negative, otherwise an exception will occur.

class Account
{
    private int balance

    [ContractInvariantMethod]
    private void BalanceHasToAlwaysBeInTheBlack()
    {
        // Note to reader: only conditions can be in here
        Contract.Invariant(balance >= 0)
    }

    public void Deposit(int amount)
    {
        Contract.Requires(amount > 0)
        Contract.Ensures(balance > amount)   // Note to reader: you can also ensure on the returned object e.g. Contract.Ensures(Contract.Result<int>() > 0)

        balance += amount
    }

    public void Withdraw(int amount)
    {
        Contract.Requires(amount > 0)

        balance -= amount
    }
}