2016-08-19 17:57:21 +00:00
|
|
|
SourceUnit = (PragmaDirective | ImportDirective | ContractDefinition)*
|
2016-07-27 14:01:30 +00:00
|
|
|
|
2016-08-19 17:57:21 +00:00
|
|
|
// Pragma actually parses anything up to the trailing ';' to be fully forward-compatible.
|
2016-11-18 03:15:24 +00:00
|
|
|
PragmaDirective = 'pragma' Identifier ([^;]+) ';'
|
2016-07-20 17:17:03 +00:00
|
|
|
|
2016-08-01 20:33:05 +00:00
|
|
|
ImportDirective = 'import' StringLiteral ('as' Identifier)? ';'
|
|
|
|
| 'import' ('*' | Identifier) ('as' Identifier)? 'from' StringLiteral ';'
|
|
|
|
| 'import' '{' Identifier ('as' Identifier)? ( ',' Identifier ('as' Identifier)? )* '}' 'from' StringLiteral ';'
|
2016-07-20 14:14:23 +00:00
|
|
|
|
2016-08-19 17:57:21 +00:00
|
|
|
ContractDefinition = ( 'contract' | 'library' ) Identifier
|
|
|
|
( 'is' InheritanceSpecifier (',' InheritanceSpecifier )* )?
|
|
|
|
'{' ContractPart* '}'
|
|
|
|
|
2016-07-27 14:03:40 +00:00
|
|
|
ContractPart = StateVariableDeclaration | UsingForDeclaration
|
2016-07-20 17:31:05 +00:00
|
|
|
| StructDefinition | ModifierDefinition | FunctionDefinition | EventDefinition | EnumDefinition
|
2014-10-07 16:25:04 +00:00
|
|
|
|
2015-01-19 20:05:47 +00:00
|
|
|
InheritanceSpecifier = Identifier ( '(' Expression ( ',' Expression )* ')' )?
|
2016-07-20 17:31:05 +00:00
|
|
|
|
2016-07-27 14:03:40 +00:00
|
|
|
StateVariableDeclaration = TypeName ( 'public' | 'internal' | 'private' )? Identifier ('=' Expression)? ';'
|
|
|
|
UsingForDeclaration = 'using' Identifier 'for' ('*' | TypeName) ';'
|
2014-10-07 16:25:04 +00:00
|
|
|
StructDefinition = 'struct' Identifier '{'
|
2016-07-20 00:18:09 +00:00
|
|
|
( VariableDeclaration ';' (VariableDeclaration ';')* )? '}'
|
2015-01-22 00:02:38 +00:00
|
|
|
ModifierDefinition = 'modifier' Identifier ParameterList? Block
|
2016-08-09 09:53:38 +00:00
|
|
|
FunctionDefinition = 'function' Identifier? ParameterList
|
2016-12-01 13:45:39 +00:00
|
|
|
( FunctionCall | Identifier | 'constant' | 'payable' | 'external' | 'public' | 'internal' | 'private' )*
|
2016-07-30 13:34:46 +00:00
|
|
|
( 'returns' ParameterList )? Block
|
2016-08-01 20:33:05 +00:00
|
|
|
EventDefinition = 'event' Identifier IndexedParameterList 'anonymous'? ';'
|
2016-07-20 13:59:00 +00:00
|
|
|
|
2015-02-13 21:56:46 +00:00
|
|
|
EnumValue = Identifier
|
2016-07-18 23:03:41 +00:00
|
|
|
EnumDefinition = 'enum' Identifier '{' EnumValue? (',' EnumValue)* '}'
|
2016-07-20 00:26:33 +00:00
|
|
|
|
2016-08-01 20:33:05 +00:00
|
|
|
IndexedParameterList = '(' ( TypeName 'indexed'? Identifier? (',' TypeName 'indexed'? Identifier?)* )? ')'
|
|
|
|
ParameterList = '(' ( TypeName Identifier? (',' TypeName Identifier?)* )? ')'
|
2016-11-08 10:48:28 +00:00
|
|
|
TypeNameList = '(' ( TypeName (',' TypeName )* )? ')'
|
2016-07-30 13:34:46 +00:00
|
|
|
|
2014-10-07 16:25:04 +00:00
|
|
|
// semantic restriction: mappings and structs (recursively) containing mappings
|
|
|
|
// are not allowed in argument lists
|
2016-07-27 14:42:33 +00:00
|
|
|
VariableDeclaration = TypeName Identifier
|
2016-11-08 10:48:28 +00:00
|
|
|
TypeName = ElementaryTypeName | Identifier StorageLocation? | Mapping | ArrayTypeName | FunctionTypeName
|
2014-10-08 18:53:50 +00:00
|
|
|
Mapping = 'mapping' '(' ElementaryTypeName '=>' TypeName ')'
|
2016-12-24 16:00:11 +00:00
|
|
|
ArrayTypeName = TypeName '[' Expression? ']' StorageLocation?
|
2016-11-09 13:15:01 +00:00
|
|
|
FunctionTypeName = 'function' TypeNameList ( 'internal' | 'external' | 'constant' | 'payable' )*
|
2016-11-08 10:48:28 +00:00
|
|
|
( 'returns' TypeNameList )?
|
2016-07-25 15:28:30 +00:00
|
|
|
StorageLocation = 'memory' | 'storage'
|
2014-10-07 16:25:04 +00:00
|
|
|
|
|
|
|
Block = '{' Statement* '}'
|
2016-12-01 15:24:43 +00:00
|
|
|
Statement = IfStatement | WhileStatement | ForStatement | Block | InlineAssemblyStatement |
|
2016-11-11 08:33:19 +00:00
|
|
|
( DoWhileStatement | PlaceholderStatement | Continue | Break | Return |
|
2016-09-05 16:58:58 +00:00
|
|
|
Throw | SimpleStatement ) ';'
|
2014-10-07 16:25:04 +00:00
|
|
|
|
2016-09-06 03:18:43 +00:00
|
|
|
ExpressionStatement = Expression
|
2014-10-07 16:25:04 +00:00
|
|
|
IfStatement = 'if' '(' Expression ')' Statement ( 'else' Statement )?
|
|
|
|
WhileStatement = 'while' '(' Expression ')' Statement
|
2016-07-25 15:48:49 +00:00
|
|
|
PlaceholderStatement = '_'
|
2016-09-06 03:18:43 +00:00
|
|
|
SimpleStatement = VariableDefinition | ExpressionStatement
|
2016-07-27 14:42:33 +00:00
|
|
|
ForStatement = 'for' '(' (SimpleStatement)? ';' (Expression)? ';' (ExpressionStatement)? ')' Statement
|
2016-12-01 15:24:43 +00:00
|
|
|
InlineAssemblyStatement = 'assembly' InlineAssemblyBlock
|
2016-11-11 08:33:19 +00:00
|
|
|
DoWhileStatement = 'do' Statement 'while' '(' Expression ')'
|
2016-07-18 23:26:39 +00:00
|
|
|
Continue = 'continue'
|
|
|
|
Break = 'break'
|
|
|
|
Return = 'return' Expression?
|
2016-07-19 15:27:53 +00:00
|
|
|
Throw = 'throw'
|
2016-07-18 23:26:39 +00:00
|
|
|
VariableDefinition = VariableDeclaration ( '=' Expression )?
|
2014-10-07 16:25:04 +00:00
|
|
|
|
2016-07-23 14:15:01 +00:00
|
|
|
// Precedence by order (see github.com/ethereum/solidity/pull/732)
|
2016-07-22 23:45:10 +00:00
|
|
|
Expression =
|
2016-09-06 03:18:43 +00:00
|
|
|
( Expression ('++' | '--') | FunctionCall | IndexAccess | MemberAccess | '(' Expression ')' )
|
2016-08-10 20:25:17 +00:00
|
|
|
| ('!' | '~' | 'delete' | '++' | '--' | '+' | '-') Expression
|
2016-07-23 14:15:01 +00:00
|
|
|
| Expression '**' Expression
|
|
|
|
| Expression ('*' | '/' | '%') Expression
|
|
|
|
| Expression ('+' | '-') Expression
|
2016-11-14 12:22:25 +00:00
|
|
|
| Expression ('<<' | '>>')
|
2016-07-23 14:15:01 +00:00
|
|
|
| Expression '&' Expression
|
|
|
|
| Expression '^' Expression
|
|
|
|
| Expression '|' Expression
|
|
|
|
| Expression ('<' | '>' | '<=' | '>=') Expression
|
|
|
|
| Expression ('==' | '!=') Expression
|
|
|
|
| Expression '&&' Expression
|
|
|
|
| Expression '||' Expression
|
|
|
|
| Expression '?' Expression ':' Expression
|
2016-07-27 14:42:33 +00:00
|
|
|
| Expression ('=' | '|=' | '^=' | '&=' | '<<=' | '>>=' | '+=' | '-=' | '*=' | '/=' | '%=') Expression
|
2016-08-01 20:33:05 +00:00
|
|
|
| Expression? (',' Expression)
|
2016-07-22 23:45:10 +00:00
|
|
|
| PrimaryExpression
|
|
|
|
|
2016-10-10 17:42:42 +00:00
|
|
|
PrimaryExpression = Identifier | BooleanLiteral | NumberLiteral | HexLiteral | StringLiteral
|
2016-07-14 21:41:32 +00:00
|
|
|
|
2016-09-06 09:53:27 +00:00
|
|
|
FunctionCall = ( PrimaryExpression | NewExpression | TypeName ) ( ( '.' Identifier ) | ( '[' Expression ']' ) )* '(' Expression? ( ',' Expression )* ')'
|
2015-01-13 17:12:19 +00:00
|
|
|
NewExpression = 'new' Identifier
|
2014-10-07 16:25:04 +00:00
|
|
|
MemberAccess = Expression '.' Identifier
|
2016-07-19 16:59:34 +00:00
|
|
|
IndexAccess = Expression '[' Expression? ']'
|
2016-07-20 00:18:09 +00:00
|
|
|
|
|
|
|
BooleanLiteral = 'true' | 'false'
|
2016-08-01 20:33:05 +00:00
|
|
|
NumberLiteral = '0x'? [0-9]+ (' ' NumberUnit)?
|
2016-07-20 15:07:26 +00:00
|
|
|
NumberUnit = 'wei' | 'szabo' | 'finney' | 'ether'
|
2016-07-20 14:49:14 +00:00
|
|
|
| 'seconds' | 'minutes' | 'hours' | 'days' | 'weeks' | 'years'
|
2016-10-10 21:08:44 +00:00
|
|
|
HexLiteral = 'hex' ('"' ([0-9a-fA-F]{2})* '"' | '\'' ([0-9a-fA-F]{2})* '\'')
|
2016-07-23 00:35:20 +00:00
|
|
|
StringLiteral = '"' ([^"\r\n\\] | '\\' .)* '"'
|
2016-07-20 15:07:26 +00:00
|
|
|
Identifier = [a-zA-Z_] [a-zA-Z_0-9]*
|
2016-07-20 14:49:14 +00:00
|
|
|
|
2016-07-27 14:42:33 +00:00
|
|
|
ElementaryTypeName = 'address' | 'bool' | 'string' | 'var'
|
2016-08-02 15:18:59 +00:00
|
|
|
| Int | Uint | Byte | Fixed | Ufixed
|
|
|
|
|
|
|
|
Int = 'int' | 'int8' | 'int16' | 'int24' | 'int32' | 'int40' | 'int48' | 'int56' | 'int64' | 'int72' | 'int80' | 'int88' | 'int96' | 'int104' | 'int112' | 'int120' | 'int128' | 'int136' | 'int144' | 'int152' | 'int160' | 'int168' | 'int176' | 'int184' | 'int192' | 'int200' | 'int208' | 'int216' | 'int224' | 'int232' | 'int240' | 'int248' | 'int256'
|
|
|
|
|
|
|
|
Uint = 'uint' | 'uint8' | 'uint16' | 'uint24' | 'uint32' | 'uint40' | 'uint48' | 'uint56' | 'uint64' | 'uint72' | 'uint80' | 'uint88' | 'uint96' | 'uint104' | 'uint112' | 'uint120' | 'uint128' | 'uint136' | 'uint144' | 'uint152' | 'uint160' | 'uint168' | 'uint176' | 'uint184' | 'uint192' | 'uint200' | 'uint208' | 'uint216' | 'uint224' | 'uint232' | 'uint240' | 'uint248' | 'uint256'
|
|
|
|
|
|
|
|
Byte = 'byte' | 'bytes' | 'bytes1' | 'bytes2' | 'bytes3' | 'bytes4' | 'bytes5' | 'bytes6' | 'bytes7' | 'bytes8' | 'bytes9' | 'bytes10' | 'bytes11' | 'bytes12' | 'bytes13' | 'bytes14' | 'bytes15' | 'bytes16' | 'bytes17' | 'bytes18' | 'bytes19' | 'bytes20' | 'bytes21' | 'bytes22' | 'bytes23' | 'bytes24' | 'bytes25' | 'bytes26' | 'bytes27' | 'bytes28' | 'bytes29' | 'bytes30' | 'bytes31' | 'bytes32'
|
|
|
|
|
|
|
|
Fixed = 'fixed' | 'fixed0x8' | 'fixed0x16' | 'fixed0x24' | 'fixed0x32' | 'fixed0x40' | 'fixed0x48' | 'fixed0x56' | 'fixed0x64' | 'fixed0x72' | 'fixed0x80' | 'fixed0x88' | 'fixed0x96' | 'fixed0x104' | 'fixed0x112' | 'fixed0x120' | 'fixed0x128' | 'fixed0x136' | 'fixed0x144' | 'fixed0x152' | 'fixed0x160' | 'fixed0x168' | 'fixed0x176' | 'fixed0x184' | 'fixed0x192' | 'fixed0x200' | 'fixed0x208' | 'fixed0x216' | 'fixed0x224' | 'fixed0x232' | 'fixed0x240' | 'fixed0x248' | 'fixed0x256' | 'fixed8x8' | 'fixed8x16' | 'fixed8x24' | 'fixed8x32' | 'fixed8x40' | 'fixed8x48' | 'fixed8x56' | 'fixed8x64' | 'fixed8x72' | 'fixed8x80' | 'fixed8x88' | 'fixed8x96' | 'fixed8x104' | 'fixed8x112' | 'fixed8x120' | 'fixed8x128' | 'fixed8x136' | 'fixed8x144' | 'fixed8x152' | 'fixed8x160' | 'fixed8x168' | 'fixed8x176' | 'fixed8x184' | 'fixed8x192' | 'fixed8x200' | 'fixed8x208' | 'fixed8x216' | 'fixed8x224' | 'fixed8x232' | 'fixed8x240' | 'fixed8x248' | 'fixed16x8' | 'fixed16x16' | 'fixed16x24' | 'fixed16x32' | 'fixed16x40' | 'fixed16x48' | 'fixed16x56' | 'fixed16x64' | 'fixed16x72' | 'fixed16x80' | 'fixed16x88' | 'fixed16x96' | 'fixed16x104' | 'fixed16x112' | 'fixed16x120' | 'fixed16x128' | 'fixed16x136' | 'fixed16x144' | 'fixed16x152' | 'fixed16x160' | 'fixed16x168' | 'fixed16x176' | 'fixed16x184' | 'fixed16x192' | 'fixed16x200' | 'fixed16x208' | 'fixed16x216' | 'fixed16x224' | 'fixed16x232' | 'fixed16x240' | 'fixed24x8' | 'fixed24x16' | 'fixed24x24' | 'fixed24x32' | 'fixed24x40' | 'fixed24x48' | 'fixed24x56' | 'fixed24x64' | 'fixed24x72' | 'fixed24x80' | 'fixed24x88' | 'fixed24x96' | 'fixed24x104' | 'fixed24x112' | 'fixed24x120' | 'fixed24x128' | 'fixed24x136' | 'fixed24x144' | 'fixed24x152' | 'fixed24x160' | 'fixed24x168' | 'fixed24x176' | 'fixed24x184' | 'fixed24x192' | 'fixed24x200' | 'fixed24x208' | 'fixed24x216' | 'fixed24x224' | 'fixed24x232' | 'fixed32x8' | 'fixed32x16' | 'fixed32x24' | 'fixed32x32' | 'fixed32x40' | 'fixed32x48' | 'fixed32x56' | 'fixed32x64' | 'fixed32x72' | 'fixed32x80' | 'fixed32x88' | 'fixed32x96' | 'fixed32x104' | 'fixed32x112' | 'fixed32x120' | 'fixed32x128' | 'fixed32x136' | 'fixed32x144' | 'fixed32x152' | 'fixed32x160' | 'fixed32x168' | 'fixed32x176' | 'fixed32x184' | 'fixed32x192' | 'fixed32x200' | 'fixed32x208' | 'fixed32x216' | 'fixed32x224' | 'fixed40x8' | 'fixed40x16' | 'fixed40x24' | 'fixed40x32' | 'fixed40x40' | 'fixed40x48' | 'fixed40x56' | 'fixed40x64' | 'fixed40x72' | 'fixed40x80' | 'fixed40x88' | 'fixed40x96' | 'fixed40x104' | 'fixed40x112' | 'fixed40x120' | 'fixed40x128' | 'fixed40x136' | 'fixed40x144' | 'fixed40x152' | 'fixed40x160' | 'fixed40x168' | 'fixed40x176' | 'fixed40x184' | 'fixed40x192' | 'fixed40x200' | 'fixed40x208' | 'fixed40x216' | 'fixed48x8' | 'fixed48x16' | 'fixed48x24' | 'fixed48x32' | 'fixed48x40' | 'fixed48x48' | 'fixed48x56' | 'fixed48x64' | 'fixed48x72' | 'fixed48x80' | 'fixed48x88' | 'fixed48x96' | 'fixed48x104' | 'fixed48x112' | 'fixed48x120' | 'fixed48x128' | 'fixed48x136' | 'fixed48x144' | 'fixed48x152' | 'fixed48x160' | 'fixed48x168' | 'fixed48x176' | 'fixed48x184' | 'fixed48x192' | 'fixed48x200' | 'fixed48x208' | 'fixed56x8' | 'fixed56x16' | 'fixed56x24' | 'fixed56x32' | 'fixed56x40' | 'fixed56x48' | 'fixed56x56' | 'fixed56x64' | 'fixed56x72' | 'fixed56x80' | 'fixed56x88' | 'fixed56x96' | 'fixed56x104' | 'fixed56x112' | 'fixed56x120' | 'fixed56x128' | 'fixed56x136' | 'fixed56x144' | 'fixed56x152' | 'fixed56x160' | 'fixed56x168' | 'fixed56x176' | 'fixed56x184' | 'fixed56x192' | 'fixed56x200' | 'fixed64x8' | 'fixed64x16' | 'fixed64x24' | 'fixed64x32' | 'fixed64x40' | 'fixed64x48' | 'fixed64x56' | 'fixed64x64' | 'fixed64x72' | 'fixed64x80' | 'fixed64x88' | 'fixed64x96' | 'fixed64x104' | 'fixed64x112' | 'fixed64x120' | 'fixed64x128' | 'fixed64x136' | 'fixed64x144' | 'fixed64x152' | 'fixed64x160' | 'fixed64x168' | 'fixed64x176' | 'fixed64x184' | 'fixed64x192' | 'fixed72x8' | 'fixed72x16' | 'fixed72x24' | 'fixed72x32' | 'fixed72x40' | 'fixed72x48' | 'fixed72x56' | 'fixed72x64' | 'fixed72x72' | 'fixed72x80' | 'fixed72x88' | 'fixed72x96' | 'fixed72x104' | 'fixed72x112' | 'fixed72x120'
|
|
|
|
|
|
|
|
Ufixed = 'ufixed' | 'ufixed0x8' | 'ufixed0x16' | 'ufixed0x24' | 'ufixed0x32' | 'ufixed0x40' | 'ufixed0x48' | 'ufixed0x56' | 'ufixed0x64' | 'ufixed0x72' | 'ufixed0x80' | 'ufixed0x88' | 'ufixed0x96' | 'ufixed0x104' | 'ufixed0x112' | 'ufixed0x120' | 'ufixed0x128' | 'ufixed0x136' | 'ufixed0x144' | 'ufixed0x152' | 'ufixed0x160' | 'ufixed0x168' | 'ufixed0x176' | 'ufixed0x184' | 'ufixed0x192' | 'ufixed0x200' | 'ufixed0x208' | 'ufixed0x216' | 'ufixed0x224' | 'ufixed0x232' | 'ufixed0x240' | 'ufixed0x248' | 'ufixed0x256' | 'ufixed8x8' | 'ufixed8x16' | 'ufixed8x24' | 'ufixed8x32' | 'ufixed8x40' | 'ufixed8x48' | 'ufixed8x56' | 'ufixed8x64' | 'ufixed8x72' | 'ufixed8x80' | 'ufixed8x88' | 'ufixed8x96' | 'ufixed8x104' | 'ufixed8x112' | 'ufixed8x120' | 'ufixed8x128' | 'ufixed8x136' | 'ufixed8x144' | 'ufixed8x152' | 'ufixed8x160' | 'ufixed8x168' | 'ufixed8x176' | 'ufixed8x184' | 'ufixed8x192' | 'ufixed8x200' | 'ufixed8x208' | 'ufixed8x216' | 'ufixed8x224' | 'ufixed8x232' | 'ufixed8x240' | 'ufixed8x248' | 'ufixed16x8' | 'ufixed16x16' | 'ufixed16x24' | 'ufixed16x32' | 'ufixed16x40' | 'ufixed16x48' | 'ufixed16x56' | 'ufixed16x64' | 'ufixed16x72' | 'ufixed16x80' | 'ufixed16x88' | 'ufixed16x96' | 'ufixed16x104' | 'ufixed16x112' | 'ufixed16x120' | 'ufixed16x128' | 'ufixed16x136' | 'ufixed16x144' | 'ufixed16x152' | 'ufixed16x160' | 'ufixed16x168' | 'ufixed16x176' | 'ufixed16x184' | 'ufixed16x192' | 'ufixed16x200' | 'ufixed16x208' | 'ufixed16x216' | 'ufixed16x224' | 'ufixed16x232' | 'ufixed16x240' | 'ufixed24x8' | 'ufixed24x16' | 'ufixed24x24' | 'ufixed24x32' | 'ufixed24x40' | 'ufixed24x48' | 'ufixed24x56' | 'ufixed24x64' | 'ufixed24x72' | 'ufixed24x80' | 'ufixed24x88' | 'ufixed24x96' | 'ufixed24x104' | 'ufixed24x112' | 'ufixed24x120' | 'ufixed24x128' | 'ufixed24x136' | 'ufixed24x144' | 'ufixed24x152' | 'ufixed24x160' | 'ufixed24x168' | 'ufixed24x176' | 'ufixed24x184' | 'ufixed24x192' | 'ufixed24x200' | 'ufixed24x208' | 'ufixed24x216' | 'ufixed24x224' | 'ufixed24x232' | 'ufixed32x8' | 'ufixed32x16' | 'ufixed32x24' | 'ufixed32x32' | 'ufixed32x40' | 'ufixed32x48' | 'ufixed32x56' | 'ufixed32x64' | 'ufixed32x72' | 'ufixed32x80' | 'ufixed32x88' | 'ufixed32x96' | 'ufixed32x104' | 'ufixed32x112' | 'ufixed32x120' | 'ufixed32x128' | 'ufixed32x136' | 'ufixed32x144' | 'ufixed32x152' | 'ufixed32x160' | 'ufixed32x168' | 'ufixed32x176' | 'ufixed32x184' | 'ufixed32x192' | 'ufixed32x200' | 'ufixed32x208' | 'ufixed32x216' | 'ufixed32x224' | 'ufixed40x8' | 'ufixed40x16' | 'ufixed40x24' | 'ufixed40x32' | 'ufixed40x40' | 'ufixed40x48' | 'ufixed40x56' | 'ufixed40x64' | 'ufixed40x72' | 'ufixed40x80' | 'ufixed40x88' | 'ufixed40x96' | 'ufixed40x104' | 'ufixed40x112' | 'ufixed40x120' | 'ufixed40x128' | 'ufixed40x136' | 'ufixed40x144' | 'ufixed40x152' | 'ufixed40x160' | 'ufixed40x168' | 'ufixed40x176' | 'ufixed40x184' | 'ufixed40x192' | 'ufixed40x200' | 'ufixed40x208' | 'ufixed40x216' | 'ufixed48x8' | 'ufixed48x16' | 'ufixed48x24' | 'ufixed48x32' | 'ufixed48x40' | 'ufixed48x48' | 'ufixed48x56' | 'ufixed48x64' | 'ufixed48x72' | 'ufixed48x80' | 'ufixed48x88' | 'ufixed48x96' | 'ufixed48x104' | 'ufixed48x112' | 'ufixed48x120' | 'ufixed48x128' | 'ufixed48x136' | 'ufixed48x144' | 'ufixed48x152' | 'ufixed48x160' | 'ufixed48x168' | 'ufixed48x176' | 'ufixed48x184' | 'ufixed48x192' | 'ufixed48x200' | 'ufixed48x208' | 'ufixed56x8' | 'ufixed56x16' | 'ufixed56x24' | 'ufixed56x32' | 'ufixed56x40' | 'ufixed56x48' | 'ufixed56x56' | 'ufixed56x64' | 'ufixed56x72' | 'ufixed56x80' | 'ufixed56x88' | 'ufixed56x96' | 'ufixed56x104' | 'ufixed56x112' | 'ufixed56x120' | 'ufixed56x128' | 'ufixed56x136' | 'ufixed56x144' | 'ufixed56x152' | 'ufixed56x160' | 'ufixed56x168' | 'ufixed56x176' | 'ufixed56x184' | 'ufixed56x192' | 'ufixed56x200' | 'ufixed64x8' | 'ufixed64x16' | 'ufixed64x24' | 'ufixed64x32' | 'ufixed64x40' | 'ufixed64x48' | 'ufixed64x56' | 'ufixed64x64' | 'ufixed64x72' | 'ufixed64x80' | 'ufixed64x88' | 'ufixed64x96' | 'ufixed64x104' | 'ufixed64x112' | 'ufixed64x120' | 'ufixed64x128' | 'ufixed64x136' | 'ufixed64x144' | 'ufixed64x152' | 'ufixed64x160' | 'ufixed64x168' | 'ufixed64x176' | 'ufix
|
2016-12-01 15:24:43 +00:00
|
|
|
|
|
|
|
InlineAssemblyBlock = '{' AssemblyItem* '}'
|
|
|
|
|
2016-12-08 01:00:16 +00:00
|
|
|
AssemblyItem = Identifier | FunctionalAssemblyExpression | InlineAssemblyBlock | AssemblyLocalBinding | AssemblyAssignment | NumberLiteral | StringLiteral | HexLiteral
|
2016-12-01 15:24:43 +00:00
|
|
|
AssemblyLocalBinding = 'let' Identifier ':=' FunctionalAssemblyExpression
|
|
|
|
AssemblyAssignment = Identifier ':=' FunctionalAssemblyExpression | '=:' Identifier
|
|
|
|
FunctionalAssemblyExpression = Identifier '(' AssemblyItem? ( ',' AssemblyItem )* ')'
|