sim-lib-class 0.1.0

Checked class descriptors and inheritance semantics for SIM.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38

//! Concrete language-neutral class semantics for SIM.
//!
//! This crate deliberately begins with an executable semantic boundary. The
//! inventory prevents neighboring object models from being mistaken for class
//! inheritance, while characterization scenarios freeze the behavior that the
//! checked descriptor implementation must preserve.

mod cache;
mod characterization;
mod descriptor;
mod inventory;
mod lineage;
mod protocol;

pub use cache::{
    CacheAccess, CacheAccessKind, CacheError, CacheRevisions, ClassCache, ClassRoot,
    DerivedClassView, SnapshotGraph,
};
pub use characterization::{
    CharacterizationScenario, ExpectedOutcome, FailureMode, ScenarioKind,
    characterization_scenarios, scenario_content_id,
};
pub use descriptor::{
    ClassDescriptor, ClassDescriptorError, ClassDescriptorInput, ClassIdentity, DeclaredParent,
    MemberShape, OpenMetadataEntry, ReadConstruction,
};
pub use inventory::{
    CandidateDisposition, CandidateModel, ExclusionReason, ParentMeaning, SemanticDomain,
    candidate_inventory, exclusion_ledger, non_goals,
};
pub use lineage::{
    C3Policy, DeclaredOrderPolicy, LineageBudget, LineageError, LineageGraph, LineagePolicy,
    PrecedenceConstraint,
};
pub use protocol::{ClassConstructor, DescriptorClass, SubclassEvidence, SubclassQuery};

#[cfg(test)]
mod tests;