Struct MethodInfo 

pub struct MethodInfo { /* private fields */ }

Metadata for a single method, used to build the LCOM4 method graph.

Each method carries its name, the set of fields it accesses, and the set of other methods on the same type that it calls directly. Field names and method names are plain strings extracted by the caller from HIR or other analysis passes.

Examples

use std::collections::BTreeSet;
use whitaker_common::lcom4::MethodInfo;

let method = MethodInfo::new(
    "process",
    BTreeSet::from(["data".into(), "buffer".into()]),
    BTreeSet::new(),
);

assert_eq!(method.name(), "process");
assert!(method.accessed_fields().contains("data"));
assert!(method.called_methods().is_empty());

Implementations

impl MethodInfo

pub fn new( name: impl Into<String>, accessed_fields: BTreeSet<String>, called_methods: BTreeSet<String>, ) -> Self

Creates a new MethodInfo with the given name, accessed fields, and called methods.

Examples

use std::collections::BTreeSet;
use whitaker_common::lcom4::MethodInfo;

let m = MethodInfo::new(
    "process",
    BTreeSet::from(["data".into()]),
    BTreeSet::from(["validate".into()]),
);
assert_eq!(m.name(), "process");

pub fn name(&self) -> &str

Returns the method name.

Examples

use std::collections::BTreeSet;
use whitaker_common::lcom4::MethodInfo;

let m = MethodInfo::new("read", BTreeSet::new(), BTreeSet::new());
assert_eq!(m.name(), "read");

pub fn accessed_fields(&self) -> &BTreeSet<String>

Returns the set of field names accessed by this method.

Examples

use std::collections::BTreeSet;
use whitaker_common::lcom4::MethodInfo;

let m = MethodInfo::new(
    "read",
    BTreeSet::from(["buf".into()]),
    BTreeSet::new(),
);
assert!(m.accessed_fields().contains("buf"));

pub fn called_methods(&self) -> &BTreeSet<String>

Returns the set of method names called directly by this method.

Examples

use std::collections::BTreeSet;
use whitaker_common::lcom4::MethodInfo;

let m = MethodInfo::new(
    "process",
    BTreeSet::new(),
    BTreeSet::from(["validate".into()]),
);
assert!(m.called_methods().contains("validate"));

Trait Implementations

impl Clone for MethodInfo

fn clone(&self) -> MethodInfo

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for MethodInfo

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for MethodInfo

impl PartialEq for MethodInfo

fn eq(&self, other: &MethodInfo) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for MethodInfo