C# Class PHPAnalysis.Annotations.ContractAnnotationAttribute

Inheritance: System.Attribute
Show file Open project: jtvn/Eir-CTLLTL

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