pub struct Function {
pub namespace: Arc<Vec<Arc<String>>>,
pub name: Arc<String>,
pub file: Arc<String>,
pub source: Arc<String>,
pub args: Vec<Arg>,
pub lazy_inv: Vec<Vec<Lazy>>,
pub currents: Vec<Current>,
pub block: Block,
pub ret: Type,
pub resolved: Arc<AtomicBool>,
pub source_range: Range,
pub senders: Arc<(AtomicBool, Mutex<Vec<Sender<Variable>>>)>,
}
Expand description
Function.
Fields§
§namespace: Arc<Vec<Arc<String>>>
The namespace of the function.
name: Arc<String>
The name of the function.
file: Arc<String>
The file which the function was loaded from.
source: Arc<String>
The source code which the function is loaded from.
args: Vec<Arg>
Function arguments.
lazy_inv: Vec<Vec<Lazy>>
Lazy invariants.
currents: Vec<Current>
Current object references.
block: Block
Function block.
ret: Type
The return type of function.
resolved: Arc<AtomicBool>
Whether local variable references has been resolved.
source_range: Range
The range in source.
senders: Arc<(AtomicBool, Mutex<Vec<Sender<Variable>>>)>
List of senders that receive function input by creating an in-type.
Implementations§
Trait Implementations§
Auto Trait Implementations§
impl !RefUnwindSafe for Function
impl Send for Function
impl Sync for Function
impl Unpin for Function
impl !UnwindSafe for Function
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more