public ContractAnnotationAttribute( string contract, bool forceFullStates )
Public Sub New ( _ contract As String, _ forceFullStates As Boolean _ )
public: ContractAnnotationAttribute( String^ contract, bool^ forceFullStates )