C# Class Catrobat.IDE.Core.Annotations.ContractAnnotationAttribute

Inheritance: System.Attribute

Show file Open project: Catrobat/CatrobatForWindows

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