FnDecl::with_name

pub fn with_name(string name) -> string

use macro::{FnDecl};

The function under another name, with its remaining attributes: #[other] pub fn name(T a) -> R { body }.

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

Parameters#

Returns#

string

See also#

• 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::contract_clauses: The requires / ensures clauses, each as requires … (empty when there are none).
• 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.