Multi policy Language Syntax Guide

Multi policy files used with MultiMain.exe contain several parts, separated by a dashed separator. Any line satisfying the following conditions is considered a dashed separator:
  1. It must start with at least 3 dashes ---.
  2. It must continue with a the name of a principal.
  3. It must end with at least 3 dashes ---.

For instance, the following are all valid separators:
  • -----david---
  • ---carol--------
  • ---sue---

The policy fragment between the beginning of the file and the first separator is called the common policy section. This common policy is defined using the DKAL policy language and is prepended to the policy of each of the principals defined in the rest of the multi policy file.

Each subsequent policy fragment defines the individual policy for the principal named in the preceding separator.

Also you can optionally set logic engine kind in first line of multi policy file in format "/// logic: <kind>". Default logic kind is "simple".

For instance:
/// logic: simple
// common policy
// ...

-----david---
// david's policy
// ...

---carol--------
// carols's policy
// ...

---sue---
// sue's policy
// ...

Last edited Aug 30, 2012 at 12:40 AM by amelentev, version 4

Comments

No comments yet.