Re-exports§
pub use connector::ConnectorRegistry;pub use connector::FileAnalysisResult;pub use connector::LanguageConnector;
Modules§
- c3
- C3 linearization for deterministic component/layer ordering.
- cache
- Incremental caching for structural analysis.
- checker
- connector
- Language connector trait for extensible structural analysis.
- index
Structs§
- Constraint
Result - Result of checking one structural constraint.
- Violation
- A single violation: a file + line where a forbidden reference was found.
Enums§
- Check
Status - Rich status for a constraint check.
- Language
- Supported programming languages for structural analysis.
- Verification
Level - The level of verification applied to a constraint.
Functions§
- check
- Check all structural constraints in the given systems against the codebase.