Mono(cccheck)                                                    Mono(cccheck)

<?><?><?> (NAME)
       cccheck - <?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?> <?><?> <?><?><?><?>
       <?><?><?><?><?><?><?><?><?><?> CLR

<?><?><?><?><?> <?><?><?><?><?> (SYNOPSIS)
       cccheck --assembly=<assembly> [options]

<?><?><?><?><?><?><?> (DESCRIPTION)
       <?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?><?> <?><?> (code contracts) <?><?> <?><?><?>
       <?><?><?><?><?> <?><?><?><?><?><?> <?>
       <?><?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?> <?><?> <?>
       <?><?><?><?><?><?> (specification) <?><?><?><?><?> <?><?><?><?><?><?>.
       <?><?><?> <?><?><?><?> <?><?><?><?><?><?><?><?><?> non-null <?>
       <?><?><?><?><?> <?><?><?><?> (integer) <?><?><?><?><?><?>.

       <?><?><?><?><?><?> <?><?><?><?> <?><?> <?><?><?><?><?> <?><?><?><?>
       CONTRACTS_FULL <?><?><?><?><?><?><?> <?><?><?> <?><?><?><?><?> <?><?>
       <?><?><?> <?><?><?> <?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?>
       <?><?><?><?><?><?><?><?> <?><?><?> <?><?><?><?><?><?> <?><?>.

       <?><?> <?><?><?> <?><?><?><?> <?><?><?><?> <?><?><?><?><?><?>
       Contract.Assume() <?> Contract.Assert() <?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?>. <?><?><?> <?><?><?><?><?> non-null
       <?><?><?><?><?><?><?><?> <?><?><?><?><?><?> <?>
       <?><?><?><?><?><?><?><?><?> <?><?><?><?> <?><?> <?><?><?>
       <?><?><?><?><?> <?><?><?><?><?>. <?><?><?> cccheck <?><?><?><?><?><?>
       <?><?><?><?> <?><?> <?><?><?><?> <?><?> <?><?><?><?><?><?>
       <?><?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?>
       <?><?><?><?> <?><?> <?><?><?><?> <?><?><?> <?><?><?><?><?> <?><?><?><?>
       <?><?><?><?><?> <?><?>.

<?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?> (CONFIGURATION OPTIONS)
       --assembly <assembly-name>
              <?><?><?><?><?><?> <?><?><?><?> <?><?><?> <?><?><?><?>
              <?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?>.

       --debug
              <?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?> (assertions) <?><?> <?><?><?><?><?>
              <?><?><?><?><?><?>. <?><?><?> <?><?><?><?><?> <?><?><?><?>
              <?><?><?><?><?> <?><?><?><?><?><?> <?><?> <?><?><?><?>
              <?><?><?><?><?><?>: <?><?><?><?><?> <?><?><?> (raw layer)<?>
              <?><?><?><?><?> <?><?><?><?> (stack layer)<?> <?><?><?><?><?>
              <?><?><?> (heap layer) <?> <?><?><?> <?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?><?><?> (substituted expression
              level).

       --method=<method-name-substring>
              <?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?> <?><?><?>.
              <?><?><?> <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?>
              <?><?><?><?><?> <?><?> <?><?><?><?><?><?> <?><?> <?><?>
              <?><?><?> <?><?><?><?><?> <?><?><?><?> <?><?><?>
              <?><?><?><?><?><?><?> <?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?>.

       --help <?><?><?><?><?> <?><?><?><?><?><?><?> cccheck <?><?><?><?><?>
              <?><?> <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?>.


<?><?><?><?><?><?><?> (EXAMPLES)
       <?><?><?> <?><?><?><?> <?><?><?><?> <?><?> <?><?><?> <?><?><?>
       <?><?><?><?><?>:
                void Method() {
                  object x = null;
                  int y = 1;
                  if (y % 2 == 1)
                    x = new object();
                  else
                    x = new string();

                 Contract.Assert(x != null); }

              <?><?> <?><?> <?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?> <?><?> <?><?><?><?> <?><?><?> <?><?><?><?><?>
              <?><?><?>: "Assertion at : [Subroutine: <id> Block <blockId> PC
              <id>] :
               is (true|false|unproven|unreachable)".  (PC
              <?><?><?><?><?><?><?><?> <?><?><?><?><?><?> <?><?> program
              counter <?><?><?>)


<?><?><?><?><?><?><?><?><?> (AUTHORS)
       <?><?><?><?><?><?><?><?><?> <?><?><?><?> Alexander Chebaturkin

<?><?><?><?><?><?><?><?> <?> <?><?><?><?><?> (COPYRIGHT)
       <?><?> <?><?><?> (Copyright) 2011 <?><?><?><?><?> <?><?> Alexander
       Chebaturkin <?><?><?>.  <?><?><?> <?><?><?><?> MIT <?><?><?><?><?>
       <?><?><?> <?><?><?>.

<?><?><?><?><?><?> (WEB SITE)
       <?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?> <?><?> http://www.mono-
       project.com <?><?><?><?><?><?> <?><?><?><?>

                                                                 Mono(cccheck)