Struct InterfaceDef 

pub struct InterfaceDef {
    pub name: String,
    pub methods: Vec<InterfaceMethodReq>,
    pub is_pub: bool,
    pub file_id: FileId,
}

Definition of an interface (ADR-0056).

Stores the resolved method-signature requirements. The order of methods is significant: it is the vtable slot order used by the runtime-dispatch path (Phase 4). It also controls error reporting, where missing methods are listed in declaration order.

is_pub and file_id are populated now and consumed in later phases (visibility checks during cross-module conformance).

Fields

name: String

Interface name (as written in source).

methods: Vec<InterfaceMethodReq>

Required method signatures, in declaration order.

is_pub: bool

Whether this interface is public (module-system future work).

file_id: FileId

File ID this interface was declared in.

Implementations

impl InterfaceDef

pub fn find_method(&self, name: &str) -> Option<(usize, &InterfaceMethodReq)>

Find a required method by name. Returns its slot index plus the requirement. Used by later phases for vtable lookup.

Trait Implementations

impl Clone for InterfaceDef

fn clone(&self) -> InterfaceDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InterfaceDef

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for InterfaceDef

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for InterfaceDef

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.