harn-ir-0.8.116
- harn-ir 0.8.116
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- kennethsinder
- Dependencies
- harn-glob ^0.8 normal
  harn-lexer ^0.8 normal
  harn-parser ^0.8 normal
- Versions
- 0% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

Crate harn_ir

harn_ir0.8.116

All Items

Crate Items

Structs
Enums
Traits
Functions
Type Aliases

Crate harn_ir

Structs§

AnalysisReport
ApprovalReachability
AssignmentSemantics
BudgetRemainingNonIncreasing
CallSemantics
CapabilityEffect
CapabilityPolicyInvariant
FsWritesSubsetPathGlob
HandlerIr
HandlerSpec
InvariantDiagnostic
InvariantSpec
IrEdge
IrNode
PathStep

Enums§

CallClassification
Capability
ExprSummary
HandlerKind
LiteralValue
NodeSemantics
PolicyScopeKind

Traits§

Invariant

Functions§

analyze_program
explain_handler_invariant

Type Aliases§

NodeId