Struct LanguageProfile 

pub struct LanguageProfile { /* private fields */ }

Per-language capability profile for restricting transforms to supported features.

Implementations

impl LanguageProfile

pub fn new(name: impl Into<String>, language: impl Into<String>) -> Self

Creates an empty profile for a target language.

pub fn javascript() -> Self

Built-in JavaScript same-language profile.

pub fn builtin(name: &str) -> Option<Self>

Looks up a built-in profile by name.

pub fn from_rule_set( name: impl Into<String>, language: impl Into<String>, rule_set: &TranslationRuleSet, ) -> Self

Computes a profile domain from a translation rule set.

Rule query link-type filters become supported link types, query term filters become supported concept/feature terms, and every rule name is recorded as a supported translation rule.

pub fn name(&self) -> &str

Profile name.

pub fn language(&self) -> &str

Target language this profile constrains.

pub const fn link_types(&self) -> &BTreeSet<LinkType>

Supported link types.

pub const fn concepts(&self) -> &BTreeSet<String>

Supported concept or feature terms.

pub const fn translation_rules(&self) -> &BTreeSet<String>

Supported translation rule names.

pub const fn fallbacks(&self) -> &BTreeMap<String, String>

Unsupported concepts mapped to their documented lossy fallback.

Each entry records a concept the target cannot represent natively together with the fallback applied when the concept is encountered (for example a heading rendered as a plain paragraph in txt). This is the per-target fidelity report required by issue #86.

pub fn with_link_type(self, link_type: LinkType) -> Self

Returns a copy with a supported link type.

pub fn with_concept(self, concept: impl Into<String>) -> Self

Returns a copy with a supported concept or feature term.

pub fn with_translation_rule(self, rule: impl Into<String>) -> Self

Returns a copy with a supported translation rule name.

pub fn with_concept_fallback( self, concept: impl Into<String>, fallback: impl Into<String>, ) -> Self

Returns a copy that records an unsupported concept and its lossy fallback.

Use this to declare features the target cannot represent natively, so the profile can report them as documented lossy fallbacks rather than silent data loss.

pub fn concept_fallback(&self, concept: &str) -> Option<&str>

The documented lossy fallback for a concept the target cannot represent, or None when the concept is natively supported or unknown.

pub fn supports_link_type(&self, link_type: LinkType) -> bool

Whether this profile supports a link type.

pub fn supports_concept(&self, concept: &str) -> bool

Whether this profile supports a concept or feature term.

pub fn supports_translation_rule(&self, rule: &str) -> bool

Whether this profile supports a translation rule name.

pub fn declare_in(&self, network: &mut LinkNetwork) -> LanguageProfileLinks

Declares this profile as queryable links inside a network.

pub fn validate_network( &self, network: &LinkNetwork, ) -> Result<(), LanguageProfileViolation>

Validates that all typed links in a network stay inside this profile.

Errors

Returns LanguageProfileViolation for the first unsupported link type found in identifier order.

Trait Implementations

impl Clone for LanguageProfile

fn clone(&self) -> LanguageProfile

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LanguageProfile

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

Formats the value using the given formatter.

impl PartialEq for LanguageProfile

fn eq(&self, other: &LanguageProfile) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for LanguageProfile

impl StructuralPartialEq for LanguageProfile