dbc_release.go

//go:build !debug
// +build !debug

package aasx

import "errors"

// ErrPreconditionViolation is returned when a precondition check fails.
var ErrPreconditionViolation = errors.New("precondition violation")

// ErrPostconditionViolation is returned when a postcondition check fails.
var ErrPostconditionViolation = errors.New("postcondition violation")

// Require checks a precondition and panics with the given message if it fails.
// Use this for validating function arguments and entry conditions.
func Require(condition bool, message string) {
	// Intentionally left empty in non-debug builds.
}

// Ensure checks a postcondition and panics with the given message if it fails.
// Use this for validating function results and exit conditions.
func Ensure(condition bool, message string) {
	// Intentionally left empty in non-debug builds.
}