经过一晚上的整理，把
SoftArt Shader Language 的 EBNF 弄出来了。
主要参照的是
ISO C++的EBNF 。
由于ISO C++并不是一个LALR(1)能够解决的问题，因此不知道这个C++ EBNF的简化版能否在YACC上比较方便的实现。
如果不能实现，我会先考虑修正语法满足需要，而不是手写编译器，我还没那个能耐。
Flex 与 Bison 的
下载地址
//SASL: SoftArt Shader Language
Syntax
Program ::= DeclSeq
//////////////////////////////////
//Declaration
//////////////////////////////////
DeclSeq ::= Decl |
DeclSeq Decl
Decl ::= BlockDecl |
FunctioDef
Declarator ::= DirectDecl [SemanticSpec] [RegisterSpec]
DirectDecl ::= DeclId |
DirectDecl '(' ParamDeclClause ')'|
DirectDecl '[' [ConstExp] ']'|
'(' Declarator ')'
CvQualifierSeq ::= CvQualifier [CvQualifierSeq]
CvQualifier ::= 'const' | 'uniform'
SemanticSpec ::= ':' Semantic
RegisterSpec ::= ':' 'register' '(' Register ')'
BlockDecl ::= SimpleDecl
SimpleDecl ::= [DeclSpecSeq] [InitDeclList] ';'
AbsDecl ::= DirectAbsDecl
DirectAbsDecl ::= [DirectAbsDecl] '(' ParamDeclClause ')' |
[DirectAbsDecl] '[' [ConstExp] ']' |
'(' AbsDecl ')'
DeclSpecSeq ::= [DeclSpecSeq] DeclSpec
InitDeclList ::= InitDecl |
InitDeclList ',' InitDecl
InitDecl ::= Declarator [Init]
Init ::= '=' InitClause |
( ExpList)
InitClause ::= AssignmentExp |
'{' InitList [','] '}' |
'{' '}'
InitList ::= InitClause |
InitList ',' InitClause
DeclSpec ::= TypeSpec
TypeSpec ::= SimpleTypeSpec |
ClassSpec
SimpleTypeSpec ::= 'int' | 'half' | 'float' |
'int2' | 'half2' | 'float2' |
'int3' | 'half3' | 'float3' |
'int4' | 'half4' | 'float4' |
'float4x4'
/////////////////////////////
//Function
/////////////////////////////
FunctionDef ::= [DeclSpecSeq] Declarator FunctionBody
FunctionBody ::= CompoundStatement
/////////////////////////////
//Statements
/////////////////////////////
CompoundStatement ::= '{' [StatementSeq] '}'
StatementSeq ::= Statement |
StatementSeq Statement
Statement ::= ExpStatement |
CompountStatement |
SelectionStatement |
IterationStatement |
DeclStatement
ExpStatement ::= [ Expression ] ';'
SelectionStatement ::= 'if' '(' Condition ')' Statement |
'if' '(' Condition ')' Statement 'else' Statement
IterationStatement ::= 'while' '(' Condition ')' Statement |
'do' Statement 'while' '(' Expression ')' ';'
'for' '(' ForInitStatement [Condition] ';' [ Expression ] ')' Statement
Condition ::= Expression |
TypeSpecSeq Declarator '=' AssignmentExp
ForInitStatement ::= ExpStatement |
SimpleDecl
DeclStatement ::= BlockDecl
/////////////////////////////
//Parameter
/////////////////////////////
ParamDeclClause ::= [ ParamDeclList ]
ParamDeclList ::= ParamDecl |
ParamDeclList ',' ParamDecl
ParamDecl ::= DeclSpecSeq Delarator |
DeclSpecSeq [AbsDecl]
/////////////////////////////
//Class And Struct
/////////////////////////////
ClassSpec ::= ClassHead '{' [ MemberSpec ] '}'
ClassHead ::= 'struct' [ Identifier ]
MemberSpec ` ::= MemberDecl [MemberSpec]
MemberDeclaration ::= [DeclSpecSeq] [MemberDeclList]
MemberDeclList ::= MemberDecl |
MemberDeclList ',' MemberDeclarator
MemberDeclarator ::= Declarator [ PureSpec ] |
Declarator [ ConstInit ] |
[ Identifier ] ':' ConstExp
//////////////////////////////////////
//Expressions
//////////////////////////////////////
Expression ::= AssignmentExp
ConstExp ::= CondExp
AssignmentExp ::= CondExp |
LogicalOrExp AssignmentOp AssignmentExp
CondExp ::= LogicalOrExp |
LogicalOrExp '?' Expression ':' AssignmentExp
LogicalOrExp ::= LogicalAndExp |
LogicalOrExp '||' LogicalAndExp
LogicalAndExp ::= InclusiveOrExp |
LogicalAndExp '&&' InclusiveOrExp
InclusiveOrExp ::= ExclusiveOrExp |
InclusiveOrExp '|' ExclusiveOrExp
ExclusiveOrExp ::= AndExp |
ExclusiveOrExp '^' AndExp
AndExp ::= EqualExp |
AndExp '&' EqualExp
EqualExp ::= RelExp |
EqualExp '==' RelExp |
EqualExp '!=' RelExp
RelExp ::= ShiftExp |
RelExp '<' ShiftExp |
RelExp '>' ShiftExp |
RelExp '<=' ShiftExp |
RelExp '>=' ShiftExp
ShiftExp ::= AddExp |
ShiftExp '<<' AddExp |
ShiftExp '>>' AddExp
AddExp ::= MulExp |
AddExp '+' MulExp |
AddExp '-' MulExp
MulExp ::= PmExp |
MulExp '*' PmExp |
MulExp '/' PmExp |
MulExp '%' PmExp
PmExp ::= CastExp |
PmExp '.*' CastExp
CastExp ::= UnaryExp |
'(' TypeId ')' CastExp
UnaryExp ::= PostfixExp |
'++' CastExp |
'--' CastExp |
UnaryOp CastExp
PostfixExp ::= PrimaryExp |
PostfixExp '[' Expression ']' |
PostfixExp '(' Expression ')' |
PostfixExp '(' [ ExpList ] ')' |
SimpleTypeSpec '(' [ ExpList ] ')' |
PostfixExp '++' |
PostfixExp '--'
PrimaryExp ::= Literal |
'(' Expression ')' |
IdExp
IdExp ::= UnqualifiedId
ExpList ::= AssigmentExp |
ExpList ',' AssignmentExp
//////////////////////////////
//Identifier
//////////////////////////////
DeclId ::= IdExp |
TypeName
UnqualifiedId ::= Identifier
Identifier ::= NonDigit |
Identifier NonDigit |
Identifier Digit
//////////////////////////////
//Literals
//////////////////////////////
Literal ::= IntLiteral |
FloatLiteral |
BoolLitreral
IntLiteral ::= DemicalLiteral
DemicalLiteral ::= NonZeroDigit |
DemicalLiteral | Digit
FloatLiteral ::= FracConstant [ExponentPart] |
DigitSeq ExponentPart
BoolLiteral ::= 'false' |
'true'
FracConstant ::= [DigitSeq] '.' DigitSeq |
DigitSeq '.'
ExponentPart ::= 'e' [Sign] DigitSeq |
'E' [Sign] DigitSeq
DigitSeq ::= Digit |
DigitSeq Digit
//////////////////////////
//Terminals
//////////////////////////
NonDigit ::= AlphaChar |
'_'
NonZeroDigit ::= '1' | 
| '9'
AssignmentOp ::= '=' |
'*=' | '/=' | '%=' |
'+=' | '-=' |
'>>=' | '<<=' |
'&=' | '^=' | '|='
Register
Semantic
Digit
AlphaChar
Keyword
有点儿参差不齐，哈哈。一些Terminator我就没有写了。预处理的部分由于使用Boost.Wave，因此也没有加入到EBNF中。这些都很大程度上简化了EBNF的内容。
然后大概的根据层次归了一下类，看起来要方便一点。
但愿语法树里面没有漏掉的。
等回到自己机器上就开始自下向上的实现这个东西了，争取10月份之前能把整个Shader编译器集成到SoftArt里面去。
目前就让它在SVN的SandBox里面待着好了。