testml.pgx

testml_document:
    code_section
    data_section?

# General Tokens
escape: / [0nt] /
line: / <ANY>* <EOL> /
blank_line: / <BLANK>* <EOL> /
comment: / <HASH> <line> /
ws: /(:
    <BLANK> |
    <EOL> |
    <comment>
)/

# Strings
quoted_string:
    single_quoted_string |
    double_quoted_string

single_quoted_string:
    /(:
        <SINGLE>
        ((:
            [^<BREAK><BACK><SINGLE>] |
            <BACK><SINGLE> |
            <BACK><BACK>
        )*?)
        <SINGLE>
    )/

double_quoted_string:
    /(:
        <DOUBLE>
        ((:
            [^<BREAK><BACK><DOUBLE>] |
            <BACK><DOUBLE> |
            <BACK><BACK> |
            <BACK><escape>
        )*?)
        <DOUBLE>
    )/

unquoted_string:
    /(
        [^<BLANKS><BREAK><HASH>]
        (:
            [^<BREAK><HASH>]*
            [^<BLANKS><BREAK><HASH>]
        )?
    )/

number: / (<DIGIT>+) /


# TestML Code Section
code_section: (
        ~~ |
        assignment_statement |
        code_statement
    )*

assignment_statement:
    variable_name
    /<WS>+ <EQUAL> <WS>+/
    code_expression
    semicolon

variable_name: /(<ALPHA><WORD>*)/

code_statement:
    code_expression
    assertion_call?
    semicolon

semicolon:
    /<SEMI>/ |
    `You seem to be missing a semicolon`

code_expression:
    code_object
    unit_call*

unit_call:
    !assertion_call_test
    call_indicator
    code_object

code_object:
    function_object |
    point_object |
    string_object |
    number_object |
    transform_object

function_object:
    function_signature?
    function_start
    ( ~~ | assignment_statement | code_statement )*
    / ~ <RCURLY> /

function_start: / ~ (<LCURLY>) ~ /

function_signature:
    /<LPAREN>~/
    function_variables?
    /~<RPAREN>/

function_variables: 
    function_variable+ % / ~ <COMMA> ~ /

function_variable: /(<ALPHA><WORD>*)/

point_object: /(<STAR> <LOWER><WORD>*)/

string_object: quoted_string

number_object: number

transform_object:
    transform_name
    transform_argument_list?

transform_name: user_transform | core_transform

user_transform: /(<LOWER><WORD>*)/

core_transform: /(<UPPER><WORD>*)/

call_indicator: /(: <DOT> ~ | ~ <DOT> )/

transform_argument_list:
    / <LPAREN> ~ /
    transform_argument* % / ~ <COMMA> ~ /
    / ~ <RPAREN> /

transform_argument: code_expression

assertion_call_test: / <call_indicator> (: EQ|OK|HAS ) /

assertion_call:
    +assertion_eq |
    +assertion_ok |
    +assertion_has

assertion_eq:
    +assertion_operator_eq |
    +assertion_function_eq

assertion_operator_eq:
    / ~~ <EQUAL><EQUAL> ~~ /
    code_expression

assertion_function_eq:
    / <call_indicator> EQ <LPAREN> /
    code_expression
    / <RPAREN> /

assertion_ok: assertion_function_ok

assertion_function_ok: / <call_indicator> (OK) <empty_parens>? /

assertion_has: +assertion_operator_has | +assertion_function_has

assertion_operator_has:
    / ~~ <TILDE><TILDE> ~~ /
    code_expression

assertion_function_has:
    / <call_indicator> HAS <LPAREN> /
    code_expression
    / <RPAREN> /

empty_parens: /(: <LPAREN> ~ <RPAREN> )/

# TestML Data Section
data_section: data_block*

data_block:
    block_header
    .( blank_line | comment )*
    block_point*

block_header:
    block_marker
    ( / <BLANK>+ / block_label )?
    / <BLANK>* <EOL> /

block_marker: / <EQUAL><EQUAL><EQUAL> /

block_label: unquoted_string

block_point: lines_point | phrase_point

lines_point:
    point_marker
    / <BLANK>+ /
    point_name
    / <BLANK>* <EOL> /
    point_lines

point_lines: /(
    (:
        (!
            <block_marker> |
            <point_marker>
        )
        <line>
    )*
)/

phrase_point:
    point_marker
    / <BLANK>+ /
    point_name
    / <COLON> <BLANK> /
    point_phrase
    / <EOL> /
    /(:
        <comment> |
        <blank_line>
    )*/

point_marker: / <DASH><DASH><DASH> /

point_name:
    /(
        <user_point_name> |
        <core_point_name>
    )/

user_point_name:  / <LOWER><WORD>* /

core_point_name:  / <UPPER><WORD>* /

point_phrase: unquoted_string