From 24d94721a5f6bf0efba605a66c46f4fb04353d1d Mon Sep 17 00:00:00 2001 From: Hackerpilot Date: Mon, 22 Apr 2013 01:01:46 -0700 Subject: [PATCH] Grammar work happens in the DGrammar project now. --- D.g4 | 1078 --------------------------------- d.grm | 563 ------------------ d.y | 1739 ------------------------------------------------------ dlex.txt | 289 --------- 4 files changed, 3669 deletions(-) delete mode 100644 D.g4 delete mode 100644 d.grm delete mode 100644 d.y delete mode 100644 dlex.txt diff --git a/D.g4 b/D.g4 deleted file mode 100644 index 65a6e87..0000000 --- a/D.g4 +++ /dev/null @@ -1,1078 +0,0 @@ -grammar D; - -Whitespace : [\u0020\u0009\u000b\u000c\u000a\u000d]+ -> skip; -fragment EndOfLine : '\u000d' | '\u000a' | '\u000d' '\u000a' | '\u2028' | '\u2029'; - -fragment Character: [a-zA-Z0-9~!@#$%\^\&\(\)\{\}\[\]\-\?\=\+\_\/\;\:]; -fragment WysiwygCharacter: Character | Whitespace; -fragment HexDigit: [a-fA-F0-9]; -fragment OctalDigit: [0-7]; -fragment BinDigit: [01]; -fragment DecimalDigit: [0-9]; - -fragment BlockComment: '/*' (Character | Whitespace)* '*/'; -fragment LineComment: '//' (~[\r\n])* EndOfLine; -fragment NestingBlockComment: '/+' (NestingBlockComment | Character*) '+/'; -Comment : (BlockComment | LineComment | NestingBlockComment) -> skip; - -Identifier : ([a-zA-Z_])([a-zA-Z0-9_])*; - -fragment WysiwygString : 'r"' '"' StringPostfix?; -fragment AlternativeWysiwygString : '`' WysiwygCharacter* '`' StringPostfix?; -fragment EscapeSequence : '\\\'' - | '\\"' - | '\\\\' - | '\\0' - | '\\a' - | '\\b' - | '\\f' - | '\\n' - | '\\r' - | '\\t' - | '\\v' - | '\\x' HexDigit HexDigit - | '\\' OctalDigit OctalDigit - | '\\' OctalDigit OctalDigit OctalDigit - | '\\u' HexDigit HexDigit HexDigit HexDigit - | '\\U' HexDigit HexDigit HexDigit HexDigit HexDigit HexDigit HexDigit HexDigit - | '\\&' Character+ ';'; -fragment HexStringChar : [0-9a-fA-F] | Whitespace | EndOfLine; -fragment StringPostfix : [dwc]; -fragment DoubleQuotedCharacter : Character | EscapeSequence | EndOfLine; -fragment DoubleQuotedString : '"' DoubleQuotedCharacter* '"' StringPostfix?; -fragment HexString: 'x"' HexStringChar* '"' StringPostfix?; -// fragment DelimitedString: 'q"' Delimiter WysiwygCharacter+ MatchingDelimiter '"'; -// fragment TokenString: 'q{' Token* '}'; -StringLiteral : WysiwygString | AlternativeWysiwygString | DoubleQuotedString | HexString /*| DelimitedString | TokenString*/; - -CharacterLiteral: '\'' (Character | EscapeSequence) '\''; - -IntegerLiteral: Integer IntegerSuffix?; -fragment Integer: BinaryInteger | DecimalInteger | HexadecimalInteger; -fragment IntegerSuffix: ('L' | 'u' | 'U' | 'Lu' | 'LU' | 'uL' | 'UL'); -fragment DecimalInteger: DecimalDigit (DecimalDigit | '_')*; -fragment BinaryInteger: ('0b' | '0B') BinDigit (BinDigit | '_')*; -fragment HexadecimalInteger: ('0x' | '0X') HexDigit (HexDigit | '_')*; - -FloatLiteral: (Float FloatSuffix?) | (Integer (FloatSuffix | RealSuffix)? ImaginarySuffix); -fragment Float: DecimalFloat | HexFloat; -fragment DecimalFloat: (DecimalInteger '.' DecimalDigit*); -fragment DecimalExponent: ('e' | 'E' | 'e+' | 'E+' | 'e-' | 'E-') DecimalInteger; -fragment FloatSuffix: 'F' | 'f'; -fragment RealSuffix: 'L'; -fragment ImaginarySuffix: 'i'; -fragment HexFloat: ('0x' | '0X') ((HexDigit (HexDigit | '_')* '.' HexDigit (HexDigit | '_')*) | ('.' HexDigit (HexDigit | '_')*) | (HexDigit (HexDigit | '_')*)) HexExponent; -fragment HexExponent: ('p' | 'P' | 'p+' | 'P+' | 'p-' | 'P-') DecimalDigit (DecimalDigit | '_')*; - -SpecialTokenSequence: ('#line' IntegerLiteral ('"' Character+ '"')? EndOfLine) -> skip; - -module: moduleDeclaration? declarations - ; - -moduleDeclaration: 'module' identifierChain ';' - ; - -importDeclaration: 'static'? 'import' importList ';' - ; - -importList: singleImport (',' importList)? - | importBindings - ; - -singleImport: identifierChain - | Identifier '=' identifierChain - ; - -importBindings: singleImport ':' importbindlist - ; - -importbindlist: importBind (',' importbindlist)? - ; - -importBind: Identifier ('=' Identifier)? - ; - -declarationsAndStatements: (declaration | statement) declarationsAndStatements? - ; - -declarations: declaration declarations? - ; - -declaration: attributeddeclaration - | importDeclaration - | functionDeclaration - | functionTemplateDeclaration - | variableDeclaration - | aliasThisDeclaration - | structDeclaration - | structTemplateDeclaration - | classDeclaration - | classTemplateDeclaration - | interfaceDeclaration - | interfaceTemplateDeclaration - | unionDeclaration - | unionTemplateDeclaration - | aliasDeclaration - | mixinDeclaration - | unittest - | templateDeclaration - | staticConstructor - | staticDestructor - | sharedStaticDestructor - | sharedStaticConstructor - ; - -templateParameters: '(' templateParameterList? ')' - ; - -constraint: 'if' '(' expression ')' - ; - -aliasThisDeclaration: 'alias' Identifier 'this' ';' - ; - -structDeclaration: 'struct' Identifier structBody - | 'struct' Identifier ';' - ; - -structTemplateDeclaration: 'struct' Identifier templateParameters structBody - ; - -structBody: '{' declarations '}' - ; - -classDeclaration: 'class' Identifier (':' identifierList )? classBody - ; - -classTemplateDeclaration: 'class' Identifier templateParameters classBody - ; - -classBody: '{' classbodydeclarations '}' - ; - -classbodydeclarations: classBodyDeclaration classbodydeclarations? - ; - -classBodyDeclaration: declaration - | invariant - ; - -statement: ';' - | nonemptystatement - ; - -interfaceDeclaration: 'interface' Identifier (':' identifierList)? structBody - ; - -interfaceTemplateDeclaration: 'interface' Identifier templateParameters constraint? (':' identifierList)? structBody - ; - -unionDeclaration: 'union' Identifier (structBody | ';') - ; - -unionTemplateDeclaration: 'union' Identifier parameters constraint? structBody - ; - -nonemptystatement: nonEmptyStatementNoCaseNoDefault - | caseStatement - | caseRangeStatement - | defaultStatement - ; - -nonEmptyStatementNoCaseNoDefault: labeledStatement - | assignstatement - | ifStatement - | whileStatement - | doStatement - | forStatement - | foreachStatement - | switchStatement - | finalSwitchStatement - | continueStatement - | breakStatement - | returnStatement - | gotoStatement - | withStatement - | synchronizedStatement - | tryStatement - | throwStatement - | scopeGuardStatement - | asmStatement - | pragmaStatement - | foreachRangeStatement - | conditionalStatement - | staticAssert - | templateMixinStatement - | versionSpecification - | debugSpecification - | functionCallStatement - | deleteStatement - ; - -labeledStatement: Identifier ':' statement - ; - -returnStatement: 'return' expression? ';' - ; - -switchStatement: 'switch' '(' expression ')' blockstatement - ; - -finalSwitchStatement: 'final' switchStatement - ; - -caseStatement: 'case' argumentList ':' statementListNoCaseNoDefault - ; - -caseRangeStatement: 'case' assignExpression ':' '...' 'case' assignExpression ':' statementListNoCaseNoDefault - ; - -defaultStatement: 'default' ':' statementListNoCaseNoDefault - ; - -statementListNoCaseNoDefault: statementNoCaseNoDefault statementListNoCaseNoDefault? - ; - -statementNoCaseNoDefault: ';' - | nonEmptyStatementNoCaseNoDefault - ; - -continueStatement: 'continue' Identifier? ';' - ; - -breakStatement: 'break' Identifier? ';' - ; - -gotoStatement: 'goto' Identifier ';' - ; - -withStatement: 'with' '(' (expression | symbol | templateInstance) ')' nonEmptyStatementNoCaseNoDefault - ; - -synchronizedStatement: 'synchronized' nonEmptyStatementNoCaseNoDefault - | 'synchronized' '(' expression ')' nonEmptyStatementNoCaseNoDefault - ; - -tryStatement: 'try' nonEmptyStatementNoCaseNoDefault (catches | catches finally_ | finally_) - ; - -catches: lastcatch - | catch_ catches? - ; - -lastcatch: 'catch' nonEmptyStatementNoCaseNoDefault - ; - -catch_: 'catch' '(' type Identifier ')' nonEmptyStatementNoCaseNoDefault - ; - -finally_: 'finally' nonEmptyStatementNoCaseNoDefault - ; - -throwStatement: 'throw' expression ';' - ; - -scopeGuardStatement: 'scope' '(' Identifier ')' nonEmptyStatementNoCaseNoDefault - ; - -asmStatement: 'asm' '{' asminstructions '}' - ; - -asminstructions: asminstruction asminstructions? - ; - -asminstruction: Identifier - | 'align' IntegerLiteral - | 'align' Identifier - | Identifier ':' asminstruction - | Identifier operands - | opcode operands - ; - -operands: operand operands? - ; - -register: Identifier - | Identifier '(' IntegerLiteral ')' - ; - -opcode: Identifier - ; - -operand: asmexp - ; - -asmexp: asmlogorexp - | asmlogorexp '?' asmexp ':' asmexp - ; - -asmlogorexp: asmlogandexp - | asmlogandexp '||' asmlogandexp - ; - -asmlogandexp: asmorexp - | asmorexp '&&' asmorexp - ; - -asmorexp: asmxorexp - | asmxorexp '|' asmxorexp - ; - -asmxorexp: asmandexp - | asmandexp '^' asmandexp - ; - -asmandexp: asmequalexp - | asmequalexp '&' asmequalexp - ; - -asmequalexp: asmrelexp - | asmrelexp '==' asmrelexp - | asmrelexp '!=' asmrelexp - ; - -asmrelexp: asmshiftexp - | asmshiftexp '<' asmshiftexp - | asmshiftexp '<=' asmshiftexp - | asmshiftexp '>' asmshiftexp - | asmshiftexp '>=' asmshiftexp - ; - -asmshiftexp: asmaddexp - | asmaddexp '<<' asmaddexp - | asmaddexp '>>' asmaddexp - | asmaddexp '>>>' asmaddexp - ; - -asmaddexp: asmmulexp - | asmmulexp '+' asmmulexp - | asmmulexp '-' asmmulexp - ; - -asmmulexp: asmbrexp - | asmbrexp '*' asmbrexp - | asmbrexp '/' asmbrexp - | asmbrexp '%' asmbrexp - ; - -asmbrexp: asmunaexp - | asmbrexp '[' asmexp ']' - ; - -asmunaexp: asmtypeprefix asmexp - | Identifier asmexp - | '+' asmunaexp - | '-' asmunaexp - | '!' asmunaexp - | '~' asmunaexp - | asmprimaryexp - ; - -asmprimaryexp: IntegerLiteral - | FloatLiteral - | '$' - | register - | identifierChain - ; - -asmtypeprefix: Identifier Identifier - | 'byte' Identifier - | 'short' Identifier - | 'int' Identifier - | 'float' Identifier - | 'double' Identifier - | 'real' Identifier - ; - -pragmaStatement: pragma ';' - ; - -pragma: 'pragma' '(' Identifier (',' argumentList)? ')' - ; - -foreachRangeStatement: 'foreach' '(' foreachType ';' expression '..' expression ')' nonEmptyStatementNoCaseNoDefault - ; - -conditionalStatement: compileCondition nonEmptyStatementNoCaseNoDefault - | compileCondition nonEmptyStatementNoCaseNoDefault 'else' nonEmptyStatementNoCaseNoDefault - ; - -compileCondition: versionCondition - | debugCondition - | staticIfCondition - ; - -versionCondition: 'version' '(' IntegerLiteral ')' - | 'version' '(' Identifier ')' - | 'version' '(' 'unittest' ')' - | 'version' '(' 'assert' ')' - ; - -versionSpecification: 'version' '=' Identifier ';' - | 'version' '=' IntegerLiteral ';' - ; - -castExpression: 'cast' '(' type ')' unaryExpression - | 'cast' '(' castQualifier ')' unaryExpression - | 'cast' '(' ')' unaryExpression - ; - -castQualifier: 'const' - | 'const' 'shared' - | 'shared' 'const' - | 'inout' - | 'inout' 'shared' - | 'shared' 'inout' - | 'immutable' - | 'shared' - ; - -debugCondition: 'debug' - | 'debug' '(' IntegerLiteral ')' - | 'debug' '(' Identifier ')' - ; - -debugSpecification: 'debug' '=' Identifier ';' - | 'debug' '=' IntegerLiteral ';' - ; - -staticIfCondition: 'static' 'if' '(' assignExpression ')' - ; - -staticAssert: 'static' 'assert' '(' assignExpression (',' assignExpression)? ')' ';' - ; - -templateMixinStatement: 'mixin' mixinTemplateName (templateArguments | Identifier | templateArguments Identifier) ';' - ; - -mixinTemplateName: '.' qualifiedIdentifierChain - | qualifiedIdentifierChain - | typeof '.' qualifiedIdentifierChain - ; - -qualifiedIdentifierChain: Identifier - | Identifier '.' qualifiedIdentifierChain - | templateInstance '.' qualifiedIdentifierChain - ; - -functionCallStatement: functionCallExpression ';' - ; - -deleteStatement: deleteExpression ';' - ; - -assignstatement: unaryExpression assignoperator assignExpression ';' - | preIncDecExpression ';' - | postIncDecExpression ';' - ; - -ifStatement: 'if' '(' expression ')' statement ('else' statement)? - ; - -forStatement: 'for' '(' initialize expression ';' expression ')' statement - | 'for' '(' initialize ';' expression ')' statement - ; - -initialize: ';' - | nonemptystatement - ; - -foreachStatement: ('foreach' | 'foreach_reverse') '(' foreachTypeList ';' expression ')' nonEmptyStatementNoCaseNoDefault - ; - -foreachTypeList: foreachType - | foreachType ',' foreachTypeList - ; - -foreachType: 'ref'? type? Identifier - ; - -expression: assignExpression - | assignExpression ',' expression - ; - -identifierOrTemplateInstance: Identifier - | templateInstance - ; - -templateInstance: Identifier '!' (Identifier | '(' identifierList? ')') - ; - -unaryExpression: '&' unaryExpression - | '!' unaryExpression - | '*' unaryExpression - | '+' unaryExpression - | '-' unaryExpression - | '~' unaryExpression - | preIncDecExpression - | newExpression - | deleteExpression - | castExpression - | primaryExpression - | postIncDecExpression - | unaryExpression '[' ']' - | unaryExpression '[' argumentList ']' - | unaryExpression '[' assignExpression '..' assignExpression ']' - | unaryExpression '.' identifierOrTemplateInstance - ; - -powExpression: unaryExpression - | unaryExpression '^^' powExpression - ; - -postIncDecExpression: unaryExpression ('++' | '--') - ; - -preIncDecExpression: ('++' | '--') unaryExpression - ; - -primaryExpression: identifierOrTemplateInstance - | '.' identifierOrTemplateInstance - | type '.' Identifier - | typeofExpression - | typeidExpression - | 'this' - | 'super' - | 'null' - | 'true' - | 'false' - | '__file__' - | '__module__' - | '__line__' - | '__FUNCTION__' - | '__PRETTY_FUNCTION__' - | IntegerLiteral - | FloatLiteral - | StringLiteral - | CharacterLiteral - | arrayLiteral - | assocArrayLiteral - | '(' expression ')' - | isExpression - | lambdaExpression - | traitsExpression - ; - -typeofExpression: 'typeof' '(' (expression | 'return') ')' - ; - -typeidExpression: 'typeid' '(' type ')' - | 'typeid' '(' expression ')' - ; - -isExpression: 'is' '(' type ')' - | 'is' '(' type (':' | '==') typeSpecialization (',' templateParameterList)? ')' - | 'is' '(' type Identifier ')' - | 'is' '(' type Identifier (':' | '==') typeSpecialization (',' templateParameterList)? ')' - ; - -templateParameterList: templateParameter - | templateParameter ',' - | templateParameter ',' templateParameterList - ; - -templateParameter: templateTypeParameter - | templateValueParameter - | templateAliasParameter - | templateTupleParameter - | templateThisParameter - ; - -templateTypeParameter: Identifier templateTypeParameterSpecialization? templateTypeParameterDefault? - ; - -templateTypeParameterSpecialization: ':' type - ; - -templateTypeParameterDefault: '=' type - ; - -templateValueParameter: type Identifier templateValueParameterSpecialization? templateValueParameterDefault? - ; - -templateValueParameterSpecialization: ':' expression - ; - -templateValueParameterDefault: '=' ('__file__' | '__module__' | '__line__' | '__FUNCTION__' | '__PRETTY_FUNCTION__' | assignExpression) - ; - -templateAliasParameter: 'alias' type? Identifier templatealiasparameterspecialization? templatealiasparameterdefault? - ; - -templatealiasparameterspecialization: ':' (type | expression) - ; - -templatealiasparameterdefault: '=' (type | expression) - ; - -templateTupleParameter: Identifier '...' - ; - -templateThisParameter: 'this' templateTypeParameter - ; - -typeSpecialization: type - | 'struct' - | 'union' - | 'class' - | 'interface' - | 'enum' - | 'function' - | 'delegate' - | 'super' - | 'const' - | 'immutable' - | 'inout' - | 'shared' - | 'return' - | '__parameters' - ; - -templateArguments: '!' ('(' templateArgumentList? ')' | templateSingleArgument) - ; - -templateArgumentList: templateArgument - | templateArgument ',' - | templateArgument ',' templateArgumentList - ; - -templateArgument: type - | assignExpression - | symbol - ; - -symbol: '.'? symbolTail - ; - -symbolTail: identifierOrTemplateInstance ('.' symbolTail)? - ; - -templateSingleArgument: Identifier - | builtinType - | CharacterLiteral - | StringLiteral - | IntegerLiteral - | FloatLiteral - | 'true' - | 'false' - | 'null' - | 'this' - | '__FILE__' - | '__MODULE__' - | '__LINE__' - | '__FUNCTION__' - | '__PRETTY_FUNCTION__' - ; - -functionCallExpression: unaryExpression arguments - ; - -arguments: '(' argumentList? ')' - ; - -argumentList: assignExpression (',' argumentList?)? - ; - -newExpression: 'new' type ('[' assignExpression ']' | arguments | ) - | newanonclassexpression - ; - -newanonclassexpression: 'new' arguments? 'class' arguments? Identifier identifierList? classBody - ; - -deleteExpression: 'delete' unaryExpression - ; - -ternaryexpression: ororexpression '?' expression ':' conditionalexpression - ; - -assignExpression: conditionalexpression - | conditionalexpression assignoperator assignExpression - ; - -conditionalexpression: ororexpression - | ternaryexpression - ; - -ororexpression: andandexpression - | ororexpression '||' andandexpression - ; - -andandexpression: orexpression - | cmpexpression - | andandexpression '&&' (orexpression | cmpexpression) - ; - -orexpression: xorexpression - | orexpression '|' xorexpression - ; - -xorexpression: andexpression - | xorexpression '^' andexpression - ; - -andexpression: shiftexpression - | andexpression '&' shiftexpression - ; - -cmpexpression: shiftexpression - | equalexpression - | identityexpression - | relexpression - | inexpression - ; - -equalexpression: shiftexpression ('==' | '!=') shiftexpression; - -identityexpression: shiftexpression ('is' | '!is') shiftexpression; - -relexpression: shiftexpression reloperator shiftexpression; - -inexpression: shiftexpression ('in' | '!in') shiftexpression; - -shiftexpression: addexpression - | shiftexpression ('<<' | '>>' | '>>>') addexpression; - -addexpression: mulexpression - | addexpression ('+' | '-') mulexpression - | catexpression; - -catexpression: mulexpression '~' mulexpression; - -mulexpression: unaryExpression - | mulexpression ('*' | '/' | '%') unaryExpression; - -assignoperator: '=' - | '>>>=' - | '>>=' - | '<<=' - | '+=' - | '-=' - | '*=' - | '%=' - | '&=' - | '/=' - | '|=' - | '^^=' - | '^=' - | '~=' - ; - -reloperator: '<' - | '<=' - | '>' - | '>=' - | '!<>=' - | '!<>' - | '<>' - | '<>=' - | '!>' - | '!>=' - | '!<' - | '!<=' - ; - -whileStatement: 'while' '(' expression ')' blockstatement - ; - -doStatement: 'do' blockstatement 'while' '(' expression ')' ';' - ; - -blockstatement: '{' declarationsAndStatements? '}' - ; - -functionDeclaration: type Identifier parameters (functionBody | ';') - ; - -functionTemplateDeclaration: type Identifier templateParameters parameters constraint? functionBody - ; - -type: type2 - | typectors type2 - ; - -type2: type3 typesuffix? - | type2 typesuffix - ; - -type3: builtinType - | '.' identifierChain - | identifierChain - | typeof - | typeof '.' identifierChain - | 'const' '(' type ')' - | 'immutable' '(' type ')' - | 'shared' '(' type ')' - | 'inout' '(' type ')' - | 'delegate' parameters memberfunctionattributes? - | 'function' parameters memberfunctionattributes? - ; - -typesuffix: '*' - | '[' ']' - | '[' type ']' - | '[' assignExpression ']' - ; - -builtinType: 'bool' - | 'byte' - | 'ubyte' - | 'short' - | 'ushort' - | 'int' - | 'uint' - | 'long' - | 'ulong' - | 'char' - | 'wchar' - | 'dchar' - | 'float' - | 'double' - | 'real' - | 'ifloat' - | 'idouble' - | 'ireal' - | 'cfloat' - | 'cdouble' - | 'creal' - | 'void' - ; - -typectors: typector typectors? - ; - -typector: 'const' - | 'immutable' - | 'inout' - | 'shared' - ; - -typeof: 'typeof' '(' (expression | 'return') ')' - ; - -parameters: '(' parameterlist? ')' - ; - -parameterlist: parameter (',' parameterlist)? - | '...' - ; - -parameter: parameterAttribute? type ('...' | (Identifier ('=' defaultInitializerExpression)?))? - ; - -defaultInitializerExpression: assignExpression - | '__file__' - | '__module__' - | '__line__' - | '__FUNCTION__' - | '__PRETTY_FUNCTION__' - ; - -parameterAttribute: 'auto' - | 'final' - | 'in' - | 'lazy' - | 'out' - | 'ref' - | 'scope' - | typector - ; - -functionattribute: 'nothrow' - | 'pure' - | atAttribute - ; - -memberfunctionattribute: 'const' - | 'immutable' - | 'inout' - | 'shared' - | functionattribute - ; - -memberfunctionattributes: memberfunctionattribute - | memberfunctionattribute memberfunctionattributes - ; - -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 - ; - -linkageattribute: 'extern' '(' Identifier ')' - | 'extern' '(' Identifier '++' ')' - ; - -aliasDeclaration: 'alias' aliasinitializerlist - ; - -aliasinitializerlist: aliasinitializer - | aliasinitializer ',' aliasinitializerlist - ; - -aliasinitializer: Identifier '=' type - ; - -variableDeclaration: type declarators ';' - ; - -declarators: declarator - | declarator ',' declarators - ; - -declarator: Identifier - | Identifier '=' initializer - ; - -mixinDeclaration: 'mixin' '(' assignExpression ')' ';' - ; - - -identifierList: Identifier - | Identifier ',' identifierList - ; - -identifierChain: Identifier - | Identifier '.' identifierChain - ; - -attributeddeclaration: attribute ':' - | attribute declaration - | attribute '{' declarations '}' - ; - -attribute: linkageattribute - | alignattribute - | pragma - | protectionAttribute - | 'deprecated' - | 'extern' - | 'final' - | 'synchronized' - | 'override' - | 'abstract' - | 'const' - | 'auto' - | 'scope' - | '__gshared' - | 'shared' - | 'immutable' - | 'inout' - | atAttribute - ; - -atAttribute: '@' Identifier - ; - -alignattribute: 'align' - | 'align' '(' IntegerLiteral ')' - ; - -protectionAttribute: 'private' - | 'package' - | 'protected' - | 'public' - | 'export' - ; - -traitsExpression: 'traits' '(' Identifier ',' traitsArguments ')' - ; - -traitsArguments: traitsArgument - | traitsArgument ',' traitsArguments - ; - -traitsArgument: assignExpression - | type - ; - -unittest: 'unittest' blockstatement - ; - -templateDeclaration: 'template' Identifier templateParameters '{' declarations '}' - | 'template' Identifier templateParameters constraint '{' declarations '}' - ; - -staticConstructor: 'static' 'this' '(' ')' functionBody - ; - -staticDestructor: 'static' '~' 'this' '(' ')' functionBody - ; - -sharedStaticDestructor: 'shared' 'static' 'this' '(' ')' functionBody - ; - -sharedStaticConstructor: 'shared' 'static' '~' 'this' '(' ')' functionBody - ; - -invariant: 'invariant' '(' ')' blockstatement - ; - -arrayinitializer: '[' ']' - | '[' arraymemberinitializations ']' - ; - -arraymemberinitializations: arraymemberinitialization - | arraymemberinitialization ',' - | arraymemberinitialization ',' arraymemberinitializations - ; - -arraymemberinitialization: nonvoidinitializer - | assignExpression ':' nonvoidinitializer - ; - -initializer: voidinitializer - | nonvoidinitializer - ; - -voidinitializer: 'void' - ; - -nonvoidinitializer: assignExpression - | arrayinitializer - | structinitializer - ; - -structinitializer: '{' '}' - | '{' structmemberinitializers '}' - ; - -structmemberinitializers: structmemberinitializer - | structmemberinitializer ',' - | structmemberinitializer ',' structmemberinitializers - ; - -structmemberinitializer: nonvoidinitializer - | Identifier ':' nonvoidinitializer - ; - -lambdaExpression: Identifier '=>' assignExpression - | parameters '=>' assignExpression - | parameters functionattribute '=>' assignExpression - ; - -arrayLiteral: '[' argumentList ']' - ; - -assocArrayLiteral: '[' keyValuePairs ']' - ; - -keyValuePairs: keyValuePair - | keyValuePair ',' keyValuePairs - ; - -keyValuePair: assignExpression ':' assignExpression - ; diff --git a/d.grm b/d.grm deleted file mode 100644 index 5232f21..0000000 --- a/d.grm +++ /dev/null @@ -1,563 +0,0 @@ -"Name" = 'D' -"Case Sensitive" = True -"Start Symbol" = - -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' - - ::= 'import' ';' - | 'static' 'import' ';' - - ::= - | - | ',' - - ::= - | identifier '=' - - ::= ':' - - ::= - | ',' - - ::= identifier - | identifier '=' identifier - - ::= - | - | - | - - ::= - | - - ::= - | - | - | - | - | - | - | - | - | ';' - - ::= 'alias' identifier 'this' ';' - - ::= 'struct' identifier - - ::= '{' '}' - - ::= 'class' identifier - | 'class' identifier ':' - - ::= '{' '}' - - ::= - | ',' - - ::= - | - - ::= ';' - | - | - - ::= - | - | - | - - ::= - | - | - | - | - | - | - | - | - | - | - | - | - - ::= 'return' ';' - | 'return' ';' - - ::= 'switch' '(' ')' - - ::= 'final' - - ::= 'case' ':' - - ::= 'case' ':' '...' 'case' ':' - - ::= 'default' ':' - - ::= - | - - ::= ';' - | - | - - ::= 'continue' identifier ';' - | 'continue' ';' - - ::= 'break' identifier ';' - | 'break' ';' - - ::= 'goto' identifier ';' - - ::= ';' - - ::= ';' - | ';' - | ';' - - ::= 'if' '(' ')' - | 'if' '(' ')' 'else' - - ::= - | ',' - - ::= identifier - | - - ::= identifier '!' '(' ')' - | identifier '!' '(' ')' - | identifier '!' identifier - - ::= - | - - ::= - | - | - | '[' ']' - | '[' '..' ']' - | '.' - - ::= '++' - | '--' - - ::= - | '&' - | '!' - | '*' - | '+' - | '-' - | '~' - - ::= '++' - | '--' - - ::= - | '.' identifier - | intLiteral - | 'true' - | 'false' - | - | '(' ')' - | - - ::= 'typeof' '(' ')' - | 'typeof' '(' 'return' ')' - - ::= 'is' '(' ')' - | 'is' '(' ':' ')' - | 'is' '(' '==' ')' - | 'is' '(' ':' ',' ')' - | 'is' '(' '==' ',' ')' - | 'is' '(' identifier ')' - | 'is' '(' identifier ':' ')' - | 'is' '(' identifier '==' ')' - | 'is' '(' identifier ':' ',' ')' - | 'is' '(' identifier '==' ',' ')' - - ::= - | ',' - | ',' - - ::= - | - | - | - | - - ::= identifier - | identifier - | identifier - | identifier - - ::= ':' - - ::= '=' - - ::= - | - | - | - - ::= ':' - - ::= '=' '__FILE__' - | '=' '__MODULE__' - | '=' '__LINE__' - | '=' '__FUNCTION__' - | '=' '__PRETTY_FUNCTION__' - | '=' - -::= 'alias' identifier - - alias ::= : : : = = - - ::= 'this' - - ::= - | 'struct' - | 'union' - | 'class' - | 'interface' - | 'enum' - | 'function' - | 'delegate' - | 'super' - | 'const' - | 'immutable' - | 'inout' - | 'shared' - | 'return' - | '__parameters' - - ::= - - ::= '(' ')' - | '(' ')' - - ::= - | ',' - | ',' - - ::= - | - | - - ::= - - ::= '?' ':' ';' - - ::= - | - | - - ::= '+' - | '-' - | '/' - | '*' - | '^' - | '&' - | '&&' - | '|' - | '||' - | '>>' - | '>>>' - | '<<' - - ::= '=' - | '>>>=' - | '>>=' - | '<<=' - | '+=' - | '-=' - | '*=' - | '%=' - | '&=' - | '/=' - | '|=' - | '^^=' - | '^=' - | '~=' - - ::= '<' - | '>' - | '>=' - | '<=' - | '==' - | '!=' - | '!>' - | '!<' - | '<>' - | '!<>' - | '<>=' - | '!<>=' - | 'is' - | '!is' - - ::= 'while' '(' ')' - - ::= 'do' 'while' '(' ')' ';' - - ::= - - ::= '{' '}' - | '{' '}' - - ::= identifier - | identifier ';' - - ::= identifier - | identifier - | - | - - ::= '*' - | '[' ']' - | '[' ']' - - ::= '(' ')' - | '(' ')' - - ::= - | ',' - - ::= identifier - | identifier '...' - | identifier ',' - - ::= 'auto' - | 'final' - | 'in' - | 'lazy' - | 'out' - | 'ref' - | 'scope' - | - - ::= 'nothrow' - | 'pure' - | - - ::= 'const' - | 'immutable' - | 'inout' - | 'shared' - | - - ::= '@' identifier - - ::= - | '__FILE__' - | '__MODULE__' - | '__LINE__' - | '__FUNCTION__' - | '__PRETTY_FUNCTION__' - - ::= - | - | - | - | - | - - ::= 'in' - - ::= 'out' - | 'out' '(' identifier ')' - - ::= 'body' - - ::= 'bool' - | 'byte' - | 'ubyte' - | 'short' - | 'ushort' - | 'int' - | 'uint' - | 'long' - | 'ulong' - | 'char' - | 'wchar' - | 'dchar' - | 'float' - | 'double' - | 'real' - | 'ifloat' - | 'idouble' - | 'ireal' - | 'cfloat' - | 'cdouble' - | 'creal' - | 'void' - - ::= 'extern' '(' identifier ')' - - ::= 'alias' - - ::= - | ',' - - ::= identifier '=' - - ::= ';' - | identifier '=' ';' - - ::= identifier - | identifier ',' - - ::= - | 'const' '(' ')' - | 'immutable' '(' ')' - | 'shared' '(' ')' - | 'inout' '(' ')' - - ::= '*' - | '[' ']' - | '[' ']' - | 'delegate' - | 'function' - - ::= 'mixin' '(' ')' ';' - - ::= 'const' - | 'const' 'shared' - | 'shared' 'const' - | 'inout' - | 'inout' 'shared' - | 'shared' 'inout' - | 'immutable' - | 'shared' - - ::= identifier - | identifier ',' - - ::= identifier - | identifier '.' - - ::= - | - - ::= 'const' - | 'immutable' - | 'inout' - | 'shared' - - ::= 'align' - | 'align' '(' intLiteral ')' - - ::= 'private' - | 'package' - | 'protected' - | 'public' - | 'export' - - ::= 'version' '(' intLiteral ')' - | 'version' '(' identifier ')' - | 'version' '(' unittest ')' - | 'version' '(' assert ')' - - ::= 'version' '=' identifier ';' - | 'version' '=' intLiteral ';' - - ::= 'debug' - | 'debug' '(' intLiteral ')' - | 'debug' '(' identifier ')' - - ::= 'debug' '=' identifier ';' - | 'debug' '=' intLiteral ';' - - ::= 'static' 'if' '(' ')' - - ::= 'static' 'assert' '(' ')' ';' - | 'static' 'assert' '(' ',' ')' ';' - - ::= 'traits' '(' identifier ',' ')' - - ::= - | ',' - - ::= - | - - ::= 'unittest' - - ::= '[' ']' - | '[' ']' - - ::= - | ',' - | ',' - - ::= - | - - ::= 'void' - - ::= - | - | - - ::= identifier '=>' - | '=>' - | '=>' - - ::= '[' ']' diff --git a/d.y b/d.y deleted file mode 100644 index 756aeac..0000000 --- a/d.y +++ /dev/null @@ -1,1739 +0,0 @@ - -%token assign "=" -%token at "@" -%token bitAnd "&" -%token bitAndEqual "&=" -%token bitOr "|" -%token bitOrEqual "|=" -%token catEqual "~=" -%token colon ":" -%token comma "," -%token decrement "--" -%token div_ "/" -%token divEqual "/=" -%token dollar "$" -%token dot "." -%token equal "==" -%token goesTo "=>" -%token greater ">" -%token greaterEqual ">=" -%token hash "#" -%token increment "++" -%token lBrace "{" -%token lBracket "[" -%token less "<" -%token lessEqual "<=" -%token lessEqualGreater "<>=" -%token lessOrGreater "<>" -%token logicAnd "&&" -%token logicOr "||" -%token lParen "(" -%token minus "-" -%token minusEqual "-=" -%token mod "%" -%token modEqual "%=" -%token mulEqual "*=" -%token not "!" -%token notEqual "!=" -%token notGreater "!>" -%token notGreaterEqual "!>=" -%token notLess "!<" -%token notLessEqual "!<=" -%token notLessEqualGreater "!<>" -%token plus "+" -%token plusEqual "+=" -%token pow "^^" -%token powEqual "^^=" -%token rBrace "}" -%token rBracket "]" -%token rParen ")" -%token semicolon ";" -%token shiftLeft "<<" -%token shiftLeftEqual "<<=" -%token shiftRight ">>" -%token shiftRightEqual ">>=" -%token slice ".." -%token star "*" -%token ternary "?" -%token tilde "~" -%token unordered "!<>=" -%token unsignedShiftRight ">>>" -%token unsignedShiftRightEqual ">>>=" -%token vararg "..." -%token xor "^" -%token xorEqual "^=" -%token bool_ "bool" -%token byte_ "byte" -%token cdouble_ "cdouble" -%token cent_ "cent" -%token cfloat_ "cfloat" -%token char_ "char" -%token creal_ "creal" -%token dchar_ "dchar" -%token double_ "double" -%token float_ "float" -%token function_ "function" -%token idouble_ "idouble" -%token ifloat_ "ifloat" -%token int_ "int" -%token ireal_ "ireal" -%token long_ "long" -%token real_ "real" -%token short_ "short" -%token ubyte_ "ubyte" -%token ucent_ "ucent" -%token uint_ "uint" -%token ulong_ "ulong" -%token ushort_ "ushort" -%token void_ "void" -%token wchar_ "wchar" -%token align_ "align" -%token deprecated_ "deprecated" -%token extern_ "extern" -%token pragma_ "pragma" -%token export_ "export" -%token package_ "package" -%token private_ "private" -%token protected_ "protected" -%token public_ "public" -%token abstract_ "abstract" -%token auto_ "auto" -%token const_ "const" -%token final_ "final" -%token gshared -%token immutable_ "immutable" -%token inout_ "inout" -%token scope_ "scope" -%token shared_ "shared" -%token static_ "static" -%token synchronized_ "synchronized" -%token alias_ "alias" -%token asm_ "asm" -%token assert_ "assert" -%token body_ "body" -%token break_ "break" -%token case_ "case" -%token cast_ "cast" -%token catch_ "catch" -%token class_ "class" -%token continue_ "continue" -%token debug_ "debug" -%token default_ "default" -%token delegate_ "delegate" -%token delete_ "delete" -%token do_ "do" -%token else_ "else" -%token enum_ "enum" -%token false_ "false" -%token finally_ "finally" -%token foreach_ "foreach" -%token foreach_reverse_ "foreach_reverse" -%token for_ "for" -%token goto_ "goto" -%token if_ "if" -%token import_ "import" -%token in_ "in" -%token interface_ "interface" -%token invariant_ "invariant" -%token is_ "is" -%token lazy_ "lazy" -%token macro_ "macro" -%token mixin_ "mixin" -%token module_ "module" -%token new_ "new" -%token nothrow_ "nothrow" -%token null_ "null" -%token out_ "out" -%token override_ "override" -%token pure_ "pure" -%token ref_ "ref" -%token return_ "return" -%token struct_ "struct" -%token super_ "super" -%token switch_ "switch" -%token template_ "template" -%token this_ "this" -%token throw_ "throw" -%token true_ "true" -%token try_ "try" -%token typedef_ "typedef" -%token typeid_ "typeid" -%token typeof_ "typeof" -%token union_ "union" -%token unittest_ "unittest" -%token version_ "version" -%token volatile_ "volatile" -%token while_ "while" -%token with_ "with" -%token date "__DATE__" -%token eof "__EOF__" -%token time "__TIME__" -%token timestamp "__TIMESTAMP__" -%token vendor "__VENDOR__" -%token compilerVersion "__VERSION__" -%token file "__FILE__" -%token line "__LINE__" -%token identifier -%token scriptLine -%token traits -%token parameters -%token vector -%token whitespace -%token specialTokenSequence -%token doubleLiteral -%token floatLiteral -%token idoubleLiteral -%token ifloatLiteral -%token intLiteral -%token longLiteral -%token realLiteral -%token irealLiteral -%token uintLiteral -%token ulongLiteral -%token characterLiteral -%token dstringLiteral -%token stringLiteral -%token wstringLiteral - - -%{ -#include -%} - -%% -Module: ModuleDeclaration Declarations - | Declarations - ; - -ModuleDeclaration: "module" ModuleFullyQualifiedName - ; - -ModuleFullyQualifiedName: ModuleName - | Packages "." ModuleName - ; - -ModuleName: identifier - ; - -Packages: PackageName - | Packages "." PackageName - ; - -PackageName: identifier - ; - -ImportDeclaration: "import" ImportList ";" - | "static" "import" ImportList ";" - ; - -ImportList: Import - | ImportBindings - | Import "," ImportList - ; - -Import: ModuleFullyQualifiedName - | identifier "=" ModuleFullyQualifiedName - ; - -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 - | ClassDeclaration - | ";" - ; - -AliasThisDeclaration: "alias" identifier "this" - ; - -ClassDeclaration: "class" Name ClassBody - | "class" Name ":" IdentifierList ClassBody - ; - -ClassBody: "{" Declarations "}" - ; - -Statements: Statement - | Statement Statements - ; - -Statement: IfStatement - | WhileStatement - | DoStatement - | BlockStatement - | ScopeStatement - ; - -IfStatement: "if" "(" Expression ")" ScopeStatement - | "if" "(" Expression ")" ScopeStatement "else" ScopeStatement - ; - -Expression: UnaryExpression - | BinaryExpression - | TernaryExpression - ; - -WhileStatement: "while" "(" Expression ")" ScopeStatement - ; - -DoStatement: "do" ScopeStatement "while" "(" Expression ")" ";" - ; - -ScopeStatement: BlockStatement - ; - -BlockStatement: "{" "}" - ; - -FunctionDeclaration: Type Name ParameterList FunctionBody - | Type Name ParameterList ";" - ; - -Name: identifier - ; - -Type: identifier - | identifier TypeSuffix - | BasicTypeX - | BasicTypeX TypeSuffix - ; - -TypeSuffix: "*" - | "[" "]" - | "[" Type "]" - ; - -ParameterList: "(" ")" - | "(" Parameters ")" - ; - -Parameters: Type identifier - | Type identifier "..." - | Type identifier "," Parameters - ; - -FunctionBody: "{" "}" - | "{" Declarations "}" - ; - -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 - /* | "alias" BasicType Declarator */ - ; - -AliasInitializerList: AliasInitializer - | AliasInitializer "," AliasInitializerList - ; - -AliasInitializer: identifier "=" Type - ; - -VariableDeclaration: Type Names ";" - | Type identifier "=" Expression ";" - ; - -Names: identifier - | identifier "," Names - ; - -BasicType: BasicTypeX - /*| "." IdentifierList*/ - /*| IdentifierList*/ - /*| Typeof*/ - /*| Typeof "." IdentifierList*/ - | "const" "(" Type ")" - | "immutable" "(" Type ")" - | "shared" "(" Type ")" - | "inout" "(" Type ")" - ; - -BasicType2: "*" - | "[" "]" - /*| "[" AssignExpression "]"*/ - /*| "[" AssignExpression ".." AssignExpression "]"*/ - | "[" Type "]" - | "delegate" Parameters - /*| "delegate" Parameters MemberFunctionAttributes*/ - | "function" Parameters - /*| "function" Parameters FunctionAttributes*/ - ; - -/*MixinDeclaration: "mixin" "(" AssignExpression ")" ";" - ;*/ - -CastQual: "const" - | "const" "shared" - | "shared" "const" - | "inout" - | "inout" "shared" - | "shared" "inout" - | "immutable" - | "shared" - ; - -UnaryExpression: "++" Expression - | "--" Expression - | "&" Expression - | "!" Expression - | "*" Expression - | "+" Expression - | "-" Expression - | "(" Expression ")" - ; - -BinaryExpression: Expression BinaryOperator Expression - ; - -TernaryExpression: Expression "?" Expression ":" Expression - ; - -BinaryOperator: CalcOperator - | ComparisonOperator - | AssignOperator - ; - -CalcOperator: "+" - | "-" - | "/" - | "*" - | "^" - | "&" - | "&&" - | "|" - | "||" - | ">>" - | ">>>" - | "<<" - ; - -AssignOperator: "=" - | ">>>=" - | ">>=" - | "<<=" - | "+=" - | "-=" - | "*=" - | "/=" - | "^=" - | "^^=" - | "&=" - | "|=" - | "~=" - ; - -ComparisonOperator: "<" - | ">" - | ">=" - | "<=" - | "==" - | "!=" - | "!<>=" - | "is" - | "!is" - ; - -IdentifierList: identifier - | identifier "," IdentifierList - ; - -IdentifierChain: identifier - | identifier "." IdentifierList - ; - -/* - -Declaration: AliasDeclaration - | AliasThisDeclaration - | Decl - ; - - - -Decl: StorageClasses Decl - | BasicType Declarators ";" - | BasicType Declarator FunctionBody - | AutoDeclaration - ; - -Declarators: DeclaratorInitializer - | DeclaratorInitializer "," DeclaratorIdentifierList - ; - -DeclaratorInitializer: Declarator - | Declarator "=" Initializer - ; - -DeclaratorIdentifierList: DeclaratorIdentifier - | DeclaratorIdentifier "," DeclaratorIdentifierList - ; - -DeclaratorIdentifier: identifier - | identifier "=" Initializer - ; - -Declarator: "(" Declarator ")" - | BasicType2 "(" Declarator ")" DeclaratorSuffixes - | "(" Declarator ")" DeclaratorSuffixes - | BasicType2 "(" Declarator ")" DeclaratorSuffixes - | identifier - | identifier DeclaratorSuffixes - | BasicType2 identifier DeclaratorSuffixes - ; - -DeclaratorSuffixes: DeclaratorSuffix - | DeclaratorSuffix DeclaratorSuffixes - ; - -DeclaratorSuffix: "[" "]" - | "[" AssignExpression "]" - | "[" Type "]" - | Parameters - | TemplateParameters Parameters - | TemplateParameters Parameters MemberFunctionAttributes - | TemplateParameters Parameters MemberFunctionAttributes Constraint - | TemplateParameters Parameters Constraint - | Parameters Constraint - | Parameters MemberFunctionAttributes - | Parameters MemberFunctionAttributes Constraint - ; - -IdentifierList: identifier - | identifier "." IdentifierList - | TemplateInstance - | TemplateInstance "." IdentifierList - ; - -StorageClasses: StorageClass - | StorageClass StorageClasses - ; - -StorageClass: "abstract" - | "auto" - | TypeCtor - | "deprecated" - | "enum" - | "extern" - | "final" - | "nothrow" - | "override" - | "pure" - | "__gshared" - | Property - | "scope" - | "static" - | "synchronized" - ; - -PropertyIdentifier: "property" - | "safe" - | "trusted" - | "system" - | "disable" - ; - -TypeCtors: TypeCtor - | TypeCtor TypeCtors - ; - -TypeCtor: "const" - | "immutable" - | "inout" - | "shared" - ; - -Type: TypeCtors BasicType - | BasicType - | BasicType Declarator2 - | TypeCtors BasicType Declarator2 - ; - -Declarator2: - | BasicType2 - | BasicType2 DeclaratorSuffixes - | "(" Declarator2 ")" - | BasicType2 "(" Declarator2 ")" - | "(" Declarator2 ")" DeclaratorSuffixes - | BasicType2 "(" Declarator2 ")" DeclaratorSuffixes - ; - -Parameters: "(" ParameterList ")" - | "(" ")" - ; - -ParameterList: Parameter - | Parameter "," ParameterList - | "..." - ; - -Parameter: BasicType Declarator - | InOut BasicType Declarator - | BasicType Declarator "..." - | InOut BasicType Declarator "..." - | BasicType Declarator "=" DefaultInitializerExpression - | InOut BasicType Declarator "=" DefaultInitializerExpression - | Type - | InOut Type - | Type "..." - | InOut Type "..." - ; - -InOut: InOutX - | InOut InOutX - ; - -InOutX: "auto" - | TypeCtor - | "final" - | "in" - | "lazy" - | "out" - | "ref" - | "scope" - ; - -FunctionAttributes: FunctionAttribute - | FunctionAttribute FunctionAttributes - ; - -FunctionAttribute: "nothrow" - | "pure" - | Property - ; - -MemberFunctionAttributes: MemberFunctionAttribute - | MemberFunctionAttribute MemberFunctionAttributes - ; - -MemberFunctionAttribute: "const" - | "immutable" - | "inout" - | "shared" - | FunctionAttribute - ; - -DefaultInitializerExpression: AssignExpression - | "__FILE__" - | "__MODULE__" - | "__LINE__" - | "__FUNCTION__" - | "__PRETTY_FUNCTION__" - ; - -Initializer: VoidInitializer - | NonVoidInitializer - ; - -NonVoidInitializer: AssignExpression - | ArrayInitializer - | StructInitializer - ; - -ArrayInitializer: "[" "]" - | "[" ArrayMemberInitializations "]" - ; - -ArrayMemberInitializations: ArrayMemberInitialization - | ArrayMemberInitialization "," - | ArrayMemberInitialization "," ArrayMemberInitializations - ; - -ArrayMemberInitialization: NonVoidInitializer - | AssignExpression ":" NonVoidInitializer - ; - -StructInitializer: "{" "}" - | "{" StructMemberInitializers "}" - ; - -StructMemberInitializers: StructMemberInitializer - | StructMemberInitializer "," - | StructMemberInitializer "," StructMemberInitializers - ; - -StructMemberInitializer: NonVoidInitializer - | identifier ":" NonVoidInitializer - -AutoDeclaration: StorageClasses AutoDeclarationX ";" - ; - -AutoDeclarationX: identifier "=" Initializer - | AutoDeclarationX "," identifier "=" Initializer - ; - -Typeof: "typeof" "(" Expression ")" - | "typeof" "(" "return" ")" - ; - -VoidInitializer: "void" - -AttributeSpecifier: Attribute ":" - | Attribute DeclarationBlock - ; - -Attribute: LinkageAttribute - | AlignAttribute - | Pragma - | "deprecated" - | ProtectionAttribute - | "static" - | "extern" - | "final" - | "synchronized" - | "override" - | "abstract" - | "const" - | "auto" - | "scope" - | "__gshared" - | "shared" - | "immutable" - | "inout" - | "@" "disable" - ; - - -DeclarationBlock: DeclDef - | "{" "}" - | "{" DeclDefs "}" - ; - -LinkageType: "C" - | "C++" - | "D" - | "Windows" - | "Pascal" - | "System" - ; - -AlignAttribute: "align" - | "align" "(" intLiteral ")" - ; - -ProtectionAttribute: "private" - | "package" - | "protected" - | "public" - | "export" - ; - -StorageClass: UserDefinedAttribute - ; - -UserDefinedAttribute: "@" "(" "ArgumentList" ")" - | "@" identifier - ; - -Pragma: "pragma" "(" identifier ")" - | "pragma" "(" identifier "," ArgumentList ")" - ; - -Expression: CommaExpression - ; - -CommaExpression: - | AssignExpression - | AssignExpression "," CommaExpression - ; - -AssignExpression: ConditionalExpression - | ConditionalExpression "=" AssignExpression - | ConditionalExpression "+=" AssignExpression - | ConditionalExpression "-=" AssignExpression - | ConditionalExpression "*=" AssignExpression - | ConditionalExpression "/=" AssignExpression - | ConditionalExpression "%=" AssignExpression - | ConditionalExpression "&=" AssignExpression - | ConditionalExpression "|=" AssignExpression - | ConditionalExpression "^=" AssignExpression - | ConditionalExpression "~=" AssignExpression - | ConditionalExpression "<<=" AssignExpression - | ConditionalExpression ">>=" AssignExpression - | ConditionalExpression ">>>=" AssignExpression - | ConditionalExpression "^^=" AssignExpression - ; - -ConditionalExpression: OrOrExpression - | OrOrExpression "?" Expression ":" ConditionalExpression - ; - -OrOrExpression: AndAndExpression - | OrOrExpression "||" AndAndExpression - ; - -AndAndExpression: OrExpression - | AndAndExpression "&&" OrExpression - | CmpExpression - | AndAndExpression "&&" CmpExpression - ; - -OrExpression: XorExpression - | OrExpression "|" XorExpression - ; - -XorExpression: AndExpression - | XorExpression "^" AndExpression - ; - -AndExpression: ShiftExpression - | AndExpression "&" ShiftExpression - ; - -CmpExpression: ShiftExpression - | EqualExpression - | IdentityExpression - | RelExpression - | InExpression - ; - -EqualExpression: ShiftExpression "==" ShiftExpression - | ShiftExpression "!=" ShiftExpression - ; - -IdentityExpression: ShiftExpression "is" ShiftExpression - | ShiftExpression "!is" ShiftExpression - ; - -RelExpression: ShiftExpression "<" ShiftExpression - | ShiftExpression "<=" ShiftExpression - | ShiftExpression ">" ShiftExpression - | ShiftExpression ">=" ShiftExpression - | ShiftExpression "!<>=" ShiftExpression - | ShiftExpression "!<>" ShiftExpression - | ShiftExpression "<>" ShiftExpression - | ShiftExpression "<>=" ShiftExpression - | ShiftExpression "!>" ShiftExpression - | ShiftExpression "!>=" ShiftExpression - | ShiftExpression "!<" ShiftExpression - | ShiftExpression "!<=" ShiftExpression - ; - -InExpression: ShiftExpression "in" ShiftExpression - | ShiftExpression "!in" ShiftExpression - ; - -ShiftExpression: AddExpression - | ShiftExpression "<<" AddExpression - | ShiftExpression ">>" AddExpression - | ShiftExpression ">>>" AddExpression - ; - -AddExpression: MulExpression - | AddExpression "+" MulExpression - | AddExpression "-" MulExpression - | CatExpression - ; - -CatExpression: AddExpression "~" MulExpression - ; - -MulExpression: UnaryExpression - | MulExpression "*" UnaryExpression - | MulExpression "/" UnaryExpression - | MulExpression "%" UnaryExpression - ; - -UnaryExpression: "&" UnaryExpression - | "++" UnaryExpression - | "--" UnaryExpression - | "*" UnaryExpression - | "-" UnaryExpression - | "+" UnaryExpression - | "!" UnaryExpression - | ComplementExpression - | "(" Type ")" "." identifier - | "(" Type ")" "." TemplateInstance - | NewExpression - | DeleteExpression - | CastExpression - | PowExpression - ; - -ComplementExpression: "~" UnaryExpression - ; - -NewExpression: "new" Type "[" AssignExpression "]" - | "new" AllocatorArguments Type "[" AssignExpression "]" - | "new" Type "(" ArgumentList ")" - | "new" AllocatorArguments Type "(" ArgumentList ")" - | "new" Type - | "new" AllocatorArguments Type - | NewAnonClassExpression - ; - -AllocatorArguments: "(" ")" - | "(" ArgumentList ")" - ; - -ArgumentList: AssignExpression - | AssignExpression "," - | AssignExpression "," ArgumentList - ; - -DeleteExpression: "delete" UnaryExpression - ; - -CastExpression: "cast" "(" Type ")" UnaryExpression - | "cast" "(" CastQual ")" UnaryExpression - | "cast" "(" ")" UnaryExpression - ; - -PowExpression: PostfixExpression - | PostfixExpression "^^" UnaryExpression - ; - -PostfixExpression: PrimaryExpression - | PostfixExpression "." identifier - | PostfixExpression "." TemplateInstance - | PostfixExpression "." NewExpression - | PostfixExpression "++" - | PostfixExpression "--" - | PostfixExpression "(" ")" - | PostfixExpression "(" ArgumentList ")" - | BasicType "(" ")" - | TypeCtors BasicType "(" ")" - | BasicType "(" ArgumentList ")" - | TypeCtors BasicType "(" ArgumentList ")" - | IndexExpression - | SliceExpression - ; - -IndexExpression: PostfixExpression "[" ArgumentList "]" - ; - -SliceExpression: PostfixExpression "[" "]" - | PostfixExpression "[" AssignExpression ".." AssignExpression "]" - ; - -PrimaryExpression: identifier - | "." identifier - | TemplateInstance - | "." TemplateInstance - | "this" - | "super" - | "null" - | "true" - | "false" - | "$" - | "__FILE__" - | "__MODULE__" - | "__LINE__" - | "__FUNCTION__" - | "__PRETTY_FUNCTION__" - | intLiteral - | floatLiteral - | characterLiteral - | StringLiterals - | ArrayLiteral - | AssocArrayLiteral - | Lambda - | FunctionLiteral - | AssertExpression - | MixinExpression - | ImportExpression - | BasicType "." identifier - | Typeof - | TypeidExpression - | IsExpression - | "(" Expression ")" - | TraitsExpression - ; - -StringLiterals: stringLiteral - | stringLiteral StringLiterals - ; - -ArrayLiteral: "[" ArgumentList "]" - ; - - -AssocArrayLiteral: "[" KeyValuePairs "]" - -KeyValuePairs: KeyValuePair - | KeyValuePair "," KeyValuePairs - ; - -KeyValuePair: KeyExpression ":" ValueExpression - ; - -KeyExpression: AssignExpression - ; - -ValueExpression: AssignExpression - ; - -Lambda: identifier "=>" AssignExpression - | ParameterAttributes "=>" AssignExpression - ; - -FunctionLiteral: "function" FunctionBody - | "function" ParameterAttributes FunctionBody - | "function" Type FunctionBody - | "function" Type ParameterAttributes FunctionBody - | "delegate" FunctionBody - | "delegate" ParameterAttributes FunctionBody - | "delegate" Type FunctionBody - | "delegate" Type ParameterAttributes FunctionBody - | ParameterAttributes FunctionBody - | FunctionBody - ; - -ParameterAttributes: Parameters - | Parameters FunctionAttributes - ; - -AssertExpression: "assert" "(" AssignExpression ")" - | "assert" "(" AssignExpression "," AssignExpression ")" - ; - -MixinExpression: "mixin" "(" AssignExpression ")" - ; - -ImportExpression: "import" "(" AssignExpression ")" - ; - -TypeidExpression: "typeid" "(" Type ")" - | "typeid" "(" Expression ")" - ; - -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 ")" - ; - -TypeSpecialization: Type - | "struct" - | "union" - | "class" - | "interface" - | "enum" - | "function" - | "delegate" - | "super" - | "const" - | "immutable" - | "inout" - | "shared" - | "return" - | "__parameters" - ; - -Statement: ";" - | NonEmptyStatement - | ScopeBlockStatement - ; - -NoScopeNonEmptyStatement: NonEmptyStatement - | BlockStatement - ; - -NoScopeStatement: ";" - | NonEmptyStatement - | BlockStatement - ; - -NonEmptyOrScopeBlockStatement: NonEmptyStatement - | ScopeBlockStatement - ; - -NonEmptyStatement: NonEmptyStatementNoCaseNoDefault - | CaseStatement - | CaseRangeStatement - | DefaultStatement - ; - -NonEmptyStatementNoCaseNoDefault: LabeledStatement - | ExpressionStatement - | DeclarationStatement - | IfStatement - | WhileStatement - | DoStatement - | ForStatement - | ForeachStatement - | SwitchStatement - | FinalSwitchStatement - | ContinueStatement - | BreakStatement - | ReturnStatement - | GotoStatement - | WithStatement - | SynchronizedStatement - | TryStatement - | ScopeGuardStatement - | ThrowStatement - | AsmStatement - | PragmaStatement - | MixinStatement - | ForeachRangeStatement - | ConditionalStatement - | StaticAssert - | TemplateMixin - | ImportDeclaration - ; - -ScopeStatement: NonEmptyStatement - | BlockStatement - ; - -ScopeBlockStatement: BlockStatement - ; - -LabeledStatement: identifier ":" NoScopeStatement - ; - -BlockStatement: "{" "}" - | "{" StatementList "}" - ; - -StatementList: Statement - | Statement StatementList - ; - -ExpressionStatement: Expression ";" - ; - -DeclarationStatement: Declaration - ; - -IfStatement: "if" "(" IfCondition ")" ThenStatement - | "if" "(" IfCondition ")" ThenStatement "else" ElseStatement - ; - -IfCondition: Expression - | "auto" identifier "=" Expression - | BasicType Declarator "=" Expression - ; - -ThenStatement: ScopeStatement - ; - -ElseStatement: ScopeStatement - ; - -WhileStatement: "while" "(" Expression ")" ScopeStatement - ; - -DoStatement: "do" ScopeStatement "while" "(" Expression ")" ";" - ; - -ForStatement: "for" "(" Initialize ";" ")" ScopeStatement - | "for" "(" Initialize ";" Increment ")" ScopeStatement - | "for" "(" Initialize Test ";" ")" ScopeStatement - | "for" "(" Initialize Test ";" Increment ")" ScopeStatement - ; - -Initialize: ";" - | NoScopeNonEmptyStatement - ; - -Test: Expression - ; - -Increment: Expression - ; - -ForeachStatement: Foreach "(" ForeachTypeList ";" Aggregate ")" NoScopeNonEmptyStatement - ; - -Foreach: "foreach" - | "foreach_reverse" - ; - -ForeachTypeList: ForeachType - | ForeachType "," ForeachTypeList - ; - -ForeachType: BasicType Declarator - | "ref" BasicType Declarator - | identifier - | "ref" identifier - ; - -Aggregate: Expression - ; - -ForeachRangeStatement: Foreach "(" ForeachType ";" LwrExpression ".." UprExpression ")" ScopeStatement - ; - -LwrExpression: Expression - ; - -UprExpression: Expression - ; - -SwitchStatement: "switch" "(" Expression ")" ScopeStatement - ; - -CaseStatement: "case" ArgumentList ":" ScopeStatementList - ; - -CaseRangeStatement: "case" FirstExp ":" ".." "case" LastExp ":" ScopeStatementList - ; - -FirstExp: AssignExpression - ; - -LastExp: AssignExpression - ; - -DefaultStatement: "default" ":" ScopeStatementList - ; - -ScopeStatementList: StatementListNoCaseNoDefault - ; - -StatementListNoCaseNoDefault: StatementNoCaseNoDefault - | StatementNoCaseNoDefault StatementListNoCaseNoDefault - ; - -StatementNoCaseNoDefault: ";" - | NonEmptyStatementNoCaseNoDefault - | ScopeBlockStatement - ; - -FinalSwitchStatement: "final" "switch" "(" Expression ")" ScopeStatement - ; - -ContinueStatement: "continue" ";" - | "continue" identifier ";" - ; - -BreakStatement: "break" ";" - | "break" identifier ";" - ; - -ReturnStatement: "return" ";" - | Expression ";" - ; - -GotoStatement: "goto" identifier ";" - | "goto" "default" ";" - | "goto" "case" ";" - | "goto" "case" Expression ";" - ; - -WithStatement: "with" "(" Expression ")" ScopeStatement - | "with" "(" Symbol ")" ScopeStatement - | "with" "(" TemplateInstance ")" ScopeStatement - ; - -SynchronizedStatement: "synchronized" ScopeStatement - | "synchronized" "(" Expression ")" ScopeStatement - ; - -TryStatement: "try" ScopeStatement Catches - | "try" ScopeStatement Catches FinallyStatement - | "try" ScopeStatement FinallyStatement - ; - -Catches: LastCatch - | Catch - | Catch Catches - ; - -LastCatch: "catch" NoScopeNonEmptyStatement - ; - -Catch: "catch" "(" CatchParameter ")" NoScopeNonEmptyStatement - ; - -CatchParameter: BasicType identifier - ; - -FinallyStatement: "finally" NoScopeNonEmptyStatement - ; -ThrowStatement: "throw" Expression ";" - ; - -ScopeGuardStatement: "scope" "(" "exit" ")" NonEmptyOrScopeBlockStatement - | "scope" "(" "success" ")" NonEmptyOrScopeBlockStatement - | "scope" "(" "failure" ")" NonEmptyOrScopeBlockStatement - ; - -AsmStatement: "asm" "{" "}" -asm { AsmInstructionList } -AsmInstructionList: AsmInstruction ";" - AsmInstruction ";" AsmInstructionList - -PragmaStatement: Pragma NoScopeStatement - ; - -MixinStatement: "mixin" "(" AssignExpression ")" ";" - ; - -AggregateDeclaration: "struct" identifier StructBody - | "union" identifier StructBody - | "struct" identifier ";" - | "union" identifier ";" - | StructTemplateDeclaration - | UnionTemplateDeclaration - ; - -StructBody: "{" "}" - | "{" StructBodyDeclarations "}" - ; - -StructBodyDeclarations: StructBodyDeclaration - | StructBodyDeclaration StructBodyDeclarations - ; - -StructBodyDeclaration: DeclDef - | StructAllocator - | StructDeallocator - | StructPostblit - | AliasThis - ; - -StructAllocator: ClassAllocator - ; - -StructDeallocator: ClassDeallocator - ; - -StructPostblit: "this" "(" "this" ")" FunctionBody - ; - -ClassDeclaration: "class" identifier ClassBody - | "class" identifier BaseClassList ClassBody - | ClassTemplateDeclaration - ; - -BaseClassList: ":" SuperClass - | ":" SuperClass "," Interfaces - | ":" Interfaces - ; - -SuperClass: identifier - ; - -Interfaces: Interface - | Interface "," Interfaces - ; - -Interface: identifier - ; - -ClassBody: "{" "}" - | "{" ClassBodyDeclarations "}" - ; - -ClassBodyDeclarations: ClassBodyDeclaration - | ClassBodyDeclaration ClassBodyDeclarations - ; - -ClassBodyDeclaration: DeclDef - | Invariant - | ClassAllocator - | ClassDeallocator - ; - -Constructor: "this" Parameters FunctionBody - | TemplatedConstructor - ; - -Destructor: "~" "this" "(" ")" FunctionBody - ; - -StaticConstructor: "static" "this" "(" ")" FunctionBody - ; - -StaticDestructor: "static" "~" "this" "(" ")" FunctionBody - ; - -SharedStaticConstructor: "shared" "static" "this" "(" ")" FunctionBody - ; - -SharedStaticDestructor: "shared" "static" "~" "this" "(" ")" FunctionBody - ; - -Invariant: "invariant" "(" ")" BlockStatement - ; - -ClassAllocator: "new" Parameters FunctionBody - ; - -ClassDeallocator: "delete" Parameters FunctionBody - ; - -AliasThis: "alias" identifier "this" ";" - ; - -NewAnonClassExpression: "new" "class" - | "new" "class" Interfaces - | "new" "class" SuperClass - | "new" "class" SuperClass Interfaces - | "new" "class" ClassArguments - | "new" "class" ClassArguments Interfaces - | "new" "class" ClassArguments SuperClass - | "new" "class" ClassArguments SuperClass Interfaces - | "new" AllocatorArguments "class" - | "new" AllocatorArguments "class" Interfaces - | "new" AllocatorArguments "class" SuperClass Interfaces - | "new" AllocatorArguments "class" SuperClass - | "new" AllocatorArguments "class" ClassArguments - | "new" AllocatorArguments "class" ClassArguments SuperClass - | "new" AllocatorArguments "class" ClassArguments Interfaces - | "new" AllocatorArguments "class" ClassArguments SuperClass Interfaces - | ClassBody - ; - -ClassArguments: "(" ")" - | "(" ArgumentList ")" - ; - -InterfaceDeclaration: "interface" identifier InterfaceBody - | "interface" identifier BaseInterfaceList InterfaceBody - | InterfaceTemplateDeclaration - ; - -BaseInterfaceList: ":" Interfaces - ; - -InterfaceBody: "{" "}" - | "{" DeclDefs "}" - ; - - -EnumDeclaration: "enum" EnumTag EnumBody - | "enum" EnumBody - | "enum" EnumTag ":" EnumBaseType EnumBody - | "enum" ":" EnumBaseType EnumBody - ; - -EnumTag: identifier - ; - -EnumBaseType: Type - ; - -EnumBody: EmptyEnumBody - | EnumMembersBody - ; - -EmptyEnumBody: ";" - ; - -EnumMembersBody: "{" EnumMembers "}" - ; - -EnumMembers: EnumMember - | EnumMember "," - | EnumMember "," EnumMembers - ; - -EnumMember: identifier - | identifier "=" AssignExpression - | Type "=" AssignExpression - ; - -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 - ; - -TemplateDeclaration: "template" TemplateIdentifier TemplateParameters Constraint - | "template" TemplateIdentifier TemplateParameters - | "{" DeclDefs "}" - ; - -TemplateIdentifier: identifier - ; - -TemplateParameters: "(" ")" - | "(" TemplateParameterList ")" - ; - -TemplateParameterList: TemplateParameter - | TemplateParameter "," - | TemplateParameter "," TemplateParameterList - ; - -TemplateParameter: TemplateTypeParameter - | TemplateValueParameter - | TemplateAliasParameter - | TemplateTupleParameter - | TemplateThisParameter - ; - -TemplateInstance: TemplateIdentifier TemplateArguments - ; - -TemplateArguments: "!" "(" ")" - | "!" "(" TemplateArgumentList ")" - | "!" TemplateSingleArgument - ; - -TemplateArgumentList: TemplateArgument - | TemplateArgument "," - | TemplateArgument "," TemplateArgumentList - ; - -TemplateArgument: Type - | AssignExpression - | Symbol - ; - -Symbol: SymbolTail - | "." SymbolTail - ; - -SymbolTail: identifier - | identifier "." SymbolTail - | TemplateInstance - | TemplateInstance "." SymbolTail - ; - -TemplateSingleArgument: identifier - | BasicTypeX - | characterLiteral - | stringLiteral - | intLiteral - | floatLiteral - | "true" - | "false" - | "null" - | "this" - | "__FILE__" - | "__MODULE__" - | "__LINE__" - | "__FUNCTION__" - | "__PRETTY_FUNCTION__" - ; - -TemplateTypeParameter: identifier - | identifier TemplateTypeParameterSpecialization - | identifier TemplateTypeParameterDefault - | identifier TemplateTypeParameterSpecialization TemplateTypeParameterDefault - ; - -TemplateTypeParameterSpecialization: ":" Type - ; - -TemplateTypeParameterDefault: "=" Type - ; - -TemplateThisParameter: "this" TemplateTypeParameter - ; - -TemplateValueParameter: BasicType Declarator - | BasicType Declarator TemplateValueParameterSpecialization - | BasicType Declarator TemplateValueParameterDefault - | BasicType Declarator TemplateValueParameterSpecialization TemplateValueParameterDefault - ; - -TemplateValueParameterSpecialization: ":" ConditionalExpression - ; - -TemplateValueParameterDefault: "=" "__FILE__" - | "=" "__MODULE__" - | "=" "__LINE__" - | "=" "__FUNCTION__" - | "=" "__PRETTY_FUNCTION__" - | "=" AssignExpression - ; - -TemplateAliasParameter: "alias" identifier - | "alias" identifier TemplateAliasParameterDefault - | "alias" identifier TemplateAliasParameterSpecialization - | "alias" identifier TemplateAliasParameterSpecialization TemplateAliasParameterDefault - | "alias" BasicType Declarator - | "alias" BasicType Declarator TemplateAliasParameterDefault - | "alias" BasicType Declarator TemplateAliasParameterSpecialization - | "alias" BasicType Declarator TemplateAliasParameterSpecialization TemplateAliasParameterDefault - ; - -TemplateAliasParameterSpecialization: ":" Type - | ":" ConditionalExpression - ; - -TemplateAliasParameterDefault: "=" Type - | "=" ConditionalExpression - ; - -TemplateTupleParameter: identifier "..." - ; - -TemplatedConstructor: "this" TemplateParameters Parameters FunctionBody - | "this" TemplateParameters Parameters Constraint FunctionBody - ; - -ClassTemplateDeclaration: "class" identifier "(" TemplateParameterList ")" ClassBody - | "class" identifier "(" TemplateParameterList ")" Constraint ClassBody - | "class" identifier "(" TemplateParameterList ")" BaseClassList ClassBody - | "class" identifier "(" TemplateParameterList ")" Constraint BaseClassList ClassBody - ; - -StructTemplateDeclaration: "struct" identifier "(" TemplateParameterList ")" StructBody - | "struct" identifier "(" TemplateParameterList ")" Constraint StructBody - ; - -UnionTemplateDeclaration: "union" identifier "(" TemplateParameterList ")" StructBody - | "union" identifier "(" TemplateParameterList ")" Constraint StructBody - ; - -InterfaceTemplateDeclaration: "interface" identifier "(" TemplateParameterList ")" InterfaceBody - | "interface" identifier "(" TemplateParameterList ")" BaseInterfaceList InterfaceBody - | "interface" identifier "(" TemplateParameterList ")" Constraint InterfaceBody - | "interface" identifier "(" TemplateParameterList ")" Constraint BaseInterfaceList InterfaceBody - ; - -Constraint: "if" "(" ConstraintExpression ")" - ; - -ConstraintExpression: Expression - ; - -TemplateMixinDeclaration: "mixin" "template" TemplateIdentifier TemplateParameters - | "mixin" "template" TemplateIdentifier TemplateParameters Constraint - | "{" DeclDefs "}" - ; - -TemplateMixin: "mixin" MixinTemplateName";" - | "mixin" MixinTemplateName MixinIdentifier ";" - | "mixin" MixinTemplateName TemplateArguments ";" - | "mixin" MixinTemplateName TemplateArguments MixinIdentifier ";" - ; - -MixinTemplateName: "." QualifiedIdentifierList - | QualifiedIdentifierList - | Typeof "." QualifiedIdentifierList - ; - -QualifiedIdentifierList: identifier - | identifier "." QualifiedIdentifierList - | TemplateInstance "." QualifiedIdentifierList - ; - -MixinIdentifier: identifier - ; - -ConditionalDeclaration: Condition CCDeclarationBlock - | Condition CCDeclarationBlock "else" CCDeclarationBlock - | Condition ":" Declarations - -CCDeclarationBlock: Declaration - | "{" Declarations "}" - | "{" "}" - ; - -Declarations: Declaration - | Declaration Declarations - ; - -ConditionalStatement: Condition NoScopeNonEmptyStatement - | Condition NoScopeNonEmptyStatement "else" NoScopeNonEmptyStatement - ; - -Condition: VersionCondition - | DebugCondition - | StaticIfCondition - ; - -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" "(" TraitsKeyword "," TraitsArguments ")" - -TraitsArguments: TraitsArgument - TraitsArgument "," TraitsArguments - ; - -TraitsArgument: AssignExpression - | Type - ; - -UnitTest: "unittest" FunctionBody - ; - -*/ -%% - diff --git a/dlex.txt b/dlex.txt deleted file mode 100644 index 1cf6c39..0000000 --- a/dlex.txt +++ /dev/null @@ -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); -}