Mono(ccrewrite)                                                Mono(ccrewrite)

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

<?><?><?><?><?> <?><?><?><?><?> (SYNOPSIS)
       ccrewrite --assembly=<assembly> [<?><?><?><?><?><?><?><?>]

<?><?><?><?><?><?><?> (DESCRIPTION)
       <?><?><?><?><?><?><?><?><?><?> CLR <?><?> <?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?> <?><?> <?><?><?><?><?><?><?><?><?><?><?> <?><?>
       <?><?><?><?><?><?><?><?> System.Diagnostics.Contracts <?><?> <?><?><?>
       <?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?> <?><?> <?><?><?><?> <?><?><?><?>
       <?><?><?><?><?> <?><?><?><?><?>. <?><?><?> <?><?><?><?><?><?>
       <?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?>
       <?><?><?><?><?><?> <?><?><?><?><?> <?><?><?> <?><?><?><?><?><?>.

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

       <?><?> <?><?><?> <?><?><?><?> <?><?><?><?>
       <?><?><?><?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?><?> <?><?>
       <?><?><?> Contract.Requires() <?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?>. <?><?><?><?><?> <?><?><?><?><?><?><?>
       <?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?>
       <?><?><?><?><?><?><?><?> <?><?><?><?><?><?>. <?><?><?><?>
       <?><?><?><?><?> <?><?><?><?><?><?> <?><?> <?><?><?><?><?><?><?><?><?>
       <?> <?><?><?><?><?> <?><?> <?><?><?><?><?><?><?> <?><?> <?><?>
       <?><?><?><?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?> <?><?>
       <?><?><?><?><?> <?><?> ccrewrite <?><?><?><?> <?><?> <?><?><?><?><?><?>
       <?><?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?><?><?><?><?> <?><?>
       <?><?><?><?> <?><?><?> <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?>
       <?><?>.

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

       --debug
              <?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?><?><?> (debug) <?><?> <?><?><?><?>
              <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?><?><?>
              <?><?><?><?><?><?><?>.

       --help <?><?><?><?><?> <?><?><?><?><?><?><?> ccrewrite <?>
              <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?>.

       --level <level> (<?><?><?><?><?><?><?>=4)
              <?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?>
              <?><?><?><?><?> <?><?><?><?><?>: 0 = <?><?><?><?>
              <?><?><?><?><?><?><?> (No contracts)<?> 1 = <?><?><?><?>
              <?><?><?><?> <?><?> <?><?><?><?> <?><?><?><?><?><?> (Release
              requires)<?> 2 = <?><?><?><?> <?><?><?><?> (Requires)<?> 3 =
              <?><?><?><?> <?><?><?><?><?> (Ensures)<?> 4 =
              <?><?><?><?><?><?><?><?> (Invariants)<?> (<?><?> <?><?><?>
              <?><?><?><?> <?><?><?><?><?> <?><?><?><?> <?><?><?><?> <?><?><?>
              <?><?><?><?><?><?>)

       --output <file-name>
              <?><?><?><?><?> <?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?><?><?><?> <?><?> <?><?><?><?>
              <?><?><?><?><?><?><?><?>. <?><?><?> <?><?><?> <?><?><?><?><?>
              <?><?><?><?><?> <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?>
              <?><?><?><?><?> <?><?> <?><?><?><?>
              <?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?>
              <?><?><?><?><?> <?><?>.

       --rewrite (<?><?><?><?><?><?><?>=true)
              <?><?><?><?><?><?><?><?> <?><?><?><?><?><?>. <?><?><?>
              <?><?><?><?><?> <?><?> false <?><?><?><?><?> <?><?><?>
              <?><?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?><?>.

       --throwOnFailure (<?><?><?><?><?><?><?>=false)
              <?><?><?><?><?> <?><?> <?><?><?><?><?><?><?> ContractException
              <?><?> <?><?><?><?> <?><?><?><?> <?><?><?><?>
              <?><?><?><?><?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?><?>.
              <?><?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?><?><?><?>
              <?><?> Assert <?><?><?>.

<?><?><?><?><?><?><?><?><?> (AUTHORS)
       <?><?><?><?><?><?><?><?><?> <?><?><?><?> Chris Bacon

<?><?><?><?><?><?><?><?> <?> <?><?><?><?><?> (COPYRIGHT)
       <?><?> <?><?><?> (C) 2010 <?><?><?><?><?> <?><?> Chris Bacon.
       <?><?><?> <?><?><?><?> MIT <?><?><?><?><?> <?><?><?> <?><?><?>.

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

                                                               Mono(ccrewrite)