Method in macro · FnDecl compiler

`FnDecl::contract_clauses`

pub fn contract_clauses() -> string

Import

use macro::{FnDecl};

The requires / ensures clauses, each as requires … (empty when there are none).

Called on a FnDecl value as value.contract_clauses(…).

Returns#

string

FnDecl: A function or method handed to an attribute macro.
FnDecl::body_source
FnDecl::signature: name(T a, U b) -> R: the signature as written, under a new name.
FnDecl::with_name: The function under another name, with its remaining attributes: #[other] pub fn name(T a) -> R { body }.
FnDecl::uses_clause: uses {read, write} as declared (uses {} for none).
FnDecl::call: A call of name with this function’s arguments (self.name(a, b) for an instance method).
FnDecl::arg_names: a, b: the parameter names, for forwarding a call.