The policy-cond Reference Manual

3.1.1 policy-cond/policy-cond.asd

Source

policy-cond.asd.

Parent Component

policy-cond (system).

ASDF Systems

policy-cond.

3.1.2 policy-cond/package.lisp

Dependency

license.txt (file).

Source

policy-cond.asd.

Parent Component

policy-cond (system).

Packages

• policy.
• policy-cond.

3.1.3 policy-cond/policy-cond.lisp

Dependency

package.lisp (file).

Source

policy-cond.asd.

Parent Component

policy-cond (system).

Public Interface

• declaration-information (function).
• policy-cond (macro).
• policy-if (macro).
• with-policy (macro).

Internals

policy (macro).

3.1.4 policy-cond/expectations.lisp

Dependency

policy-cond.lisp (file).

Source

policy-cond.asd.

Parent Component

policy-cond (system).

Public Interface

with-expectations (macro).

3.1.5 policy-cond/policy.lisp

Dependency

expectations.lisp (file).

Source

policy-cond.asd.

Parent Component

policy-cond (system).

Public Interface

if (macro).

3.2.1 policy-cond/LICENSE.txt

Source

policy-cond.asd.

Parent Component

policy-cond (system).

5.1.1 Macros

Macro: if (form) ¶

Intended to be used with read macros. FORM should be a policy expression as described in POLICY-COND:POLICY-COND. For example,

#+#.(policy:if (> speed safety)) EXPRESSION

Package

policy.

Source

policy.lisp.

Macro: policy-cond (&body cases) ¶

Like COND, except each clause predicate is a policy expression. A policy expression is a boolean expression using optimize declaration qualities such as SPEED, SAFETY, DEBUG, COMPILATION-SPEED, etc. as if they’re lexically bound to their actual value.

The result of POLICY-COND will be the first clause whose policy expression is satisfied. This is computed at compile time based off the current compiler policy.

Package

policy-cond.

Source

policy-cond.lisp.

Macro: policy-if (expr then else) ¶

If the policy expression EXPR is true, then expand into THEN, otherwise into ELSE. The policy expression is as described in POLICY-COND.

Package

policy-cond.

Source

policy-cond.lisp.

Macro: with-expectations (policy (&rest expectations) &body body) ¶

Execute BODY with expectations laid out by the clauses EXPECTATIONS when the policy expression POLICY holds true. When POLICY does not hold true, then EXPECTATIONS will be explicitly checked at runtime.

EXPECTATIONS should be lists of one of the following forms.

Type Expectation: (TYPE <type> <vars-or-exprs>...)

Assert that the variables and expressions <vars-or-exprs> should
have the type <type>. If the POLICY is met, then declarations
will be made for the variables only.

Return Type Expectation: (RETURNS [<type>*])

Assert that the result of a form obeys a certain type. Multiple
types indicate multiple values are returned. If the POLICY is
met, then the assertion will be elided at runtime.

Assertion Expectation: (ASSERTION <assertion> [(place*) [datum-form argument-form*]])

Assert that the assertion <assertion> should be true. If the
POLICY is met, then the assertion will be elided at runtime.

Conditional Expectation: (OR-ELSE <predicate> <resulting action>)

Check that the predicate <predicate> is true, or else perform
<resulting action>. If the POLICY is met, elide the check and
action. This clause is principally used for having special
conditions get raised.

Inline Expectation: (INLINE [<symbol>*])

Inline the functions designated by the symbols <symbol> if POLICY
is met.

Package

policy-cond.

Source

expectations.lisp.

Macro: with-policy (policy &body body) ¶

Execute the body BODY with the global optimize policy set to POLICY. Once BODY has finished executing, restore the compiler policy to its original state.

For local declarations, use LOCALLY.

Package

policy-cond.

Source

policy-cond.lisp.

5.1.2 Ordinary functions

Function: declaration-information (symbol &optional env) ¶

Get the declaration information for the environment ENV.

Package

policy-cond.

Source

policy-cond.lisp.

5.2.1 Macros

Macro: policy (expr env) ¶

Package

policy-cond.

Source

policy-cond.lisp.