ats_bnf.txt

Script C被设计成一种解释执行的、C语言风格的脚本语言。它用来完成bat批处理无法完成

1. 语法分析时的语法bnf范式
[function 类型 函数定义 | 函数定义
begin
   执行实体
end]

[全局变量定义;]

main begin 执行实体 end

   全局变量定义 = 变量定义//不能有函数调用;
   执行实体 = 语句; [语句;]
   语句 = 变量定义 | 表达式 | if语句 | while语句 | return语句 | goto语句 | 标号语句
   if语句 = if (表达式1) 执行实体1
   while语句 = while (表达式1) 执行实体1
   执行实体1 = {语句; | begin 执行实体 end}
   return语句 = return 表达式1
   goto语句 = goto 标号
   标号语句 = 标号 语句;
   函数定义 = 函数名称(叁数[, 叁数])
   变量定义 = 类型  定义体[,定义体];
   
   定义体 = 变量 | 变量 = 表达式1
   表达式 = 变量 = 表达式1 | 函数调用
   表达式0 = (表达式1)
   表达式1 = [+|-] 表达式2[运算符号 表达式2] 
   表达式2 = 表达式0 | 表达式3
   表达式3 = 函数调用 | 常量 | 变量 
   函数调用 = 函数名称(表达式1[,表达式1]) //函数调用包括自定义函数和dll提供的功能函数.
   叁数 = 类型 变量
   类型 = int | char | string
   变量 = 合法word
   函数名称 = 合法word
   标号 = :word
   word = a..z | A..Z | _[word | 0..9]
   常量 = 0..9
   运算符号 =, +, -, /, *, >, <, >=, <=, <>, ==,!, &, |

注释:
    []表示可以重复的出现0个以上.
    |  表示选择的出现.  
    { } 表示选择其中一个