Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help 
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>

home | help