Grammar work happens in the DGrammar project now.
This commit is contained in:
Hackerpilot
parent
45ba5570e7
commit
24d94721a5
563
d.grm
563
d.grm
|
|
@ -1,563 +0,0 @@
|
||||||
"Name" = 'D'
|
|
||||||
"Case Sensitive" = True
|
|
||||||
"Start Symbol" = <Module>
|
|
||||||
|
|
||||||
whitespace = {Whitespace}+
|
|
||||||
Comment Line = '//'
|
|
||||||
Comment Start = '/*'
|
|
||||||
Comment End = '*/'
|
|
||||||
|
|
||||||
! Nested comments not yet supported by Goldie
|
|
||||||
NestedCommentStart = '/+'
|
|
||||||
NestedCommentEnd = '+/'
|
|
||||||
|
|
||||||
! Token Strings need to be lexed just like ordinary code,
|
|
||||||
! so there's no special terminal for them other than 'q{'
|
|
||||||
|
|
||||||
identifier = ({Letter} | '_') ({AlphaNumeric} | '_')*
|
|
||||||
|
|
||||||
!{NonZeroDigit} = {Number} - [0]
|
|
||||||
!{DecimalDigit} = {Number} + [_]
|
|
||||||
!{BinaryDigit} = [_01]
|
|
||||||
!{OctalDigit} = [_01234567]
|
|
||||||
!{HexDigit} = {Number} + [_abcdefABCDEF]
|
|
||||||
!{Decimal} = ( '0' | ({NonZeroDigit} ({Number}|'_')*) ) ([LuU]|'Lu'|'LU'|'uL'|'UL')?
|
|
||||||
!Binary = '0' [bB] {BinaryDigit}+ ([LuU]|'Lu'|'LU'|'uL'|'UL')?
|
|
||||||
!Octal = '0' {OctalDigit}+ ([LuU]|'Lu'|'LU'|'uL'|'UL')?
|
|
||||||
!Hexadecimal = '0' [xX] {HexDigit}+ ([LuU]|'Lu'|'LU'|'uL'|'UL')?
|
|
||||||
|
|
||||||
!FloatLiteralDec = ( '0' | ({NonZeroDigit} ({Number}|'_')*) ) ([LuU]|'Lu'|'LU'|'uL'|'UL')? ([fF]'i'|'Li'|'i') ( [eE][-+]?({Number}|'_')+ )?
|
|
||||||
!FloatLiteralBin = '0' [bB] {BinaryDigit}+ ([LuU]|'Lu'|'LU'|'uL'|'UL')? ([fF]'i'|'Li'|'i') ( [eE][-+]?({Number}|'_')+ )?
|
|
||||||
!FloatLiteralOct = '0' {OctalDigit}+ ([LuU]|'Lu'|'LU'|'uL'|'UL')? ([fF]'i'|'Li'|'i') ( [eE][-+]?({Number}|'_')+ )?
|
|
||||||
!FloatLiteralHex = '0' [xX] {HexDigit}+ ([LuU]|'Lu'|'LU'|'uL'|'UL')? ([fF]'i'|'Li'|'i') ( [eE][-+]?({Number}|'_')+ )?
|
|
||||||
|
|
||||||
!DecimalFloat1 = {DecimalDigit}+ '.' ( {DecimalDigit}+ ( [eE][-+]?{DecimalDigit}+ )? )?
|
|
||||||
!DecimalFloat2 = '.' ( '0' | ({NonZeroDigit} {DecimalDigit}*) ) ( [eE][-+]?{DecimalDigit}+ )?
|
|
||||||
!DecimalFloat3 = {Number} {DecimalDigit}* [eE][-+]?{DecimalDigit}+
|
|
||||||
|
|
||||||
!HexFloat1 = '0' [xX] {HexDigit} '.' {HexDigit}+ [pP][-+]?{HexDigit}+
|
|
||||||
!HexFloat2 = '0' [xX] '.' {HexDigit}+ [pP][-+]?{HexDigit}+
|
|
||||||
!HexFloat3 = '0' [xX] {HexDigit}+ [pP][-+]?{HexDigit}+
|
|
||||||
|
|
||||||
!{DoubleQuotedStringChar} = {Printable} - ["]
|
|
||||||
!DoubleQuotedString = '"' ({DoubleQuotedStringChar} | '\' {Printable})* '"' [cwd]?
|
|
||||||
!WysiwygString = 'r"' {DoubleQuotedStringChar}* '"' [cwd]?
|
|
||||||
|
|
||||||
!{AlternateWysiwygStringChar} = {Printable} - [`]
|
|
||||||
!AlternateWysiwygString = '`' {DoubleQuotedStringChar}* '`' [cwd]?
|
|
||||||
|
|
||||||
!{HexStringDigit} = {HexDigit} + {Whitespace}
|
|
||||||
!HexString = 'x"' {HexStringDigit}* '"' [cwd]?
|
|
||||||
|
|
||||||
! Not yet supported, the following won't work quite right
|
|
||||||
! DelimitedString = 'q"' {DoubleQuotedStringChar}* '"' [cwd]?
|
|
||||||
|
|
||||||
!{CharacterLiteralChar} = {Printable} - ['']
|
|
||||||
!CharacterLiteral = '' ({CharacterLiteralChar} | '\' {Printable}) '' [cwd]?
|
|
||||||
|
|
||||||
|
|
||||||
intLiteral = {Digit}+
|
|
||||||
|
|
||||||
<Module> ::= <ModuleDeclaration> <Declarations>
|
|
||||||
| <Declarations>
|
|
||||||
|
|
||||||
<ModuleDeclaration> ::= 'module' <IdentifierChain>
|
|
||||||
|
|
||||||
<ImportDeclaration> ::= 'import' <ImportList> ';'
|
|
||||||
| 'static' 'import' <ImportList> ';'
|
|
||||||
|
|
||||||
<ImportList> ::= <Import>
|
|
||||||
| <ImportBindings>
|
|
||||||
| <Import> ',' <ImportList>
|
|
||||||
|
|
||||||
<Import> ::= <IdentifierChain>
|
|
||||||
| identifier '=' <IdentifierChain>
|
|
||||||
|
|
||||||
<ImportBindings> ::= <Import> ':' <ImportBindList>
|
|
||||||
|
|
||||||
<ImportBindList> ::= <ImportBind>
|
|
||||||
| <ImportBind> ',' <ImportBindList>
|
|
||||||
|
|
||||||
<ImportBind> ::= identifier
|
|
||||||
| identifier '=' identifier
|
|
||||||
|
|
||||||
<DeclarationsAndStatements> ::= <Declaration>
|
|
||||||
| <Statement>
|
|
||||||
| <Declaration> <DeclarationsAndStatements>
|
|
||||||
| <Statement> <DeclarationsAndStatements>
|
|
||||||
|
|
||||||
<Declarations> ::= <Declaration>
|
|
||||||
| <Declaration> <Declarations>
|
|
||||||
|
|
||||||
<Declaration> ::= <ImportDeclaration>
|
|
||||||
| <FunctionDeclaration>
|
|
||||||
| <VariableDeclaration>
|
|
||||||
| <AliasThisDeclaration>
|
|
||||||
| <StructDeclaration>
|
|
||||||
| <ClassDeclaration>
|
|
||||||
| <AliasDeclaration>
|
|
||||||
| <MixinDeclaration>
|
|
||||||
| <Unittest>
|
|
||||||
| ';'
|
|
||||||
|
|
||||||
<AliasThisDeclaration> ::= 'alias' identifier 'this' ';'
|
|
||||||
|
|
||||||
<StructDeclaration> ::= 'struct' identifier <StructBody>
|
|
||||||
|
|
||||||
<StructBody> ::= '{' <Declarations> '}'
|
|
||||||
|
|
||||||
<ClassDeclaration> ::= 'class' identifier <ClassBody>
|
|
||||||
| 'class' identifier ':' <IdentifierList> <ClassBody>
|
|
||||||
|
|
||||||
<ClassBody> ::= '{' <Declarations> '}'
|
|
||||||
|
|
||||||
<ExpressionList> ::= <Expression>
|
|
||||||
| <Expression> ',' <ExpressionList>
|
|
||||||
|
|
||||||
<Statements> ::= <Statement>
|
|
||||||
| <Statement> <Statements>
|
|
||||||
|
|
||||||
<Statement> ::= ';'
|
|
||||||
| <NonEmptyStatement>
|
|
||||||
| <BlockStatement>
|
|
||||||
|
|
||||||
<NonEmptyStatement> ::= <NonEmptyStatementNoCaseNoDefault>
|
|
||||||
| <CaseStatement>
|
|
||||||
| <CaseRangeStatement>
|
|
||||||
| <DefaultStatement>
|
|
||||||
|
|
||||||
<NonEmptyStatementNoCaseNoDefault> ::= <IfStatement>
|
|
||||||
| <WhileStatement>
|
|
||||||
| <DoStatement>
|
|
||||||
| <ScopeStatement>
|
|
||||||
| <AssignStatement>
|
|
||||||
| <FunctionCallStatement>
|
|
||||||
| <DebugSpecification>
|
|
||||||
| <ReturnStatement>
|
|
||||||
| <SwitchStatement>
|
|
||||||
| <FinalSwitchStatement>
|
|
||||||
| <ContinueStatement>
|
|
||||||
| <BreakStatement>
|
|
||||||
| <GotoStatement>
|
|
||||||
|
|
||||||
<ReturnStatement> ::= 'return' <Expression> ';'
|
|
||||||
| 'return' ';'
|
|
||||||
|
|
||||||
<SwitchStatement> ::= 'switch' '(' <Expression> ')' <ScopeStatement>
|
|
||||||
|
|
||||||
<FinalSwitchStatement> ::= 'final' <SwitchStatement>
|
|
||||||
|
|
||||||
<CaseStatement> ::= 'case' <ArgumentList> ':' <StatementListNoCaseNoDefault>
|
|
||||||
|
|
||||||
<CaseRangeStatement> ::= 'case' <AssignExpression> ':' '...' 'case' <AssignExpression> ':' <StatementListNoCaseNoDefault>
|
|
||||||
|
|
||||||
<DefaultStatement> ::= 'default' ':' <StatementListNoCaseNoDefault>
|
|
||||||
|
|
||||||
<StatementListNoCaseNoDefault> ::= <StatementNoCaseNoDefault>
|
|
||||||
| <StatementNoCaseNoDefault> <StatementListNoCaseNoDefault>
|
|
||||||
|
|
||||||
<StatementNoCaseNoDefault> ::= ';'
|
|
||||||
| <NonEmptyStatementNoCaseNoDefault>
|
|
||||||
| <BlockStatement>
|
|
||||||
|
|
||||||
<ContinueStatement> ::= 'continue' identifier ';'
|
|
||||||
| 'continue' ';'
|
|
||||||
|
|
||||||
<BreakStatement> ::= 'break' identifier ';'
|
|
||||||
| 'break' ';'
|
|
||||||
|
|
||||||
<GotoStatement> ::= 'goto' identifier ';'
|
|
||||||
|
|
||||||
<FunctionCallStatement> ::= <FunctionCallExpression> ';'
|
|
||||||
|
|
||||||
<AssignStatement> ::= <UnaryExpression> <AssignOperator> <AssignExpression> ';'
|
|
||||||
| <PreIncDec> ';'
|
|
||||||
| <PostIncDec> ';'
|
|
||||||
|
|
||||||
<IfStatement> ::= 'if' '(' <Expression> ')' <ScopeStatement>
|
|
||||||
| 'if' '(' <Expression> ')' <ScopeStatement> 'else' <ScopeStatement>
|
|
||||||
|
|
||||||
<Expression> ::= <AssignExpression>
|
|
||||||
| <AssignExpression> ',' <Expression>
|
|
||||||
|
|
||||||
<IdentifierOrTemplateInstance> ::= identifier
|
|
||||||
| <TemplateInstance>
|
|
||||||
|
|
||||||
<TemplateInstance> ::= identifier '!' '(' ')'
|
|
||||||
| identifier '!' '(' <IdentifierList> ')'
|
|
||||||
| identifier '!' identifier
|
|
||||||
|
|
||||||
<UnaryExpression> ::= <UnaryPrefixExpression>
|
|
||||||
| <UnaryPostfixExpression>
|
|
||||||
|
|
||||||
<UnaryPostfixExpression> ::= <PrimaryExpression>
|
|
||||||
| <PostIncDec>
|
|
||||||
| <FunctionCallExpression>
|
|
||||||
| <UnaryPostfixExpression> '[' <Arguments> ']'
|
|
||||||
| <UnaryPostfixExpression> '[' <AssignExpression> '..' <AssignExpression> ']'
|
|
||||||
| <UnaryPostfixExpression> '.' <IdentifierOrTemplateInstance>
|
|
||||||
|
|
||||||
<PostIncDec> ::= <UnaryPostfixExpression> '++'
|
|
||||||
| <UnaryPostfixExpression> '--'
|
|
||||||
|
|
||||||
<UnaryPrefixExpression> ::= <PreIncDec>
|
|
||||||
| '&' <UnaryExpression>
|
|
||||||
| '!' <UnaryExpression>
|
|
||||||
| '*' <UnaryExpression>
|
|
||||||
| '+' <UnaryExpression>
|
|
||||||
| '-' <UnaryExpression>
|
|
||||||
| '~' <UnaryExpression>
|
|
||||||
|
|
||||||
<PreIncDec> ::= '++' <UnaryPrefixExpression>
|
|
||||||
| '--' <UnaryPrefixExpression>
|
|
||||||
|
|
||||||
<PrimaryExpression> ::= <IdentifierOrTemplateInstance>
|
|
||||||
| '.' identifier
|
|
||||||
| intLiteral
|
|
||||||
| 'true'
|
|
||||||
| 'false'
|
|
||||||
| <TypeofExpression>
|
|
||||||
| '(' <Expression> ')'
|
|
||||||
| <IsExpression>
|
|
||||||
|
|
||||||
<TypeofExpression> ::= 'typeof' '(' <Expression> ')'
|
|
||||||
| 'typeof' '(' 'return' ')'
|
|
||||||
|
|
||||||
<IsExpression> ::= 'is' '(' <Type> ')'
|
|
||||||
| 'is' '(' <Type> ':' <TypeSpecialization> ')'
|
|
||||||
| 'is' '(' <Type> '==' <TypeSpecialization> ')'
|
|
||||||
| 'is' '(' <Type> ':' <TypeSpecialization> ',' <TemplateParameterList> ')'
|
|
||||||
| 'is' '(' <Type> '==' <TypeSpecialization> ',' <TemplateParameterList> ')'
|
|
||||||
| 'is' '(' <Type> identifier ')'
|
|
||||||
| 'is' '(' <Type> identifier ':' <TypeSpecialization> ')'
|
|
||||||
| 'is' '(' <Type> identifier '==' <TypeSpecialization> ')'
|
|
||||||
| 'is' '(' <Type> identifier ':' <TypeSpecialization> ',' <TemplateParameterList> ')'
|
|
||||||
| 'is' '(' <Type> identifier '==' <TypeSpecialization> ',' <TemplateParameterList> ')'
|
|
||||||
|
|
||||||
<TemplateParameterList> ::= <TemplateParameter>
|
|
||||||
| <TemplateParameter> ','
|
|
||||||
| <TemplateParameter> ',' <TemplateParameterList>
|
|
||||||
|
|
||||||
<TemplateParameter> ::= <TemplateTypeParameter>
|
|
||||||
| <TemplateValueParameter>
|
|
||||||
| <TemplateAliasParameter>
|
|
||||||
| <TemplateTupleParameter>
|
|
||||||
| <TemplateThisParameter>
|
|
||||||
|
|
||||||
<TemplateTypeParameter> ::= identifier
|
|
||||||
| identifier <TemplateTypeParameterSpecialization>
|
|
||||||
| identifier <TemplateTypeParameterDefault>
|
|
||||||
| identifier <TemplateTypeParameterSpecialization> <TemplateTypeParameterDefault>
|
|
||||||
|
|
||||||
<TemplateTypeParameterSpecialization> ::= ':' <Type>
|
|
||||||
|
|
||||||
<TemplateTypeParameterDefault> ::= '=' <Type>
|
|
||||||
|
|
||||||
<TemplateValueParameter> ::= <BasicType> <Declarator>
|
|
||||||
| <BasicType> <Declarator> <TemplateValueParameterSpecialization>
|
|
||||||
| <BasicType> <Declarator> <TemplateValueParameterDefault>
|
|
||||||
| <TemplateValueParameterDefault>
|
|
||||||
|
|
||||||
<TemplateValueParameterSpecialization> ::= ':' <ConditionalExpression>
|
|
||||||
|
|
||||||
<TemplateValueParameterDefault> ::= '=' '__FILE__'
|
|
||||||
| '=' '__MODULE__'
|
|
||||||
| '=' '__LINE__'
|
|
||||||
| '=' '__FUNCTION__'
|
|
||||||
| '=' '__PRETTY_FUNCTION__'
|
|
||||||
| '=' <AssignExpression>
|
|
||||||
|
|
||||||
<TemplateAliasParameter>::= 'alias' identifier <TemplateAliasParameterSpecializationopt>
|
|
||||||
|
|
||||||
<TemplateAliasParameterDefaultopt> alias <BasicType> <Declarator> <TemplateAliasParameterSpecializationopt> <TemplateAliasParameterDefaultopt> <TemplateAliasParameterSpecialization>::= : <Type> : <ConditionalExpression> <TemplateAliasParameterDefault>: = <Type> = <ConditionalExpression>
|
|
||||||
|
|
||||||
<TemplateThisParameter> ::= 'this' <TemplateTypeParameter>
|
|
||||||
|
|
||||||
<TypeSpecialization> ::= <Type>
|
|
||||||
| 'struct'
|
|
||||||
| 'union'
|
|
||||||
| 'class'
|
|
||||||
| 'interface'
|
|
||||||
| 'enum'
|
|
||||||
| 'function'
|
|
||||||
| 'delegate'
|
|
||||||
| 'super'
|
|
||||||
| 'const'
|
|
||||||
| 'immutable'
|
|
||||||
| 'inout'
|
|
||||||
| 'shared'
|
|
||||||
| 'return'
|
|
||||||
| '__parameters'
|
|
||||||
|
|
||||||
<FunctionCallExpression> ::= <UnaryPostfixExpression> <Arguments>
|
|
||||||
|
|
||||||
<Arguments> ::= '(' ')'
|
|
||||||
| '(' <ArgumentList> ')'
|
|
||||||
|
|
||||||
<ArgumentList> ::= <AssignExpression>
|
|
||||||
| <AssignExpression> ','
|
|
||||||
| <AssignExpression> ',' <ArgumentList>
|
|
||||||
|
|
||||||
<AssignExpression> ::= <UnaryExpression>
|
|
||||||
| <BinaryExpression>
|
|
||||||
| <TernaryExpression>
|
|
||||||
|
|
||||||
<BinaryExpression> ::= <Expression> <BinaryOperator> <Expression>
|
|
||||||
|
|
||||||
<TernaryExpression> ::= <Expression> '?' <Expression> ':' <Expression> ';'
|
|
||||||
|
|
||||||
<BinaryOperator> ::= <CalcOperator>
|
|
||||||
| <ComparisonOperator>
|
|
||||||
| <AssignOperator>
|
|
||||||
|
|
||||||
<CalcOperator> ::= '+'
|
|
||||||
| '-'
|
|
||||||
| '/'
|
|
||||||
| '*'
|
|
||||||
| '^'
|
|
||||||
| '&'
|
|
||||||
| '&&'
|
|
||||||
| '|'
|
|
||||||
| '||'
|
|
||||||
| '>>'
|
|
||||||
| '>>>'
|
|
||||||
| '<<'
|
|
||||||
|
|
||||||
<AssignOperator> ::= '='
|
|
||||||
| '>>>='
|
|
||||||
| '>>='
|
|
||||||
| '<<='
|
|
||||||
| '+='
|
|
||||||
| '-='
|
|
||||||
| '*='
|
|
||||||
| '%='
|
|
||||||
| '&='
|
|
||||||
| '/='
|
|
||||||
| '|='
|
|
||||||
| '^^='
|
|
||||||
| '^='
|
|
||||||
| '~='
|
|
||||||
|
|
||||||
<ComparisonOperator> ::= '<'
|
|
||||||
| '>'
|
|
||||||
| '>='
|
|
||||||
| '<='
|
|
||||||
| '=='
|
|
||||||
| '!='
|
|
||||||
| '!>'
|
|
||||||
| '!<'
|
|
||||||
| '<>'
|
|
||||||
| '!<>'
|
|
||||||
| '<>='
|
|
||||||
| '!<>='
|
|
||||||
| 'is'
|
|
||||||
| '!is'
|
|
||||||
|
|
||||||
<WhileStatement> ::= 'while' '(' <Expression> ')' <ScopeStatement>
|
|
||||||
|
|
||||||
<DoStatement> ::= 'do' <ScopeStatement> 'while' '(' <Expression> ')' ';'
|
|
||||||
|
|
||||||
<ScopeStatement> ::= <BlockStatement>
|
|
||||||
|
|
||||||
<BlockStatement> ::= '{' '}'
|
|
||||||
| '{' <DeclarationsAndStatements> '}'
|
|
||||||
|
|
||||||
<FunctionDeclaration> ::= <Type> identifier <ParameterList> <FunctionBody>
|
|
||||||
| <Type> identifier <ParameterList> ';'
|
|
||||||
|
|
||||||
<Type> ::= identifier
|
|
||||||
| identifier <TypeSuffix>
|
|
||||||
| <BasicTypeX>
|
|
||||||
| <BasicTypeX> <TypeSuffix>
|
|
||||||
|
|
||||||
<TypeSuffix> ::= '*'
|
|
||||||
| '[' ']'
|
|
||||||
| '[' <Type> ']'
|
|
||||||
|
|
||||||
<Parameters> ::= '(' ')'
|
|
||||||
| '(' <ParameterList> ')'
|
|
||||||
|
|
||||||
<ParameterList> ::= <Parameter>
|
|
||||||
| <Parameter> ',' <ParameterList>
|
|
||||||
|
|
||||||
<Parameter> ::= <Type> identifier
|
|
||||||
| <Type> identifier '...'
|
|
||||||
| <Type> identifier ',' <ParameterList>
|
|
||||||
|
|
||||||
<ParameterAttribute> ::= 'auto'
|
|
||||||
| 'final'
|
|
||||||
| 'in'
|
|
||||||
| 'lazy'
|
|
||||||
| 'out'
|
|
||||||
| 'ref'
|
|
||||||
| 'scope'
|
|
||||||
| <TypeCtor>
|
|
||||||
|
|
||||||
<FunctionAttribute> ::= 'nothrow'
|
|
||||||
| 'pure'
|
|
||||||
| <AtAttribute>
|
|
||||||
|
|
||||||
<MemberFunctionAttribute> ::= 'const'
|
|
||||||
| 'immutable'
|
|
||||||
| 'inout'
|
|
||||||
| 'shared'
|
|
||||||
| <FunctionAttribute>
|
|
||||||
|
|
||||||
<AtAttribute> ::= '@' identifier
|
|
||||||
|
|
||||||
<DefaultInitializerExpression> ::= <AssignExpression>
|
|
||||||
| '__FILE__'
|
|
||||||
| '__MODULE__'
|
|
||||||
| '__LINE__'
|
|
||||||
| '__FUNCTION__'
|
|
||||||
| '__PRETTY_FUNCTION__'
|
|
||||||
|
|
||||||
<FunctionBody> ::= <BlockStatement>
|
|
||||||
| <BodyStatement>
|
|
||||||
| <InStatement> <BodyStatement>
|
|
||||||
| <OutStatement> <BodyStatement>
|
|
||||||
| <InStatement> <OutStatement> <BodyStatement>
|
|
||||||
| <OutStatement> <InStatement> <BodyStatement>
|
|
||||||
|
|
||||||
<InStatement> ::= 'in' <BlockStatement>
|
|
||||||
|
|
||||||
<OutStatement> ::= 'out' <BlockStatement>
|
|
||||||
| 'out' '(' identifier ')' <BlockStatement>
|
|
||||||
|
|
||||||
<BodyStatement> ::= 'body' <BlockStatement>
|
|
||||||
|
|
||||||
<BasicTypeX> ::= 'bool'
|
|
||||||
| 'byte'
|
|
||||||
| 'ubyte'
|
|
||||||
| 'short'
|
|
||||||
| 'ushort'
|
|
||||||
| 'int'
|
|
||||||
| 'uint'
|
|
||||||
| 'long'
|
|
||||||
| 'ulong'
|
|
||||||
| 'char'
|
|
||||||
| 'wchar'
|
|
||||||
| 'dchar'
|
|
||||||
| 'float'
|
|
||||||
| 'double'
|
|
||||||
| 'real'
|
|
||||||
| 'ifloat'
|
|
||||||
| 'idouble'
|
|
||||||
| 'ireal'
|
|
||||||
| 'cfloat'
|
|
||||||
| 'cdouble'
|
|
||||||
| 'creal'
|
|
||||||
| 'void'
|
|
||||||
|
|
||||||
<LinkageAttribute> ::= 'extern' '(' identifier ')'
|
|
||||||
|
|
||||||
<AliasDeclaration> ::= 'alias' <AliasInitializerList>
|
|
||||||
|
|
||||||
<AliasInitializerList> ::= <AliasInitializer>
|
|
||||||
| <AliasInitializer> ',' <AliasInitializerList>
|
|
||||||
|
|
||||||
<AliasInitializer> ::= identifier '=' <Type>
|
|
||||||
|
|
||||||
<VariableDeclaration> ::= <Type> <Names> ';'
|
|
||||||
| <Type> identifier '=' <Expression> ';'
|
|
||||||
|
|
||||||
<Names> ::= identifier
|
|
||||||
| identifier ',' <Names>
|
|
||||||
|
|
||||||
<BasicType> ::= <BasicTypeX>
|
|
||||||
| 'const' '(' <Type> ')'
|
|
||||||
| 'immutable' '(' <Type> ')'
|
|
||||||
| 'shared' '(' <Type> ')'
|
|
||||||
| 'inout' '(' <Type> ')'
|
|
||||||
|
|
||||||
<BasicType2> ::= '*'
|
|
||||||
| '[' ']'
|
|
||||||
| '[' <Type> ']'
|
|
||||||
| 'delegate' <Parameters>
|
|
||||||
| 'function' <Parameters>
|
|
||||||
|
|
||||||
<MixinDeclaration> ::= 'mixin' '(' <AssignExpression> ')' ';'
|
|
||||||
|
|
||||||
<CastQual> ::= 'const'
|
|
||||||
| 'const' 'shared'
|
|
||||||
| 'shared' 'const'
|
|
||||||
| 'inout'
|
|
||||||
| 'inout' 'shared'
|
|
||||||
| 'shared' 'inout'
|
|
||||||
| 'immutable'
|
|
||||||
| 'shared'
|
|
||||||
|
|
||||||
<IdentifierList> ::= identifier
|
|
||||||
| identifier ',' <IdentifierList>
|
|
||||||
|
|
||||||
<IdentifierChain> ::= identifier
|
|
||||||
| identifier '.' <IdentifierChain>
|
|
||||||
|
|
||||||
<TypeCtors> ::= <TypeCtor>
|
|
||||||
| <TypeCtor> <TypeCtors>
|
|
||||||
|
|
||||||
<TypeCtor> ::= 'const'
|
|
||||||
| 'immutable'
|
|
||||||
| 'inout'
|
|
||||||
| 'shared'
|
|
||||||
|
|
||||||
<AlignAttribute> ::= 'align'
|
|
||||||
| 'align' '(' intLiteral ')'
|
|
||||||
|
|
||||||
<ProtectionAttribute> ::= 'private'
|
|
||||||
| 'package'
|
|
||||||
| 'protected'
|
|
||||||
| 'public'
|
|
||||||
| 'export'
|
|
||||||
|
|
||||||
<VersionCondition> ::= 'version' '(' intLiteral ')'
|
|
||||||
| 'version' '(' identifier ')'
|
|
||||||
| 'version' '(' unittest ')'
|
|
||||||
| 'version' '(' assert ')'
|
|
||||||
|
|
||||||
<VersionSpecification> ::= 'version' '=' identifier ';'
|
|
||||||
| 'version' '=' intLiteral ';'
|
|
||||||
|
|
||||||
<DebugCondition> ::= 'debug'
|
|
||||||
| 'debug' '(' intLiteral ')'
|
|
||||||
| 'debug' '(' identifier ')'
|
|
||||||
|
|
||||||
<DebugSpecification> ::= 'debug' '=' identifier ';'
|
|
||||||
| 'debug' '=' intLiteral ';'
|
|
||||||
|
|
||||||
<StaticIfCondition> ::= 'static' 'if' '(' <AssignExpression> ')'
|
|
||||||
|
|
||||||
<StaticAssert> ::= 'static' 'assert' '(' <AssignExpression> ')' ';'
|
|
||||||
| 'static' 'assert' '(' <AssignExpression> ',' <AssignExpression> ')' ';'
|
|
||||||
|
|
||||||
<TraitsExpression> ::= 'traits' '(' identifier ',' <TraitsArguments> ')'
|
|
||||||
|
|
||||||
<TraitsArguments> ::= <TraitsArgument>
|
|
||||||
| <TraitsArgument> ',' <TraitsArguments>
|
|
||||||
|
|
||||||
<TraitsArgument> ::= <AssignExpression>
|
|
||||||
| <Type>
|
|
||||||
|
|
||||||
<UnitTest> ::= 'unittest' <BlockStatement>
|
|
||||||
|
|
||||||
<ArrayInitializer> ::= '[' ']'
|
|
||||||
| '[' <ArrayMemberInitializations> ']'
|
|
||||||
|
|
||||||
<ArrayMemberInitializations> ::= <ArrayMemberInitialization>
|
|
||||||
| <ArrayMemberInitialization> ','
|
|
||||||
| <ArrayMemberInitialization> ',' <ArrayMemberInitializations>
|
|
||||||
|
|
||||||
<Initializer> ::= <VoidInitializer>
|
|
||||||
| <NonVoidInitializer>
|
|
||||||
|
|
||||||
<VoidInitializer> ::= 'void'
|
|
||||||
|
|
||||||
<NonVoidInitializer> ::= <AssignExpression>
|
|
||||||
| <ArrayInitializer>
|
|
||||||
| <StructInitializer>
|
|
||||||
|
|
||||||
<LambdaExpression> ::= identifier '=>' <AssignExpression>
|
|
||||||
| <Parameters> '=>' <AssignExpression>
|
|
||||||
| <ParameterAttributes> <FunctionAttribute> '=>' <AssignExpression>
|
|
||||||
|
|
||||||
<ArrayLiteral> ::= '[' <ArgumentList> ']'
|
|
||||||
289
dlex.txt
289
dlex.txt
|
|
@ -1,289 +0,0 @@
|
||||||
%option noyywrap
|
|
||||||
%{
|
|
||||||
#include "d.tab.h"
|
|
||||||
%}
|
|
||||||
|
|
||||||
ident [_[:alpha:]][_[:alnum:]]*
|
|
||||||
whitespace [:blank:]
|
|
||||||
linecomment "//".*
|
|
||||||
blockcomment "/*"[^"*/"]*"*/"
|
|
||||||
assign "="
|
|
||||||
at "@"
|
|
||||||
bitAnd "&"
|
|
||||||
bitAndEqual "&="
|
|
||||||
bitOr "\|"
|
|
||||||
bitOrEqual "\|="
|
|
||||||
catEqual "~="
|
|
||||||
colon ":"
|
|
||||||
comma ","
|
|
||||||
decrement "--"
|
|
||||||
div_ "\/"
|
|
||||||
divEqual "\/="
|
|
||||||
dollar "\$"
|
|
||||||
dot "\."
|
|
||||||
equal "=="
|
|
||||||
goesTo "=>"
|
|
||||||
greater ">"
|
|
||||||
greaterEqual ">="
|
|
||||||
hash "#"
|
|
||||||
increment "++"
|
|
||||||
lBrace "{"
|
|
||||||
lBracket "["
|
|
||||||
less "<"
|
|
||||||
lessEqual "<="
|
|
||||||
lessEqualGreater "<>="
|
|
||||||
lessOrGreater "<>"
|
|
||||||
logicAnd "&&"
|
|
||||||
logicOr "||"
|
|
||||||
lParen "("
|
|
||||||
minus "-"
|
|
||||||
minusEqual "-="
|
|
||||||
mod "%"
|
|
||||||
modEqual "%="
|
|
||||||
mulEqual "*="
|
|
||||||
not "!"
|
|
||||||
notEqual "!="
|
|
||||||
notGreater "!>"
|
|
||||||
notGreaterEqual "!>="
|
|
||||||
notLess "!<"
|
|
||||||
notLessEqual "!<="
|
|
||||||
notLessEqualGreater "!<>"
|
|
||||||
plus "+"
|
|
||||||
plusEqual "+="
|
|
||||||
pow "^^"
|
|
||||||
powEqual "^^="
|
|
||||||
rBrace "}"
|
|
||||||
rBracket "]"
|
|
||||||
rParen ")"
|
|
||||||
semicolon ";"
|
|
||||||
shiftLeft "<<"
|
|
||||||
shiftLeftEqual "<<="
|
|
||||||
shiftRight ">>"
|
|
||||||
shiftRightEqual ">>="
|
|
||||||
slice ".."
|
|
||||||
star "*"
|
|
||||||
ternary "?"
|
|
||||||
tilde "~"
|
|
||||||
unordered "!<>="
|
|
||||||
unsignedShiftRight ">>>"
|
|
||||||
unsignedShiftRightEqual ">>>="
|
|
||||||
vararg "..."
|
|
||||||
xor "^"
|
|
||||||
xorEqual "^="
|
|
||||||
bool bool
|
|
||||||
byte byte
|
|
||||||
cdouble cdouble
|
|
||||||
cent cent
|
|
||||||
cfloat cfloat
|
|
||||||
char char
|
|
||||||
creal creal
|
|
||||||
dchar dchar
|
|
||||||
double double
|
|
||||||
float float
|
|
||||||
function function
|
|
||||||
idouble idouble
|
|
||||||
ifloat ifloat
|
|
||||||
int int
|
|
||||||
ireal ireal
|
|
||||||
long long
|
|
||||||
real real
|
|
||||||
short short
|
|
||||||
ubyte ubyte
|
|
||||||
ucent ucent
|
|
||||||
uint uint
|
|
||||||
ulong ulong
|
|
||||||
ushort ushort
|
|
||||||
void void
|
|
||||||
wchar wchar
|
|
||||||
align align
|
|
||||||
deprecated deprecated
|
|
||||||
extern extern
|
|
||||||
pragma pragma
|
|
||||||
export export
|
|
||||||
package package
|
|
||||||
private private
|
|
||||||
protected protected
|
|
||||||
public public
|
|
||||||
abstract abstract
|
|
||||||
auto auto
|
|
||||||
const const
|
|
||||||
final final
|
|
||||||
gshared __gshared
|
|
||||||
immutable immutable
|
|
||||||
inout inout
|
|
||||||
scope scope
|
|
||||||
shared shared
|
|
||||||
static static
|
|
||||||
synchronized synchronized
|
|
||||||
alias alias
|
|
||||||
asm asm
|
|
||||||
assert assert
|
|
||||||
body body
|
|
||||||
break break
|
|
||||||
case case
|
|
||||||
cast cast
|
|
||||||
catch catch
|
|
||||||
class class
|
|
||||||
continue continue
|
|
||||||
debug debug
|
|
||||||
default default
|
|
||||||
delegate delegate
|
|
||||||
delete delete
|
|
||||||
do do
|
|
||||||
else else
|
|
||||||
enum enum
|
|
||||||
false false
|
|
||||||
finally finally
|
|
||||||
foreach foreach
|
|
||||||
foreach_reverse foreach_reverse
|
|
||||||
for for
|
|
||||||
goto goto
|
|
||||||
if if
|
|
||||||
import import
|
|
||||||
in in
|
|
||||||
interface interface
|
|
||||||
invariant invariant
|
|
||||||
is is
|
|
||||||
lazy lazy
|
|
||||||
macro macro
|
|
||||||
mixin mixin
|
|
||||||
module module
|
|
||||||
new new
|
|
||||||
nothrow nothrow
|
|
||||||
null null
|
|
||||||
out out
|
|
||||||
override override
|
|
||||||
pure pure
|
|
||||||
ref ref
|
|
||||||
return return
|
|
||||||
struct struct
|
|
||||||
super super
|
|
||||||
switch switch
|
|
||||||
template template
|
|
||||||
this this
|
|
||||||
throw throw
|
|
||||||
true true
|
|
||||||
try try
|
|
||||||
typedef typedef
|
|
||||||
typeid typeid
|
|
||||||
typeof typeof
|
|
||||||
union union
|
|
||||||
unittest unittest
|
|
||||||
version version
|
|
||||||
volatile volatile
|
|
||||||
while while
|
|
||||||
with with
|
|
||||||
date __DATE__
|
|
||||||
eof __EOF__
|
|
||||||
time __TIME__
|
|
||||||
timestamp __TIMESTAMP__
|
|
||||||
vendor __VENDOR__
|
|
||||||
compilerVersion __VERSION__
|
|
||||||
file __FILE__
|
|
||||||
line __LINE__
|
|
||||||
|
|
||||||
%%
|
|
||||||
{whitespace} ;
|
|
||||||
{linecomment} ;
|
|
||||||
{blockcomment} ;
|
|
||||||
{import} return import_;
|
|
||||||
{static} return static_;
|
|
||||||
{bool} return bool_;
|
|
||||||
{byte} return byte_;
|
|
||||||
{ubyte} return ubyte_;
|
|
||||||
{short} return short_;
|
|
||||||
{ushort} return ushort_;
|
|
||||||
{int} return int_;
|
|
||||||
{uint} return uint_;
|
|
||||||
{long} return long_;
|
|
||||||
{ulong} return ulong_;
|
|
||||||
{char} return char_;
|
|
||||||
{wchar} return wchar_;
|
|
||||||
{dchar} return dchar_;
|
|
||||||
{float} return float_;
|
|
||||||
{double} return double_;
|
|
||||||
{real} return real_;
|
|
||||||
{ifloat} return ifloat_;
|
|
||||||
{idouble} return idouble_;
|
|
||||||
{ireal} return ireal_;
|
|
||||||
{cfloat} return cfloat_;
|
|
||||||
{cdouble} return cdouble_;
|
|
||||||
{creal} return creal_;
|
|
||||||
{void} return void_;
|
|
||||||
{class} return class_;
|
|
||||||
{ident} return identifier;
|
|
||||||
{assign} return assign;
|
|
||||||
{at} return at;
|
|
||||||
{bitAnd} return bitAnd;
|
|
||||||
{bitAndEqual} return bitAndEqual;
|
|
||||||
{bitOr} return bitOr;
|
|
||||||
{bitOrEqual} return bitOrEqual;
|
|
||||||
{catEqual} return catEqual;
|
|
||||||
{colon} return colon;
|
|
||||||
{comma} return comma;
|
|
||||||
{decrement} return decrement;
|
|
||||||
{div_} return div_;
|
|
||||||
{divEqual} return divEqual;
|
|
||||||
{dollar} return dollar;
|
|
||||||
{dot} return dot;
|
|
||||||
{equal} return equal;
|
|
||||||
{goesTo} return goesTo;
|
|
||||||
{greater} return greater;
|
|
||||||
{greaterEqual} return greaterEqual;
|
|
||||||
{hash} return hash;
|
|
||||||
{increment} return increment;
|
|
||||||
{lBrace} return lBrace;
|
|
||||||
{lBracket} return lBracket;
|
|
||||||
{less} return less;
|
|
||||||
{lessEqual} return lessEqual;
|
|
||||||
{lessEqualGreater} return lessEqualGreater;
|
|
||||||
{lessOrGreater} return lessOrGreater;
|
|
||||||
{logicAnd} return logicAnd;
|
|
||||||
{logicOr} return logicOr;
|
|
||||||
{lParen} return lParen;
|
|
||||||
{minus} return minus;
|
|
||||||
{minusEqual} return minusEqual;
|
|
||||||
{mod} return mod;
|
|
||||||
{modEqual} return modEqual;
|
|
||||||
{mulEqual} return mulEqual;
|
|
||||||
{not} return not;
|
|
||||||
{notEqual} return notEqual;
|
|
||||||
{notGreater} return notGreater;
|
|
||||||
{notGreaterEqual} return notGreaterEqual;
|
|
||||||
{notLess} return notLess;
|
|
||||||
{notLessEqual} return notLessEqual;
|
|
||||||
{notLessEqualGreater} return notLessEqualGreater;
|
|
||||||
{plus} return plus;
|
|
||||||
{plusEqual} return plusEqual;
|
|
||||||
{pow} return pow;
|
|
||||||
{powEqual} return powEqual;
|
|
||||||
{rBrace} return rBrace;
|
|
||||||
{rBracket} return rBracket;
|
|
||||||
{rParen} return rParen;
|
|
||||||
{semicolon} return semicolon;
|
|
||||||
{shiftLeft} return shiftLeft;
|
|
||||||
{shiftLeftEqual} return shiftLeftEqual;
|
|
||||||
{shiftRight} return shiftRight;
|
|
||||||
{shiftRightEqual} return shiftRightEqual;
|
|
||||||
{slice} return slice;
|
|
||||||
{star} return star;
|
|
||||||
{ternary} return ternary;
|
|
||||||
{tilde} return tilde;
|
|
||||||
{unordered} return unordered;
|
|
||||||
{unsignedShiftRight} return unsignedShiftRight;
|
|
||||||
{unsignedShiftRightEqual} return unsignedShiftRightEqual;
|
|
||||||
{vararg} return vararg;
|
|
||||||
{xor} return xor;
|
|
||||||
{xorEqual} return xorEqual;
|
|
||||||
%%
|
|
||||||
|
|
||||||
int main()
|
|
||||||
{
|
|
||||||
yyparse();
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
|
|
||||||
int yyerror(char* err)
|
|
||||||
{
|
|
||||||
fprintf(stderr, "%s\n", err);
|
|
||||||
}
|
|
||||||
Loading…
Reference in New Issue