Декларации могут располагаться в файле в любом порядке.
Одна декларация может быть записана в одну или несколько строк. Вторая и последующие строки декларации должны быть записаны с отступами относительно первой строки. Закрывающая фигурная скобка, которая завершает декларацию, может быть записана на уровне первой строки.
В многострочной декларации используются отступы разных размеров, чтобы отразить вложенность конструкций, составляющих эту декларацию. Вторая и последующие строки многострочной конструкции, заключенные в фигурные скобки, должны быть записаны с отступом относительно первой строки этой конструкции. Закрывающая фигурная скобка многострочной конструкции может быть записана с отступом или на уровне первой строки конструкции.
Язык PSL чувствителен к регистру символов.
Поддерживаются однострочные и многострочные комментарии:
/* Это комментарий
* И это тоже */
// Ещё один комментарий
Типы деклараций
В языке PSL есть следующие типы деклараций:
описание глобальных параметров политики безопасности решения;
включение PSL-файлов;
включение EDL-файлов;
создание объектов моделей безопасности;
привязка методов моделей безопасности к событиям безопасности;