C# Class Nitra.Visualizer.Annotations.ContractAnnotationAttribute

Inheritance: System.Attribute
Mostrar archivo Open project: rsdn/nitra

Public Methods

Method Description
ContractAnnotationAttribute ( [ contract ) : System
ContractAnnotationAttribute ( [ contract, bool forceFullStates ) : System

Method Details

ContractAnnotationAttribute() public method

public ContractAnnotationAttribute ( [ contract ) : System
contract [
return System

ContractAnnotationAttribute() public method

public ContractAnnotationAttribute ( [ contract, bool forceFullStates ) : System
contract [
forceFullStates bool
return System