Struct WitnessTable 

pub struct WitnessTable<'ctx> { /* private fields */ }

A Swift witness table symbol.

Implementations

impl<'ctx> WitnessTable<'ctx>

pub fn new(raw: Node<'ctx>) -> Self

Create a WitnessTable from a raw node.

pub fn raw(&self) -> Node<'ctx>

Get the underlying raw node.

pub fn kind(&self) -> WitnessTableKind

Get the kind of witness table.

pub fn value_witness_kind(&self) -> Option<ValueWitnessKind>

Get the value witness kind if this is a ValueWitness.

pub fn conformance(&self) -> Option<ProtocolConformance<'ctx>>

Get the protocol conformance information if available.

pub fn conforming_type(&self) -> Option<TypeRef<'ctx>>

Get the conforming type.

pub fn protocol(&self) -> Option<TypeRef<'ctx>>

Get the protocol being conformed to.

pub fn conformance_module(&self) -> Option<&'ctx str>

Get the module where the conformance is declared.

pub fn module(&self) -> Option<&'ctx str>

Get the module of the conforming type.

pub fn associated_type_path(&self) -> Vec<&'ctx str>

Get the associated type path for AssociatedTypeWitnessTableAccessor.

Returns the path as a list of names (e.g., [“A”, “ZZ”] for A.ZZ).

pub fn associated_type_protocol(&self) -> Option<TypeRef<'ctx>>

Get the protocol that the associated type conforms to.

For AssociatedTypeWitnessTableAccessor, this is the protocol requirement on the associated type (distinct from the main conformance protocol).

Trait Implementations

impl<'ctx> Clone for WitnessTable<'ctx>

fn clone(&self) -> WitnessTable<'ctx>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WitnessTable<'_>

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

Formats the value using the given formatter.

impl Display for WitnessTable<'_>

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

Formats the value using the given formatter.

impl<'ctx> Copy for WitnessTable<'ctx>