Requires unproven in constructor using Regex


hi,

i'm trying ensure id string has specific format, , tries ensure using regular expression. results in 'requires unproven', , fail see why happens? isn't simple matter of evaluating bool?

thanks, rasmus

 

code example:

using system;  using system.collections.generic;  using system.linq;  using system.text;  using system.diagnostics.contracts;  using system.text.regularexpressions;    namespace test  {      class id      {          public static regex re = new regex("^test$");          private string id;            public id(string id)          {              contract.requires(id.re.ismatch(id));              this.id = id;          }            [contractinvariantmethod]          private void invariant()          {              contract.invariant( id.re.ismatch( this.id ) );          }      }  }

hi,

the static checker doesn't understand how evaluate regular expressions.  believe doesn't reason contents of strings yet either.

http://social.msdn.microsoft.com/forums/en/codecontracts/thread/85bcff4f-fe02-43a2-b887-dfcaab7ba63a

- dave

http://davesexton.com/blog


DevLabs  >  Code Contracts



Comments

Post a Comment

Popular posts from this blog

Azure DocumentDB Owner resource does not exist

having same error microsoft.azure.documents.documentclientexception: message: {"errors":["owner resource not exist"]} , scenario. when deployed webapp azure , try document docdb throws error. docdb exists in azure , contains document looking for. weird local machine(running vs) works fine. i'm using same settings in azure , local. have , idea this. thanks Microsoft Azure  >  Azure Cosmos DB
Read more

RFC_ERROR_SYSTEM_FAILURE with SAP ECC 6 Unicode

hi all, i using biztalk 2006 r2, microsoft biztalk adapter v2.0 mysap business suite sp1 & sql server 2005 database server. we have developed orchestrations communicating sap version 4.7.   currently sap has been upgraded in ecc 6(unicode) system. i have configured new send port on dev server. orchestration can communicate sap ecc 6.0 (non- unicode) system while trying connect sap ecc 6.0 (unicode) getting error. a message sent adapter "sap" on send port "ecc 6 sendport" uri "sap://as:***.**.***.***/**/***/" suspended.   error details: rfc_error_system_failure   messageid:   {b7dd677e-0ef3-480b-835a-d389f2e24179} is there can configure setting unicode ?   thanks in advance     ajay dabhade problem solved: standard table data types appear not unicode compatible in sap ecc 6.0. make rfcgetfunctiondesc raise error. solution: used other data types scratch in rfcs in sap   ajay dabhad...
Read more

C# System.Data.Common DbCommand and getting Datasets from Oracle

i found no oracle specific forum area, decided post here. getting dataset oracle c# system.data.common library's dbcommand seems tricky task. i using command object in project along dbproviderfactory , dbdataadapter because meant allow use same library multiple database providers, , don't have clutter data access layer of project separate classes accessing each individual database provider. my problem is, stored procedures fetching data oracle require refcursor object added in parameters. however, dbtype library not contain definition object. using "object"-type not work. i have read many places not have add refcursor parameter, endless failed attempts @ running command without refcursor object has brought me conclusion leaving out refcursor object not option when using system.data.common library. here coded example connectionstring purposefully left out.                 dbconnection.ope...
Read more