Property | Type | Description |
---|
Method | Description | |
---|---|---|
CompileTimeInitialize ( |
Method invoked at build time to initialize the instance fields of the current aspect. This method is invoked before any other build-time method. This implementation analyzes the annotated method and prepares the conditions for runtime verification. |
|
CompileTimeValidate ( |
Method invoked at build time to determine whether code needs to be injected for this method.
|
|
DesignedByContractAttribute ( ) : System |
Construct an annotation which indicates that invocations of the target methods should be validated to ensure that their preconditions or postconditions are respected.
|
|
OnEntry ( MethodExecutionArgs args ) : void |
Method executed before the body of methods to which this aspect is applied.
|
|
OnSuccess ( MethodExecutionArgs args ) : void |
Method executed after the body of methods to which this aspect is applied, but only when the method successfully returns (i.e. when no exception flies out the method.).
|
Method | Description | |
---|---|---|
DesignedByContractAttribute ( IMethodAnalyzer analyzer, bool inheritContract = true ) : System |
Construct an instance.
|
public CompileTimeInitialize ( |
||
method | Method to which the current aspect is applied | |
aspectInfo | AspectInfo | Reserved for future usage. |
return | void |
public CompileTimeValidate ( |
||
method | Method to which the current aspect is applied | |
return | bool |
public DesignedByContractAttribute ( ) : System | ||
return | System |
protected DesignedByContractAttribute ( IMethodAnalyzer analyzer, bool inheritContract = true ) : System | ||
analyzer | IMethodAnalyzer | Reflects methods and properties for contract analysis. |
inheritContract | bool | Whether to inherit the contract annotations defined on a base class or interface. |
return | System |
public final OnEntry ( MethodExecutionArgs args ) : void | ||
args | MethodExecutionArgs | Event arguments specifying which method is being executed, which are its arguments, and how should the execution continue after the execution of |
return | void |
public final OnSuccess ( MethodExecutionArgs args ) : void | ||
args | MethodExecutionArgs | Event arguments specifying which method is being executed and which are its arguments. |
return | void |