ccrewrite.1 - Online Linux Manual Page

Mono - Online Linux Manual PageSection : ccrewrite

NAMEccrewrite − Rewrite CLR assemblies for runtime code contract verification.

SYNOPSISccrewrite --assembly=<assembly> [options]

DESCRIPTIONRewrite 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 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 default behaviour is to Assert.

AUTHORWritten by Chris Bacon

WEB SITEVisit http://www.mono-project.com for details 0

Johanes Gumabo

Data Size : 6,304 byte
man-ccrewrite.1Build : 2024-12-05, 20:55 :
Visitor Screen : x
Visitor Counter ( page / site ) : 2 / 183,826
Visitor ID : :
Visitor IP : 18.223.238.150 :
Visitor Provider : AMAZON-02 :
Provider Position ( lat x lon ) : 39.962500 x -83.006100 : x
Provider Accuracy Radius ( km ) : 1000 :
Provider City : Columbus :
Provider Province : Ohio , : ,
Provider Country : United States :
Provider Continent : North America :
Visitor Recorder : Version :
Visitor Recorder : Library :
Online Linux Manual Page : Version : Online Linux Manual Page - Fedora.40 - march=x86-64 - mtune=generic - 24.12.05
Online Linux Manual Page : Library : lib_c - 24.10.03 - march=x86-64 - mtune=generic - Fedora.40
Online Linux Manual Page : Library : lib_m - 24.10.03 - march=x86-64 - mtune=generic - Fedora.40
Data Base : Version : Online Linux Manual Page Database - 24.04.13 - march=x86-64 - mtune=generic - fedora-38
Data Base : Library : lib_c - 23.02.07 - march=x86-64 - mtune=generic - fedora.36

Very long time ago, I have the best tutor, Wenzel Svojanovsky . If someone knows the email address of Wenzel Svojanovsky , please send an email to johanes_gumabo@yahoo.co.id .

If error, please print screen and send to johanes_gumabo@yahoo.co.id
Under development. Support me via PayPal.