NAME

lua51.bnf - The Complete Syntax of Lua

DESCRIPTION

The following grammar comes from "Lua 5.1 Reference Manual".

        chunk ::= {stat [`;´]} [laststat[`;´]]

        block ::= chunk

        stat ::=  varlist1 `=´ explist1  |
                 functioncall  |
                 do block end  |
                 while exp do block end  |
                 repeat block until exp  |
                 if exp then block {elseif exp then block} [else block] end  |
                 for Name `=´ exp `,´ exp [`,´ exp] do block end  |
                 for namelist in explist1 do block end  |
                 function funcname funcbody  |
                 local function Name funcbody  |
                 local namelist [`=´ explist1]

        laststat ::= return [explist1]  |  break

        funcname ::= Name {`.´ Name} [`:´ Name]

        varlist1 ::= var {`,´ var}

        var ::=  Name  |  prefixexp `[´ exp `]´  |  prefixexp `.´ Name

        namelist ::= Name {`,´ Name}

        explist1 ::= {exp `,´} exp

        exp ::=  nil  |  false  |  true  |  Number  |  String  |  `...´  |
                 function  |  prefixexp  |  tableconstructor  |  exp binop exp  |  unop exp

        prefixexp ::= var  |  functioncall  |  `(´ exp `)´

        functioncall ::=  prefixexp args  |  prefixexp `:´ Name args

        args ::=  `(´ [explist1] `)´  |  tableconstructor  |  String

        function ::= function funcbody

        funcbody ::= `(´ [parlist1] `)´ block end

        parlist1 ::= namelist [`,´ `...´]  |  `...´

        tableconstructor ::= `{´ [fieldlist] `}´

        fieldlist ::= field {fieldsep field} [fieldsep]

        field ::= `[´ exp `]´ `=´ exp  |  Name `=´ exp  |  exp

        fieldsep ::= `,´  |  `;´

        binop ::= `+´  |  `-´  |  `*´  |  `/´  |  `^´  |  `%´  |  `..´  |
                 `<´  |  `<=´  |  `>´  |  `>=´  |  `==´  |  `~=´  |
                 and  |  or

        unop ::= `-´  |  not  |  `#´