Documentation ¶
Overview ¶
Package assertstate implements the manager and state aspects responsible for the enforcement of assertions in the system and manages the system-wide assertion database.
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
type AssertManager ¶
type AssertManager struct {
// contains filtered or unexported fields
}
AssertManager is responsible for the enforcement of assertions in system states. It manipulates the observed system state to ensure nothing in it violates existing assertions, or misses required ones.
func Manager ¶
func Manager(s *state.State) (*AssertManager, error)
Manager returns a new assertion manager.
func (*AssertManager) DB ¶
func (m *AssertManager) DB() *asserts.Database
DB returns the assertion database under the manager.
func (*AssertManager) Ensure ¶
func (m *AssertManager) Ensure() error
Ensure implements StateManager.Ensure.
Click to show internal directories.
Click to hide internal directories.