Стиль - это специальная сущность в pgoblin
,
предполагается, что стили со временем будут плагинами.
Стили содержатся в регистрах стилей, должны иметь текстовое
представление и умеют выводить таблицы и выдавать символьные
константы по их именам.
У стилей есть имена. Имя стиля должно состоять из букв, цифр и подчеркиваний. В начале текстового представления стиля должны быть обязательные элементы
|
#
находится
в начале строки (или файла), без пробела за ним следует
идентификатор и через пробел(ы, табуляции) имя интерпретатора до первого
символа, не могущего быть частью идентификатора (допустимые
символы те же, что и в идентификаторе стиля).
Идентификатор стиля используются в команде загрузки стиля в регистр стиля для выбора одного из многих возможных стилей в потоке. Идентификатор интерпретатора используется для идентификации того интерпретатора, который и будет исполнять данный стиль.
Кроме того, должно быть хорошим тоном считать концом стиля то, что грамматичестки может быть проинтерпретировано как начало стиля.
0
.
pgo0
.
copy
.
json
.
Пример файла со стилями:
|
tables
,
lastable
и null
.
Обратите внимание, что программа pgoblin
а
обращается к стилю только по имени и какой именно интерпретатор будет
обрабатывать стиль, определяется текстом стиля а не программой.
Если загрузить стиль в регистр, в котором уже есть загруженный стиль не применив
предварительно команду #clear
к этому регистру,
то результат зависит от интерпретаторов стиля в регистре и догружаемого стиля.
Видимо, если интерпретаторы разные, то можно ожидать ошибку или в лучшем случае неиспользование старого содержимого регистра стиля.