FreeBSD Manual Pages
Mono(ccrewrite) Mono(ccrewrite) NAME ccrewrite - Rewrite CLR assemblies for runtime code contract verifica- tion. SYNOPSIS ccrewrite --assembly=<assembly> [options] DESCRIPTION Rewrite CLR assemblies to convert calls into the System.Diagnos- tics.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 de- fined, otherwise the calls to the contract methods will have been re- moved by the compiler. Currently only pre-conditions are supported, using the Contract.Re- quires() 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 is 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 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 de- fault 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 Mono(ccrewrite)
NAME | SYNOPSIS | DESCRIPTION | CONFIGURATION OPTIONS | AUTHOR | COPYRIGHT | WEB SITE
Want to link to this manual page? Use this URL:
<https://www.freebsd.org/cgi/man.cgi?query=ccrewrite&sektion=1&manpath=FreeBSD+12.2-RELEASE+and+Ports>