pub struct ResolutionGraph<T> {
    pub build_options: BuildConfig,
    pub root_package: SourceManifest,
    pub graph: DiGraphMap<PackageName, ()>,
    pub package_table: BTreeMap<PackageName, ResolutionPackage<T>>,
}
Expand description

A ResolutionGraph comes in two flavors:

  1. a ResolutionGraph during resolution (some named addresses may yet be instantiated)
  2. a ResolvedGraph which is a graph after resolution in which all named addresses have been assigned a value.

Named addresses can be assigned values in a couple different ways:

  1. They can be assigned a value in the declaring package. In this case the value of that named address will always be that value.
  2. Can be left unassigned in the declaring package. In this case it can receive its value through unification across the package graph.

Named addresses can also be renamed in a package and will be re-exported under thes new names in this case.

Fields§

§build_options: BuildConfig

Build options

§root_package: SourceManifest

Root package

§graph: DiGraphMap<PackageName, ()>

Dependency graph

§package_table: BTreeMap<PackageName, ResolutionPackage<T>>

A mapping of package name to its resolution

Implementations§

source§

impl ResolutionGraph<ResolvingNamedAddress>

source

pub fn new( root_package: SourceManifest, root_package_path: PathBuf, build_options: BuildConfig ) -> Result<ResolutionGraph<ResolvingNamedAddress>>

source

pub fn resolve(self) -> Result<ResolvedGraph>

source§

impl ResolutionGraph<AccountAddress>

source

pub fn get_package(&self, package_ident: &PackageName) -> &ResolvedPackage

Trait Implementations§

source§

impl<T: Clone> Clone for ResolutionGraph<T>

source§

fn clone(&self) -> ResolutionGraph<T>

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl<T: Debug> Debug for ResolutionGraph<T>

source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl<T> RefUnwindSafe for ResolutionGraph<T>where T: RefUnwindSafe,

§

impl<T> Send for ResolutionGraph<T>where T: Send,

§

impl<T> Sync for ResolutionGraph<T>where T: Sync,

§

impl<T> Unpin for ResolutionGraph<T>

§

impl<T> UnwindSafe for ResolutionGraph<T>where T: RefUnwindSafe,

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

const: unstable · source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> Same<T> for T

§

type Output = T

Should always be Self
source§

impl<T> ToOwned for Twhere T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
const: unstable · source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
const: unstable · source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

§

fn vzip(self) -> V