Fuzion Logo
fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.
Fuzion • fuzion_railroad

unit:

block EOF

no references


semiOrFlatLF:

; LF

referenced by:


feature:

modAndNames routOrField

referenced by:


modAndNames:

visibility modifiers qual ,

referenced by:


routOrField:

routine field

referenced by:


routine:

formArgsOpt returnType effects inherits contract implRout

referenced by:


field:

returnType contract implFldOrRout

referenced by:


visibility:

visiFlag

referenced by:


visiFlag:

private : module public module : public public

referenced by:


qual:

type universe . namequal

referenced by:


namequal:

name . qual

referenced by:


name:

IDENT opName ternary ? : index [ .. ] set [ ] IDENT

referenced by:


opName:

infix infix_right prefix postfix OPERATOR

referenced by:


modifiers:

modifier

referenced by:


modifier:

redef fixed

referenced by:


formArgsOpt:

formArgs

referenced by:


formArgs:

( argLst )

referenced by:


argLst:

argument ,

referenced by:


argument:

visibility modifiers argNames argType

referenced by:


argType:

type ... typeType : type

referenced by:


typeType:

type ...

referenced by:


argNames:

name ,

referenced by:


returnType:

boundType ref

referenced by:


effects:

! typeList

referenced by:


inherits:

inherit

referenced by:


inherit:

: inheritanceCall ,

referenced by:


inheritanceCall:

call0 expr

referenced by:


call:

name actualArgs callTail

referenced by:


indexCall:

[ actualCommas ] indexTail

referenced by:


indexTail:

:= exprInLine

referenced by:


callTail:

indexCall dotCall

referenced by:


dotCall:

. call env type this select callTail

referenced by:


select:

NUM_LITERAL

referenced by:


typeList:

type ,

referenced by:


actualArgs:

actualSpace ( actualCommas )

referenced by:


actualCommas:

actualSome

referenced by:


actualSome:

operatorExpr actualMore

referenced by:


actualMore:

, actualSome

referenced by:


bracketTerm:

brblock klammer inlineArray

referenced by:


actualSpace:

operatorExpr

referenced by:


exprInLine:

operatorExpr

referenced by:


operatorExpr:

opExpr ? exprNoColon : expr casesBars

referenced by:


exprNoColon:

operatorExpr

referenced by:


opExpr:

opsOpt term opsTail callTail OPERATOR

referenced by:


opsOpt:

ops

referenced by:


ops:

OPERATOR

referenced by:


opsTail:

ops term ops callTail

referenced by:


klammer:

( block ) tuple lambda

referenced by:


tuple:

( actualCommas )

referenced by:


lambda:

-> block

referenced by:


plainLambda:

argNames lambda

referenced by:


inlineArray:

[ cmaSepElmts semiSepElmts ]

referenced by:


cmaSepElmts:

operatorExpr addCmaElmts

referenced by:


addCmaElmts:

, cmaSepElmts

referenced by:


semiSepElmts:

operatorExpr addSemiElmts

referenced by:


addSemiElmts:

; semiSepElmts

referenced by:


term:

simpleterm callTail dotCall

referenced by:


simpleterm:

bracketTerm stringTerm NUM_LITERAL match loop ifexpr callOrFeatOrThis

referenced by:


stringTerm:

"any chars" " any chars $ IDENT stringTermD " any chars{ block stringTermB

referenced by:


stringTermD:

any chars$ IDENT any chars" any chars{ block stringTermB

referenced by:


stringTermB:

}any chars{ block }any chars" }any chars$ IDENT stringTermD

referenced by:


match:

match exprInLine cases { cases }

referenced by:


cases:

| casesBars caze semiOrFlatLF

referenced by:


casesBars:

caze |

referenced by:


caze:

caseFldDcl caseTypes caseStar

referenced by:


caseFldDcl:

IDENT type caseBlock

referenced by:


caseTypes:

typeList caseBlock

referenced by:


caseStar:

* caseBlock

referenced by:


caseBlock:

=> block

referenced by:


block:

exprs brblock

referenced by:


brblock:

{ exprs }

referenced by:


exprs:

expr semiOrFlatLF

referenced by:


expr:

checkexpr assign feature operatorExpr

referenced by:


loop:

loopProlog loopBody loopEpilog loopEpilog loopBody loopEpilog

referenced by:


loopProlog:

for indexVar semiOrFlatLF variant exprInLine variant exprInLine

referenced by:


loopBody:

while exprInLine do do block

