Syntax Diagrams

Non-Terminal Symbols

Pragma Blocks

pragmaBlock

altPragmaBlock

pragmaBody

standalonePragmaClause

pragmaClauseSeq

combinablePragmaClause

Pragma Clauses

pragmaClauseABI

pragmaClauseADDR

pragmaClauseALIGN

pragmaClauseANYORDER

pragmaClauseARC

pragmaClauseBORROWER

pragmaClauseCONTIGUOUS

pragmaClauseDEPRECATED

pragmaClauseDETM

pragmaClauseENCODING

codePointSampleList

codePointSample

pragmaClauseFFI

pragmaClauseFFIDENT

pragmaClauseFORWARD

pragmaClauseGC

pragmaClauseGENERATED

template

dateStamp

timeStamp

pragmaClauseIN

pragmaClauseINLINE

pragmaClauseLEADBITS

pragmaClauseMEMALIGN

pragmaClauseMSG

msgMode

msgComponent

constQualident

qualident

valuePragmaDenoter

pragmaClauseNOINLINE

pragmaClauseNORETURN

pragmaClauseOUT

pragmaClauseOWNER

pragmaClausePACKED

pragmaClausePADBITS

pragmaClausePRESETS

identList

pragmaClausePRIVATETO

pragmaClausePURE

pragmaClauseRANGE

$\Large\color{red}{\textsf{\textbf{Oberon ONLY!!!}}}$

pragmaClauseRELEASE

pragmaClauseRESIDENT

pragmaClauseRETAIN

pragmaClauseSINGLEASSIGN

pragmaClauseTELL

symbolInspection

pragmaInspection

pragmaTestExpr

pragmaValueExpr

userDefinedMsg

customMsg

msgText

altCustomMsg

pragmaDenoter

pragmaClauseTICKET

TicketNumber

TicketURL

RFC3986 compliant URL

pragmaClauseUNSET

pragmaClauseVARIANT

pragmaClauseVOLATILE

pragmaClauseWEAK

Implementation Defined Pragmas

implDefPragmaClause

implDefPragmaDenoter

implPrefix

implDefPragmaSymbol

Terminal Symbols

Identifiers

StdIdent

LetterOrDigit

TitleOrSnakeCaseIdent

TitleCaseIdent

SnakeCaseIdent

LowerCaseIdent

Numeric Literals

NumberLiteral

Digit

AddressLiteral

Base16DigitSeq

DigitOrAtoF

CharacterCode

Character Strings

StringLiteral

SingleQuotedString

DoubleQuotedString

QuotableCharacter

Letter

Space

ASCII/ISO646 character with code point U+0020

EscapedCharacter

NonAlphaNumQuotable

"!", "#", "$", "%", "&", "(", ")", "*", "+", ",",
"-", ".", "/", ":", ";", "<", "=", ">", "?", "@",
"[", "]", "^", "_", "`", "{", "}", "|", "~"

ExtUnicodeCharacter

Unicode characters with code points above U+009F

Ignore Symbols

Whitespace

Tabulator

ASCII/ISO646 control character with code point U+09

EndOfLine

CR

ASCII/ISO646 control character with code point U+0D

LF

ASCII/ISO646 control character with code point U+0A