Struct Specification 

pub struct Specification(pub Vec<Definition>);

Tuple Fields

0: Vec<Definition>

Implementations

impl Specification

pub fn from_typed_ast_with_properties( value: Specification, properties: ParserProperties, ) -> Self

pub fn from_typed_ast_with_properties_and_path( value: Specification, properties: ParserProperties, path: impl AsRef<Path>, ) -> ParserResult<Self>

pub fn from_typed_ast_with_resolver( value: Specification, properties: ParserProperties, path: impl AsRef<Path>, resolver: &mut dyn IncludeResolver, ) -> ParserResult<Self>

Lowers an unprojected typed AST using the caller’s include resolver.

Preserves dependency mounts when a versioned include is resolved during lowering, after the outer source has already been parsed.

pub fn from_typed_ast_with_path( value: Specification, path: impl AsRef<Path>, ) -> ParserResult<Self>

pub fn project_typed_ast_versions( value: Specification, properties: ParserProperties, path: impl AsRef<Path>, ) -> ParserResult<Vec<VersionedProjection>>

Lowers a typed AST and returns one HIR projection per requested version.

Unversioned specifications produce exactly one projection without a version. Versioned specifications produce one merged projection holding one module per selected version (merged layout, the default), or one projection per selected version (per_version layout).

pub fn project_typed_ast_versions_with_resolver( value: Specification, properties: ParserProperties, path: impl AsRef<Path>, resolver: &mut dyn IncludeResolver, ) -> ParserResult<Vec<VersionedProjection>>

Lowers a typed AST with resolver for the includes it names.

Versioned includes need the resolver that resolved the unit’s own includes, so a caller that has one passes it here instead of letting the filesystem resolver stand in.

Errors

Returns an error when a versioned include cannot be resolved, read, projected, or spliced.

pub fn project_typed_ast_with_properties_and_path( value: Specification, properties: ParserProperties, path: impl AsRef<Path>, ) -> ParserResult<ProjectedHir>

Lowers a typed AST and projects the first request of the merged layout.

Callers that need per-version output use Self::project_typed_ast_versions.

Trait Implementations

impl Clone for Specification

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Specification

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Specification

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<Specification> for Specification

fn from(value: Specification) -> Self

Converts to this type from the input type.

impl Serialize for Specification

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

where __S: Serializer,

Serialize this value into the given Serde serializer.