org.erights.e.elib.slot
Interface Auditor

All Known Implementing Classes:

BaseAuditor

public interface Auditor

Untamed:

Author:

Mark S. Miller

Method Summary

boolean

audit(Object script) Enabled: Asks an auditor: do you give your stamp of approval to the code of an object definition expression (the script), and thereby endorse those instances requesting your endorsement?

Method Detail

audit

public boolean audit(Object script)

Enabled: Asks an auditor: do you give your stamp of approval to the code of an object definition expression (the script), and thereby endorse those instances requesting your endorsement?

script should be an EScript as aKernel-E parse tree with syntactic environment for an object definition expression's script.

A rubber stamping auditor (or a "rubber-stamp") is an auditor that always approves of any script it is asked to audit. A rubber-stamp need not (and generally does not) examine script, which is why there can be Auditors at the elib level even though object expressions don't exist till the elang level. Likewise, auditors that always reject may be defined at the elib level.