(inline) pre-call

Vor einem Funktionsaufruf func gibt es ja func::pre.

Ich möchte, dass es möglich ist, eine weitere func::pre zusätzlich zu definieren, die entscheidet, ob ein Funktionsaufruf überhaupt stattfinden soll, also eine pre condition, die inline gesetzt wird.

code sqrt( double v )
{
  inline pre :=
  {
    if( v < 0.0 )
    { 
      debug( "sqrt called with value below 0.0: ", v );
 
      break; 
    } 
 
    continue; 
  }
 
  pre :=
  {
    // wird nach inline pre gerufen
  }  
 
  body :=
  {
    ...
  }   
}