referenced by:


loopEpilog:

until exprInLine thenPart elseBlockOpt elseBlock

referenced by:


indexVar:

visibility modifiers name type implFldInit nextValue implFldIter

referenced by:


implFldIter:

in exprInLine

referenced by:


nextValue:

, exprInLine

referenced by:


ifexpr:

if exprInLine thenPart elseBlockOpt

referenced by:


thenPart:

then block

referenced by:


elseBlockOpt:

elseBlock

referenced by:


elseBlock:

else block

referenced by:


checkexpr:

check block

referenced by:


assign:

set name := exprInLine

referenced by:


callOrFeatOrThis:

anonymous plainLambda call0

referenced by:


call0:

universeCall call

referenced by:


universeCall:

universe . call

referenced by:


anonymous:

_ inherit is block

referenced by:


contract:

require ensure

referenced by:


require:

pre else block

referenced by:


ensure:

post then block

referenced by:


invariant:

inv block

no references


implRout:

=> abstract intrinsic native block is block

referenced by:


implFldOrRout:

implRout implFldInit

referenced by:


implFldInit:

:= operatorExpr

referenced by:


type:

boundType freeType

referenced by:


freeType:

name : type

referenced by:


boundType:

onetype |

referenced by:


onetype:

simpletype pTypeList -> simpletype ( type ) typeTail

referenced by:


pTypeList:

( typeList )

referenced by:


pTypeListOpt:

pTypeList

no references


typeOpt:

type

no references


simpletype:

name typeInParens ( typeList ) typeTail

referenced by:


typeTail:

. this . simpletype

referenced by:


typeInParens:

( typeInParens ) type

referenced by:


OPERATOR:

! $ % & * + - . : < = > ? ^ | ~

referenced by:


LF:

[#xD] [#xA] [#xD] \f

referenced by:


IDENT:

[a-z] [A-Z] [a-z] [A-Z] [0-9] _

referenced by:


NUM_LITERAL:

DIGITS_W_DOT EXPONENT

referenced by:


EXPONENT:

E P PLUSMINUS DIGITS

referenced by:


PLUSMINUS:

+ -

referenced by:


DIGITS:

DEC_DIGIT_ DEC_DIGITS_ 0 b BIN_DIGIT_ BIN_DIGITS_ o OCT_DIGIT_ OCT_DIGITS_ d DEC_DIGIT_ DEC_DIGITS_ x HEX_DIGIT_ HEX_DIGITS_

referenced by:


DIGITS_W_DOT:

DIGITS DEC_DIGIT_ DEC_DIGITS_ DEC_TAIL 0 b BIN_DIGIT_ BIN_DIGITS_ BIN_TAIL o OCT_DIGIT_ OCT_DIGITS_ OCT_TAIL d DEC_DIGIT_ DEC_DIGITS_ DEC_TAIL x HEX_DIGIT_ HEX_DIGITS_ HEX_TAIL

referenced by:


UNDERSCORE:

_

referenced by:


BIN_DIGIT:

0 1

referenced by:


BIN_DIGIT_:

UNDERSCORE BIN_DIGIT

referenced by:


BIN_DIGITS_:

BIN_DIGIT_

referenced by:


BIN_TAIL:

.0b BIN_DIGIT

referenced by:


OCT_DIGIT:

0 1 2 3 4 5 6 7

referenced by:


OCT_DIGIT_:

UNDERSCORE OCT_DIGIT

referenced by:


OCT_DIGITS_:

OCT_DIGIT_

referenced by:


OCT_TAIL:

.0o OCT_DIGIT

referenced by:


DEC_DIGIT:

0 1 2 3 4 5 6 7 8 9

referenced by:


DEC_DIGIT_:

UNDERSCORE DEC_DIGIT

referenced by:


DEC_DIGITS_:

DEC_DIGIT_

referenced by:


DEC_TAIL:

. .0d DEC_DIGIT

referenced by:


HEX_DIGIT:

0 1 2 3 4 5 6 7 8 9 a b c d e f g h i j k l m n o p q r s t u v w x y z A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

referenced by:


HEX_DIGIT_:

UNDERSCORE HEX_DIGIT

referenced by:


HEX_DIGITS_:

HEX_DIGIT_

referenced by:


HEX_TAIL:

.0x HEX_DIGIT

referenced by:


EOF:

$

referenced by:


Diagrams generated using RR - Railroad Diagram Generator and ebnf-convert - Grammar Converter.

last changed: 2026-06-30