I'm providing this documentation mostly for TheBigg, who's investigating offering SSL support in WEIDU. It's not especially user-friendly, and it assumes at least passing familiarity with SSL code as well as a thorough understanding of BAF code. Anyone interested in coding in SSL might want to look at this (incomplete) tutorial first. (Anyone not needing fairly sophisticated scripting probably should just stick to BAF - SSL is very powerful but has a pretty vertical learning curve.)
Anyway, there are three documents (all in PDF form).
The first gives a (roughly) context-free-grammar explanation of the syntax of SSL (more accurately, of the syntax of "unlooped, substituted SSL", the file you get when variable substitutions, file inclusions and loop evaluations have been performed on the original SSL).
SSL_grammar.pdf 453.81KB 215 downloads
The second explains how the SSL parser turns an SSL block into a sequence of BAF blocks.
How_to_evaluate_an_SSL_block.pdf 432.77KB 159 downloads
The third explains how SSL evaluates variable substitutions and file inclusions.
SSL_loops_and_variables.pdf 268.61KB 136 downloads
EDIT 13-9-12 - very belatedly, I forgot about the DEFAULT_TRIGGER command. Add this to SSL_grammar.pdf:
A block can also be DEFAULT_TRIGGER(SSL-BAF trigger) or DEFAULT_TRIGGER()
The most recent DEFAULT_TRIGGER trigger is prepended to all trigger blocks.
(This is useful in, e.g., marking a large block of actions as only to be done if some variable is set.)
Edited by DavidW, 12 September 2012 - 04:25 PM.