1. Syntax

1.1. Grammar

1.1.1. Introduction

In this section, the following convention is used:

Element Form Example
Non-Terminal Italics Expression
Verbatim text Monospace if
Terminal Bold literal

1.1.2. Syntax Description

Module \(\rightarrow\) GlobalExpressionsList

GlobalExpressionsList \(\rightarrow\) \(\epsilon\)

GlobalExpressionList \(\rightarrow\) GlobalExpressionList GlobalExpression

GlobalExpression \(\rightarrow\) FuncDef

GlobalExpression \(\rightarrow\) FuncDecl

GlobalExpression \(\rightarrow\) StructDef

FuncDef \(\rightarrow\) def FuncDeclBody Statement

FuncDef \(\rightarrow\) def FuncDeclBody Expression

FuncDecl \(\rightarrow\) decl FuncDeclBody ;

FuncDecl \(\rightarrow\) decl ( literal_string ) FuncDeclBody ;

FuncDeclBody \(\rightarrow\) Identifier ( FuncDeclArgs ) FuncDeclRet

FuncDeclArgs \(\rightarrow\) \(\epsilon\)

FuncDeclArgs \(\rightarrow\) FuncDeclArgsNonEmpty

FuncDeclArgsNonEmpty \(\rightarrow\) FuncDeclArg

FuncDeclArgsNonEmpty \(\rightarrow\) FuncDeclArg , FuncDeclArgsNonEmpty

FuncDeclArg \(\rightarrow\) Identifier : TransientType

FuncDeclRet \(\rightarrow\) \(\epsilon\)

FuncDeclRet \(\rightarrow\) -> TransientType

StructDef \(\rightarrow\) struct Identifier { StructDefBody }

StructDefBody \(\rightarrow\) VariableDefinition StructDefBody

StructDefBody \(\rightarrow\) \(\epsilon\)

Statement \(\rightarrow\) CompoundStatement

Statement \(\rightarrow\) Expression ;

Statement \(\rightarrow\) VariableDefinition ;

Statement \(\rightarrow\) if ( Expression ) Statement

Statement \(\rightarrow\) if ( Expression ) Statement else Statement

Expression \(\rightarrow\) CompoundExpression

Expression \(\rightarrow\) Literal

Expression \(\rightarrow\) Identifier

Expression \(\rightarrow\) Expression ( FuncCallArguments )

Expression \(\rightarrow\) Expression op Expression [1]

Expression \(\rightarrow\) Expression op [1]

Expression \(\rightarrow\) op Expression [1]

Expression \(\rightarrow\) cast_type ! TemplateParam ( Expression )

Expression \(\rightarrow\) Type

Expression \(\rightarrow\) if ( Expression ) CompoundExpression else CompoundExpression [2]

TemplateParam \(\rightarrow\) id

TemplateParam \(\rightarrow\) ( Expression )

Literal \(\rightarrow\) LiteralInt

Literal \(\rightarrow\) LiteralString

Literal \(\rightarrow\) LiteralFP

Literal \(\rightarrow\) LiteralPointer

LiteralString \(\rightarrow\) literal_string

LiteralInt \(\rightarrow\) literal_int

LiteralFP \(\rightarrow\) literal_fp

LiteralPointer \(\rightarrow\) null

CompoundStatement \(\rightarrow\) { StatementList }

CompoundExpression \(\rightarrow\) { StatementList Expression }

StatementList \(\rightarrow\) \(\epsilon\)

StatementList \(\rightarrow\) StatementList Statement

TransientType \(\rightarrow\) Type

TransientType \(\rightarrow\) Type ref

Type \(\rightarrow\) Identifier

Type \(\rightarrow\) Type @

Type \(\rightarrow\) Type [ LiteralInt ]

VariableDefinition \(\rightarrow\) def VariableDeclBody

VariableDefinition \(\rightarrow\) def VariableDeclBody = Expression

VariableDeclBody \(\rightarrow\) Identifier : Type

Identifier \(\rightarrow\) identifier

FuncCallArguments \(\rightarrow\) \(\epsilon\)

FuncCallArguments \(\rightarrow\) FuncCallArgumentsNonEmpty

FuncCallArgumentsNonEmpty \(\rightarrow\) Expression

FuncCallArgumentsNonEmpty \(\rightarrow\) Expression , FuncCallArgumentsNonEmpty


[1](1, 2, 3) For list of actual operators and their precedence, see Operators.
[2]A conditional expression must have an else clause, as it must return a value regardless of the condition’s result.