MCPcopy Create free account
hub / github.com/diem/move / Spec

Class Spec

language/move-model/src/ast.rs:275–284  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

273/// Specification and properties associated with a language item.
274#[derive(Debug, Clone, Default)]
275pub struct Spec {
276 // The location of this specification, if available.
277 pub loc: Option<Loc>,
278 // The set of conditions associated with this item.
279 pub conditions: Vec<Condition>,
280 // Any pragma properties associated with this item.
281 pub properties: PropertyBag,
282 // If this is a function, specs associated with individual code points.
283 pub on_impl: BTreeMap<CodeOffset, Spec>,
284}
285
286impl Spec {
287 pub fn has_conditions(&self) -> bool {

Callers 7

exp_implFunction · 0.85
parse_termFunction · 0.85
parse_moduleFunction · 0.85
exp_Function · 0.85
exp_innerFunction · 0.85
aliases_from_memberFunction · 0.85
exp_Function · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected