GSP
Quick Navigator

Search Site

Unix VPS
A - Starter
B - Basic
C - Preferred
D - Commercial
MPS - Dedicated
Previous VPSs
* Sign Up! *

Support
Contact Us
Online Help
Handbooks
Domain Status
Man Pages

FAQ
Virtual Servers
Pricing
Billing
Technical

Network
Facilities
Connectivity
Topology Map

Miscellaneous
Server Agreement
Year 2038
Credits
 

USA Flag

 

 

Man Pages


Manual Reference Pages  -  CCREWRITE (1)

NAME

ccrewrite - Rewrite CLR assemblies for runtime code contract verification.

CONTENTS

Synopsis
Description
Configuration Options
Author
Copyright
Web Site

SYNOPSIS

ccrewrite --assembly=<assembly> [options]

DESCRIPTION

Rewrite CLR assemblies to convert calls into the System.Diagnostics.Contracts namespace to perform runtime contract verification. This includes contract inheritance for virtual methods.

The assembly must have been built with the symbol CONTRACTS_FULL defined, otherwise the calls to the contract methods will have been removed by the compiler.

Currently only pre-conditions are supported, using the Contract.Requires() method. Contract inheritance for virtual methods is supported. Only a limited range of operations and types can be used within a pre-condition, an error message will be shown if ccrewrite is unable to process the specified assembly.

CONFIGURATION OPTIONS

--assembly <assembly-name>
  The assembly to rewrite. If no --output option is specified, then this file overwritten with the rewritten version.
--debug
  Use debug information if available to improve the usefulness of contract failure messages.
--help
  Show help for ccrewrite, listing configuration options.
--level <level> (default=4)
  Set the which contract types are present in rewritten assembly: 0 = No contracts; 1 = Release requires; 2 = Requires; 3 = Ensures; 4 = Invariants; (Each level includes all previous levels)
--output <file-name>
  Write the rewritten assembly to the specified file. If this is not present then the input assembly file is overwritten with the rewritten version.
--rewrite (default=true)
  Rewrite the assembly. If false, then nothing is done.
--throwOnFailure (default=false)
  Throw a ContractException on unhandled contract failure. The default behaviour is to Assert.

AUTHOR

Written by Chris Bacon

COPYRIGHT

Copyright (C) 2010 Chris Bacon. Released under MIT license.

WEB SITE

Visit http://www.mono-project.com for details
Search for    or go to Top of page |  Section 1 |  Main Index


MONO (ccrewrite) -->

Powered by GSP Visit the GSP FreeBSD Man Page Interface.
Output converted with manServer 1.07.