Struct SpecFuncs 

pub struct SpecFuncs {
    funcs: FxIndexMap<FluxId<DefIndex>, SpecFunc>,
}

All the spec functions of a crate sorted topologically, i.e., every function comes after all the functions (in the same crate) it calls.

Functions are identified by their index within the crate. Use GlobalEnv::spec_funcs to get the spec functions of the crate a FluxDefId belongs to.

Fields

funcs: FxIndexMap<FluxId<DefIndex>, SpecFunc>

Implementations

impl SpecFuncs

pub fn new( funcs: Vec<(FluxLocalDefId, SpecFunc)>, ) -> Result<Self, Vec<FluxLocalDefId>>

Sorts the spec functions of the local crate topologically. Returns Err(cycle) if there’s a cycle in the functions.

pub fn get(&self, id: FluxId<DefIndex>) -> &SpecFunc

pub fn rank(&self, id: FluxId<DefIndex>) -> usize

The position of the function in the topological order. A function can only call functions in the same crate with a lower rank.

Trait Implementations

impl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for SpecFuncs

fn decode(__decoder: &mut __D) -> Self

impl Default for SpecFuncs

fn default() -> Self

Returns the “default value” for a type.

impl<'tcx, __E: TyEncoder<'tcx>> Encodable<__E> for SpecFuncs

fn encode(&self, __encoder: &mut __E)