Open sandboxFocus

Constructor ContractContext

ContractContext(IMetaTarget)

Initializes a new instance of the ContractContext class from the current template target.

Declaration
public ContractContext(IMetaTarget target)
Parameters
Type Name Description
IMetaTarget target

The value of meta.Target in a template.

ContractContext(IDeclaration, ContractDirection)

Initializes a new instance of the ContractContext class.

Declaration
public ContractContext(IDeclaration target, ContractDirection direction)
Parameters
Type Name Description
IDeclaration target

The target declaration (parameter, field, property, or indexer).

ContractDirection direction

The contract direction.