Display the source code in dmd/cparse.d from which this page was generated on github.

If you spot a problem with this page, click here to create a Bugzilla issue.

Quickly fork, edit online, and submit a pull request for this page. Requires a signed-in GitHub account. This works well for small changes. If you'd like to make larger changes you may want to consider using local clone.

Class `dmd.cparse.CParser`


						
				class CParser(AST)
				;

Fields

Name	Type	Description
`addFuncName`	`bool`	add declaration of _func__ to function symbol table
`importBuiltins`	`bool`	seen use of C compiler builtins, so import _importc_builtins;
`typedefTab`	`Array!(void*)`	Array of AST.Type[Identifier], typedef's indexed by Identifier

Methods

Name	Description
`addDefines` ()	#define Parser
`applySpecifier` (s, specifier)	Apply specifier to a Dsymbol.
`cparseAddExp` ()	C11 6.5.6 additive-expression multiplicative-expression additive-expression + multiplicative-expression additive-expression - multiplicative-expression
`cparseAndAndExp` ()	C11 6.5.13 logical-AND-expression inclusive-OR-expression logical-AND-expression && inclusive-OR-expression
`cparseAndExp` ()	C11 6.5.10 AND-expression equality-expression AND-expression & equality-expression
`cparseArguments` ()	Collect argument list. Parser is on opening parenthesis.
`cparseAssignExp` ()	C11 6.5.16 assignment-expression: conditional-expression unary-expression assignment-operator assignment-expression
`cparseBuiltin_va_arg` ()	gcc extension: type _builtin_va_arg(assign-expression, type) Rewrite as `va_arg` template from `core.stdc.stdarg`: va_arg!(type)(assign-expression); Lexer is on `__builtin_va_arg`
`cparseCastExp` ()	C11 6.5.4 cast-expression unary-expression ( type-name ) cast-expression
`cparseCondExp` ()	C11 6.5.15 conditional-expression: logical-OR-expression logical-OR-expression ? expression : conditional-expression
`cparseConstantExp` ()	C11 6.6 Constant expressions constant-expression: conditional-expression
`cparseDeclaration` (level)	Declaration Parser
`cparseDeclarationSpecifiers` (level, specifier)	C11 6.7 declaration-specifier: storage-class-specifier declaration-specifiers (opt) type-specifier declaration-specifiers (opt) type-qualifier declaration-specifiers (opt) function-specifier declaration-specifiers (opt) alignment-specifier declaration-specifiers (opt)
`cparseDeclarator` (declarator, tbase, pident, specifier)	C11 6.7.6 Parse a declarator (including function definitions).
`cparseDeclspec` (specifier)	_declspec parser
`cparseEnum` (symbols)	Struct & Enum Parser
`cparseEqualityExp` ()	C11 6.5.9 equality-expression relational-expression equality-expression == relational-expression equality-expression != relational-expression
`cparseExpression` ()	Expression Parser
`cparseFunctionDefinition` (id, ft, specifier)	C11 Function Definitions function-definition declaration-specifiers declarator declaration-list (opt) compound-statement
`cparseGenericSelection` ()	C11 6.5.1.1 Generic ( assignment-expression, generic-assoc-list )
`cparseGnuAsm` ()	Parse C inline assembler statement in Gnu format.
`cparseGnuAsmLabel` ()	Parser for asm label. It appears after the declarator, and has apparently nothing to do with inline assembler.
`cparseGnuAttribute` (specifier)	Parse a single GNU attribute gnu-attribute: gnu-attribute-name gnu-attribute-name ( identifier ) gnu-attribute-name ( identifier , expression-list ) gnu-attribute-name ( expression-list (opt) )
`cparseGnuAttributes` (specifier)	_attribute__ parser
`cparseInitializer` ()	C11 Initialization
`cparseMulExp` ()	C11 6.5.5 multiplicative-expression cast-expression multiplicative-expression * cast-expression multiplicative-expression / cast-expression multiplicative-expression % cast-expression
`cparseOrExp` ()	C11 6.5.12 inclusive-OR-expression exclusive-OR-expression inclusive-OR-expression \| exclusive-OR-expression
`cparseOrOrExp` ()	C11 6.5.14 logical-OR-expression logical-AND-expression logical-OR-expression \|\| logical-AND-expression
`cparseParameterList` ()	C11 6.7.6.3 ( parameter-type-list ) ( identifier-list (opt) )
`cparseParens` ()	Like skipParens(), but consume the tokens.
`cparsePostfixExp` (e)	C11 6.5.2 postfix-expression: primary-expression postfix-expression [ expression ] postfix-expression ( argument-expression-list (opt) ) postfix-expression . identifier postfix-expression -> identifier postfix-expression ++ postfix-expression -- ( type-name ) { initializer-list } ( type-name ) { initializer-list , }
`cparsePostfixOperators` (e)	C11 6.5.2 Parse a series of operators for a postfix expression after already parsing a primary-expression or compound literal expression.
`cparsePrimaryExp` ()	C11 6.5.1 primary-expression: identifier constant string-literal ( expression ) generic-selection _builtin_va_arg(assign_expression, type)
`cparseRelationalExp` ()	C11 6.5.8 relational-expression shift-expression relational-expression < shift-expression relational-expression > shift-expression relational-expression <= shift-expression relational-expression >= shift-expression
`cparseShiftExp` ()	C11 6.5.7 shift-expression additive-expression shift-expression << additive-expression shift-expression >> additive-expression
`cparseSpecifierQualifierList` (level, specifier)	C11 6.7.2.1 specifier-qualifier-list: type-specifier specifier-qualifier-list (opt) type-qualifier specifier-qualifier-list (opt)
`cparseStatement` (flags, endPtr, pEndloc)	Statement Parser
`cparseStatementExpression` ()	gcc extension: https://gcc.gnu.org/onlinedocs/gcc/Statement-Exprs.html Represent as a function literal, then call the function literal. Parser is on opening curly brace.
`cparseStaticAssert` ()	C11 6.7.10 Static_assert ( constant-expression , string-literal ) ;
`cparseStruct` (loc, structOrUnion, packalign, symbols)	C11 6.7.2.1 Parse struct and union specifiers. Parser is advanced to the tag identifier or brace. struct-or-union-specifier: struct-or-union identifier (opt) { struct-declaration-list } struct-or-union identifier
`cparseStructDeclaration` (members)	C11 6.7.2.1 Parse a struct declaration member. struct-declaration: specifier-qualifier-list struct-declarator-list (opt) ; static_assert-declaration
`cparseTypeName` ()	C11 6.7.7
`cparseTypeQualifierList` ()	C11 6.7.3 type-qualifier: const restrict volatile Atomic _stdcall
`cparseUnaryExp` ()	C11 6.5.3 unary-expression: postfix-expression ++ unary-expression -- unary-expression unary-operator cast-expression sizeof unary-expression sizeof ( type-name ) Alignof ( type-name )
`cparseXorExp` ()	C11 6.5.11 exclusive-OR-expression AND-expression exclusive-OR-expression ^ AND-expression
`createFuncName` (loc, id)	C11 6.4.2.2 Create declaration to predefine _func__ `static const char __func__[] = " function-name ";`
`insertIdToTypedefTab` (id)	Add `id` to typedefTab[], but only if it will mask an existing typedef.
`insertTypedefToTypedefTab` (id, t)	Add `id` to typedefTab[]
`integerTypeForSize` (size)	Return suitable signed integer type for the given size
`isAssignmentExpression` (pt)	See if match for assignment-expression.
`isCastExpression` (pt, afterParenType)	Looking at the leading left parenthesis, and determine if it is either of the following: ( type-name ) cast-expression ( type-name ) { initializer-list } as opposed to: ( expression )
`isCDeclaration` (pt)	Lookahead Parser
`isCDeclarator` (pt, declarator)	Check to see if tokens starting with *pt form a declarator.
`isConstantExpression` (pt)	See if match for constant-expression.
`isDeclarationList` (pt)	See if declaration-list is present.
`isDeclarationSpecifiers` (pt)	See if match for declaration-specifiers. No errors are diagnosed.
`isFunctionCall` (pt)	See if match for: postfix-expression ( argument-expression-list(opt) )
`isFunctionTypedef` (t)	typedefTab symbol table
`isGnuAttributeName` ()	See if match for GNU attribute name, which may be any identifier, storage-class-specifier, type-specifier, or type-qualifier.
`isInitializer` (pt)	See if match for initializer.
`isPrimaryExpression` (pt)	See if match for primary-expression.
`isSpecifierQualifierList` (pt)	Is this the start of a specifier-qualifier-list?
`isTypedef` (id)	Determine if `id` is a symbol for a Typedef.
`isTypeName` (pt)	Is this the start of a type-name?
`isTypeQualifierList` (pt)	Is this the start of a type-qualifier-list? (Can be empty.)
`isUnaryExpression` (pt, afterParenType)	See if match for unary-expression.
`lookupTypedef` (id)	Lookup id in typedefTab[].
`panic` ()	After encountering an error, scan forward until a right brace or ; is found or the end of the file.
`parseModule` ()	Parse translation unit. C11 6.9 translation-unit: external-declaration translation-unit external-declaration
`parseSpecialTokenSequence` ()	Directive Parser
`pragmaDirective` (loc)	C11 6.10.6 Pragma directive # pragma pp-tokens(opt) new-line The C preprocessor sometimes leaves pragma directives in the preprocessed output. Ignore them. Upon return, p is at start of next line.
`pragmaPack` (startloc, useScan)	# pragma pack
`realType` (flags)	Return suitable D float type for C `long double`
`skipBraces` (pt)	Skip braces.
`skipBrackets` (pt)	Skip brackets.
`specifiersToFuncDeclaration` (fd, specifier)	Add attributes from Specifier to function
`specifiersToSTC` (level, specifier)	Convert from C specifiers to D storage class
`specifiersToVarDeclaration` (vd, specifier)	Add attributes from Specifier to variable
`toConst` (t)	Apply `const` to a type.
`unsignedTypeForSize` (size)	Return suitable unsigned integer type for the given size
`uupragmaDirective` (startloc)	VC _pragma
`factory` (classname)	Create instance of class specified by the fully qualified name classname. The class must either have no constructors or have a default constructor.
`opCmp` (o)	Compare with another Object obj.
`opEquals` (o)	Test whether `this` is equal to `o`. The default implementation only compares by identity (using the `is` operator). Generally, overrides and overloads for `opEquals` should attempt to compare objects by their contents. A class will most likely want to add an overload that takes your specific type as the argument and does the content comparison. Then you can override this and forward it to your specific typed overload with a cast. Remember to check for `null` on the typed overload.
`toHash` ()	Compute hash function for Object.
`toString` ()	Convert Object to a human readable string.

Inner structs

Name	Description
`Specifier`	Aggregate for all the various specifiers

Enums

Name	Description
`DTR`	Types of declarator to parse
`LVL`	More
`MOD`	C11 6.7.3 Type qualifiers
`RTFlags`	Flags for realType
`SCW`	C11 6.7.1 Storage-class specifiers

Authors

Walter Bright

License

Boost License 1.0