Open mingodad opened 1 year ago
Using some online tools like https://www.bottlecaps.de/rr/ui and https://www.bottlecaps.de/convert/ and manually adding the tokens from the lexer we can have a nice navigable railroad diagram.
Copy and paste the EBNF shown bellow on https://www.bottlecaps.de/rr/ui on the tab Edit Grammar the click on the tab View Diagram to see/download a navigable railroad diagram.
EBNF
Edit Grammar
View Diagram
/* converted on Fri Mar 31, 2023, 19:21 (UTC+02) by bison-to-w3c v0.64 which is Copyright (c) 2011-2023 by Gunther Rademacher <grd@gmx.net> */ //From: https://github.com/UPPAALModelChecker/utap/blob/main/src/parser.y Uppaal ::= ( T_NEW | T_NEW_SYSTEM ) XTA | ( T_NEW_DECLARATION | T_NEW_INST ) Declarations | T_NEW_LOCAL_DECL ProcLocalDeclList | T_NEW_PARAMETERS ParameterList | ( T_NEW_INVARIANT | T_NEW_GUARD | T_PROBABILITY | T_EXPRESSION | T_CONDITION ) Expression | T_NEW_SELECT SelectList | T_NEW_SYNC SyncExpr | ( T_NEW_ASSIGN | T_OLD_ASSIGN | T_EXPRESSION_LIST | T_UPDATE ) ExprList | T_OLD OldXTA | T_OLD_DECLARATION OldDeclaration | T_OLD_LOCAL_DECL OldVarDeclList | T_OLD_INST Instantiations | T_OLD_PARAMETERS OldProcParamList | T_OLD_INVARIANT OldInvariant | T_OLD_GUARD OldGuardList | T_PROPERTY PropertyList | T_XTA_PROCESS ProcDecl | T_EXPONENTIAL_RATE ExpRate | T_MESSAGE MessExpr | T_INSTANCE_LINE InstanceLineExpression XTA ::= Declarations System Query* Instantiations ::= ( error ';' )? Instantiation* Instantiation ::= NonTypeId OptionalInstanceParameterList T_ASSIGNMENT NonTypeId '(' ArgList ')' ';' InstanceLineExpression ::= NonTypeId ( '(' ArgList ')' )? OptionalInstanceParameterList ::= ( '(' ParameterList? ')' )? System ::= SysDecl Progress GanttDecl PriorityDecl ::= T_CHAN T_PRIORITY ( ChanElement ( ( ',' | T_LT ) ChanElement )* | error ) ';' ChanElement ::= NonTypeId ( '[' Expression ']' )* | T_DEFAULT SysDecl ::= T_SYSTEM ( NonTypeId ( ( ',' | ProcLessThan ) NonTypeId )* | error ) ';' ProcLessThan ::= T_LT Progress ::= ( T_PROGRESS '{' ( Expression ( ':' Expression )? ';' )* '}' )? GanttDecl ::= ( T_GANTT '{' ( NonTypeId GanttArgs ':' GanttExpr ( ',' GanttExpr )* ';' )* '}' )? GanttArgs ::= ( '(' Id ':' Type ( ',' Id ':' Type )* ')' )? GanttExpr ::= ( T_FOR '(' Id ':' Type ( ',' Id ':' Type )* ')' )? Expression T_ARROW Expression Declarations ::= ( error ';' )? ( FunctionDecl | ExternDecl | VariableDecl | TypeDecl | ProcDecl | BeforeUpdateDecl | AfterUpdateDecl | Instantiation | PriorityDecl | DynamicDeclaration )* DynamicDeclaration ::= T_DYNAMIC NonTypeId OptionalParameterList ';' BeforeUpdateDecl ::= T_BEFORE '{' ExprList '}' AfterUpdateDecl ::= T_AFTER '{' ExprList '}' FunctionDecl ::= Type Id OptionalParameterList '{' BlockLocalDeclList StatementList EndBlock EndBlock ::= '}' | error ExternDecl ::= T_IMPORT T_CHARARR FwdDeclBlock FwdDeclBlock ::= ( '{' ( FwdDecl ';' )+ '}' | FwdDecl ) ';' FwdDecl ::= ( Id T_ASSIGNMENT )? Type Id OptionalParameterList OptionalParameterList ::= '(' ( ParameterList | error )? ')' ParameterList ::= Parameter ( ',' Parameter )* Parameter ::= Type '&'? NonTypeId ArrayDecl VariableDecl ::= Type ( DeclId ( ',' DeclId )* | error ) ';' DeclId ::= Id ArrayDecl VarInit VarInit ::= ( T_ASSIGNMENT Initializer )? Initializer ::= Expression | '{' FieldInit ( ',' FieldInit )* '}' FieldInit ::= ( Id ':' )? Initializer ArrayDecl ::= ( '[' ( Expression | Type | error ) ']' )* TypeDecl ::= T_TYPEDEF ( Type TypeId ( ',' TypeId )* | error ) ';' TypeId ::= Id ArrayDecl Type ::= TypePrefix? ( T_TYPENAME | T_STRUCT '{' ( FieldDeclList | error ) '}' | T_BOOL | T_DOUBLE | T_STRING | T_INT ( '[' Expression ',' Expression ']' )? | T_CHAN | T_SCALAR '[' Expression ']' ) | T_HYBRID? T_CLOCK | T_VOID Id ::= NonTypeId | T_TYPENAME NonTypeId ::= T_ID | 'A' | 'U' | 'W' | 'R' | 'E' | 'M' | T_SUP | T_INF | T_SIMULATION FieldDeclList ::= FieldDecl+ FieldDecl ::= Type FieldDeclId ( ',' FieldDeclId )* ';' FieldDeclId ::= Id ArrayDecl TypePrefix ::= T_URGENT T_BROADCAST? | T_BROADCAST | T_CONST | T_META ProcDecl ::= T_PROCESS Id OptionalParameterList '{' ProcBody '}' ProcBody ::= ( ProcLocalDeclList States Branchpoints? LocFlags Init Transitions )? ProcLocalDeclList ::= ( FunctionDecl | VariableDecl | TypeDecl )* States ::= T_STATE ( StateDecl ( ',' StateDecl )* | error ) ';' StateDecl ::= NonTypeId ( '{' ( ';' ExpRate | error | Expression ( ';' ExpRate )? ) '}' )? Branchpoints ::= T_BRANCHPOINT ( BranchpointDecl ( ',' BranchpointDecl )* | error ) ';' BranchpointDecl ::= NonTypeId Init ::= ( T_INIT NonTypeId | error ) ';' Transitions ::= ( T_TRANS ( Transition ( ',' TransitionOpt )* | error ) ';' )? Transition ::= NonTypeId ( T_ARROW | T_UNCONTROL_ARROW ) NonTypeId '{' Select Guard Sync Assign Probability '}' TransitionOpt ::= ( T_ARROW | T_UNCONTROL_ARROW ) NonTypeId '{' Select Guard Sync Assign '}' | Transition Select ::= ( T_SELECT SelectList ';' )? SelectList ::= Id ':' Type ( ',' Id ':' Type )* Guard ::= ( T_GUARD ( Expression error? | error ) ';' )? Sync ::= ( T_SYNC ( SyncExpr | error ) ';' )? SyncExpr ::= Expression ( error? ( T_EXCLAM | '?' ) )? MessExpr ::= Expression error? Assign ::= ( T_ASSIGN ( ExprList | error ) ';' )? Probability ::= ( T_PROBABILITY ( Expression | error ) ';' )? LocFlags ::= ( Commit | Urgent )* Commit ::= T_COMMIT ( NonTypeId ( ',' NonTypeId )* | error ) ';' Urgent ::= T_URGENT ( NonTypeId ( ',' NonTypeId )* | error ) ';' ExpRate ::= Expression ( ':' Expression )? Block ::= '{' BlockLocalDeclList StatementList '}' BlockLocalDeclList ::= ( VariableDecl | TypeDecl )* StatementList ::= ( Statement | error ';' )* Statement ::= ( IfConditionThenMatched* IfCondition )* MatchedStatement IfCondition ::= T_IF '(' ( ExprList | error ) ')' IfConditionThenMatched ::= IfCondition MatchedStatement T_ELSE MatchedStatement ::= IfConditionThenMatched* OtherStatement OtherStatement ::= Block | ( T_ASSERT? Expression | T_BREAK | T_CONTINUE | T_RETURN Expression? )? ';' | ForStatement | WhileStatement | T_SWITCH '(' ExprList ')' '{' SwitchCase+ '}' ForStatement ::= T_FOR '(' ( ExprList ';' ExprList ';' ExprList | Id ':' Type | error ) ')' Statement WhileStatement ::= T_WHILE '(' ( ExprList | error ) ')' Statement | T_DO Statement T_WHILE '(' ExprList ')' ';' SwitchCase ::= ( T_CASE Expression | T_DEFAULT ) ':' StatementList ExprList ::= Expression ( ',' Expression )* Expression ::= T_FALSE | T_TRUE | T_NAT | T_FLOATING | T_CHARARR | ( ( BuiltinFunction1 '(' | ( BuiltinFunction2 '(' | BuiltinFunction3 '(' Expression ',' ) Expression ',' ) Expression | '(' ( Expression | error ) ) ')' | NonTypeId | Expression ( '(' ( ArgList | error ) ')' | '[' ( Expression | error ) ']' | T_INCREMENT | T_DECREMENT | ( T_LT | T_LEQ | T_EQ | T_NEQ | T_GT | T_GEQ | T_PLUS | T_MINUS | T_MULT | T_DIV | T_MOD | T_POWOP | '&' | T_OR | T_XOR | T_LSHIFT | T_RSHIFT | T_BOOL_AND | T_BOOL_OR | '?' Expression ':' | T_KW_IMPLY | T_KW_AND | T_KW_OR | T_KW_XOR | T_MIN | T_MAX ) Expression | '.' ( T_LOCATION | NonTypeId ) | "\'" ) | ( T_INCREMENT | T_DECREMENT | UnaryOp | ( T_SUM | T_FORALL | T_EXISTS ) '(' Id ':' Type ')' ) Expression | T_MINUS T_POS_NEG_MAX | T_DEADLOCK | DynamicExpression | MITLExpression | Assignment DynamicExpression ::= ( T_SPAWN NonTypeId '(' ArgList | T_EXIT '(' | T_NUMOF '(' NonTypeId | ( T_FORALL | T_EXISTS ) '(' Id ':' NonTypeId ')' '(' Expression ) ')' | ( T_SUM | T_FOREACH ) '(' Id ':' NonTypeId ')' Expression Assignment ::= Expression AssignOp Expression AssignOp ::= T_ASSIGNMENT | T_ASSPLUS | T_ASSMINUS | T_ASSDIV | T_ASSMOD | T_ASSMULT | T_ASSAND | T_ASSOR | T_ASSXOR | T_ASSLSHIFT | T_ASSRSHIFT UnaryOp ::= T_MINUS | T_PLUS | T_EXCLAM | T_KW_NOT BuiltinFunction1 ::= T_ABS | T_FABS | T_EXP | T_EXP2 | T_EXPM1 | T_LN | T_LOG | T_LOG10 | T_LOG2 | T_LOG1P | T_SQRT | T_CBRT | T_SIN | T_COS | T_TAN | T_ASIN | T_ACOS | T_ATAN | T_SINH | T_COSH | T_TANH | T_ASINH | T_ACOSH | T_ATANH | T_ERF | T_ERFC | T_TGAMMA | T_LGAMMA | T_CEIL | T_FLOOR | T_TRUNC | T_ROUND | T_FINT | T_ILOGB | T_LOGB | T_FPCLASSIFY | T_ISFINITE | T_ISINF | T_ISNAN | T_ISNORMAL | T_SIGNBIT | T_ISUNORDERED | T_RANDOM | T_RANDOM_POISSON BuiltinFunction2 ::= T_FMOD | T_FMAX | T_FMIN | T_FDIM | T_POW | T_HYPOT | T_ATAN2 | T_LDEXP | T_NEXTAFTER | T_COPYSIGN | T_RANDOM_ARCSINE | T_RANDOM_BETA | T_RANDOM_GAMMA | T_RANDOM_NORMAL | T_RANDOM_WEIBULL BuiltinFunction3 ::= T_FMA | T_RANDOM_TRI ArgList ::= Expression? ( ',' Expression )* OldXTA ::= OldDeclaration Instantiations System OldDeclaration ::= ( OldVarDecl | OldProcDecl )* OldVarDecl ::= VariableDecl | T_OLDCONST ( OldConstDeclId ( ',' OldConstDeclId )* | error ) ';' OldConstDeclId ::= NonTypeId ArrayDecl Initializer OldProcDecl ::= T_PROCESS ( Id OldProcParams? error? | error ) '{' OldProcBody '}' OldProcParams ::= '(' ( OldProcParamList | error )? ')' OldProcParamList ::= ( OldProcParam | OldProcConstParam ) ( ';' ( OldProcParam | OldProcConstParam ) )* OldProcParam ::= Type NonTypeId ArrayDecl ( ',' NonTypeId ArrayDecl )* OldProcConstParam ::= T_OLDCONST NonTypeId ArrayDecl ( ',' NonTypeId ArrayDecl )* OldProcBody ::= OldVarDeclList OldStates LocFlags Init OldTransitions OldVarDeclList ::= OldVarDecl* OldStates ::= ( T_STATE OldStateDecl ( ',' OldStateDecl )* | error ) ';' OldStateDecl ::= NonTypeId ( '{' OldInvariant '}' )? OldInvariant ::= Expression ( error ',' )? ( ',' Expression )* OldTransitions ::= ( T_TRANS ( OldTransition ( ',' OldTransitionOpt )* | error ) ';' )? OldTransition ::= NonTypeId T_ARROW NonTypeId '{' OldGuard Sync Assign '}' OldTransitionOpt ::= T_ARROW NonTypeId '{' OldGuard Sync Assign '}' | OldTransition OldGuard ::= ( T_GUARD OldGuardList error? ';' )? OldGuardList ::= Expression ( ',' Expression )* ExpQuantifier ::= T_MINEXP | T_MAXEXP SubjectionList ::= Id Subjection ::= ( T_SUBJECT SubjectionList )? Imitation ::= ( T_IMITATE Id )? PropertyList ::= Property ( '\n' Property )* Query ::= T_QUERY '{' ( Property | error ) '}' BoolOrKWAnd ::= T_KW_AND | T_BOOL_AND SubProperty ::= ( T_AF | T_EF | T_EG | Expression T_LEADS_TO ) Expression | T_AG ( '(' Expression BoolOrKWAnd T_AF Expression ')' | Expression ) | 'A' '[' Expression ( 'U' | 'W' ) Expression ']' Features ::= ( BracketExprList T_ARROW BracketExprList )? AssignablePropperty ::= ( T_EF | BracketExprList )? T_CONTROL ':' SubProperty Subjection | T_CONTROL_T T_MULT ( '(' Expression ( ',' Expression )? ')' )? ':' SubProperty | ExpQuantifier ( '(' Expression ')' )? '[' BoundType ']' Features Subjection Imitation | T_LOAD_STRAT Features '(' Expression ')' PropertyExpr ::= ( SubProperty | 'E' SMCBounds '(' Id ':' Expression ')' | T_SIMULATE SMCBounds '{' NonEmptyExpressionList '}' ( ':' ( T_NAT ':' )? Expression )? | T_PROBA ( SMCBounds '(' ( PathType Expression ')' ( CmpGLE T_FLOATING | ( T_SUBJECT SubjectionList )? T_GEQ T_PROBA SMCBounds '(' PathType Expression ')' )? | Expression 'U' Expression ')' ) | Expression ) ) Subjection | T_PMAX Expression | AssignablePropperty | T_SCENARIO ':' NonTypeId | T_SAVE_STRAT '(' Expression ',' Id ')' MITLExpression ::= '(' ( ( Expression ( 'U' | 'R' ) | T_DIAMOND | T_BOX ) '[' T_NAT ',' T_NAT ']' | T_MITL_NEXT ) Expression ')' SMCBounds ::= '[' BoundType ( ';' T_NAT )? ']' BoundType ::= ( T_HASH | Expression )? T_LEQ Expression CmpGLE ::= T_GEQ | T_LEQ PathType ::= T_BOX | T_DIAMOND BracketExprList ::= '{' ExpressionList '}' ExpressionList ::= NonEmptyExpressionList? NonEmptyExpressionList ::= Expression ( ',' Expression )* SupPrefix ::= T_SUP ( '{' Expression '}' )? ':' InfPrefix ::= T_INF ( '{' Expression '}' )? ':' StrategyAssignment ::= T_STRATEGY Id T_ASSIGNMENT AssignablePropperty Property ::= ( StrategyAssignment | PropertyExpr | ( SupPrefix | InfPrefix ) NonEmptyExpressionList Subjection )? //Tokens //\("[^"]+"\)\s+{ return \([^;]+\); } T_EXCLAM ::= "!" T_ARROW ::= "->" T_UNCONTROL_ARROW ::= "-u->" T_ASSIGNMENT ::= "=" T_ASSIGNMENT ::= ":=" T_ASSPLUS ::= "+=" T_ASSMINUS ::= "-=" T_ASSMULT ::= "*=" T_ASSDIV ::= "/=" T_ASSMOD ::= "%=" T_ASSOR ::= "|=" T_ASSAND ::= "&=" T_ASSXOR ::= "^=" T_ASSLSHIFT ::= "<<=" T_ASSRSHIFT ::= ">>=" T_MIN ::= "<?" T_MAX ::= ">?" T_PLUS ::= "+" T_MINUS ::= "-" T_MULT ::= "*" T_DIV ::= "/" T_MOD ::= "%" T_POWOP ::= "**" T_OR ::= "|" T_XOR ::= "^" T_LSHIFT ::= "<<" T_RSHIFT ::= ">>" T_BOOL_OR ::= "||" T_BOOL_AND ::= "&&" T_MITL_AND ::= "/\\" T_MITL_OR ::= "\\/" T_LEQ ::= "<=" T_GEQ ::= ">=" //T_LEQ ::= "=<" //T_GEQ ::= "=>" T_LT ::= "<" T_GT ::= ">" T_EQ ::= "==" T_NEQ ::= "!=" T_INCREMENT ::= "++" T_DECREMENT ::= "--" T_AF ::= "A<>" T_AG ::= "A[]" T_EF ::= "E<>" T_EG ::= "E[]" T_LEADSTO ::= "-->" T_AG_PLUS ::= "A[]+" T_EF_PLUS ::= "E<>+" T_AG_MULT ::= "A[]*" T_EF_MULT ::= "E<>*" T_BOX ::= "[]" T_DIAMOND ::= "<>" T_HASH ::= "#" //{\("[^"]+"\),\s*Keyword{\([^,]+\),.+ T_CONST ::= "const" T_SELECT ::= "select" T_GUARD ::= "guard" T_SYNC ::= "sync" T_ASSIGN ::= "assign" T_PROBABILITY ::= "probability" T_PROCESS ::= "process" T_STATE ::= "state" T_BRANCHPOINT ::= "branchpoint" T_INIT ::= "init" T_TRANS ::= "trans" T_URGENT ::= "urgent" T_COMMIT ::= "commit" T_BROADCAST ::= "broadcast" T_SYSTEM ::= "system" T_TRUE ::= "true" T_FALSE ::= "false" T_KW_AND ::= "and" T_KW_OR ::= "or" T_KW_XOR ::= "xor" T_KW_NOT ::= "not" T_KW_IMPLY ::= "imply" T_FOR ::= "for" T_WHILE ::= "while" T_DO ::= "do" T_IF ::= "if" T_ELSE ::= "else" T_DEFAULT ::= "default" T_RETURN ::= "return" T_TYPEDEF ::= "typedef" T_STRUCT ::= "struct" T_IMPORT ::= "import" T_META ::= "meta" T_BEFORE ::= "before_update" T_AFTER ::= "after_update" T_PROGRESS ::= "progress" T_GANTT ::= "gantt" T_ASSERT ::= "assert" T_IO ::= "IO" T_FORALL ::= "forall" T_EXISTS ::= "exists" T_SUM ::= "sum" T_DEADLOCK ::= "deadlock" T_PRIORITY ::= "priority" T_BOOL ::= "bool" T_INT ::= "int" T_DOUBLE ::= "double" T_STRING ::= "string" T_CHAN ::= "chan" T_CLOCK ::= "clock" T_VOID ::= "void" T_SCALAR ::= "scalar" T_CONTROL ::= "control" T_CONTROL_T ::= "control_t" T_SIMULATION ::= "simulation" T_MINEXP ::= "minE" T_LOAD_STRAT ::= "loadStrategy" T_SAVE_STRAT ::= "saveStrategy" T_MAXEXP ::= "maxE" T_MINPR ::= "minPr" T_MAXPR ::= "maxPr" T_SUBJECT ::= "under" T_IMITATE ::= "imitate" T_STRATEGY ::= "strategy" T_SIMULATE ::= "simulate" T_SCENARIO ::= "sat" T_INF ::= "inf" T_SUP ::= "sup" T_PMAX ::= "Pmax" T_PROBA ::= "Pr" T_MITL_NEXT ::= "X" T_ABS ::= "abs" T_FABS ::= "fabs" T_FMOD ::= "fmod" T_FMA ::= "fma" T_FMAX ::= "fmax" T_FMIN ::= "fmin" T_FDIM ::= "fdim" T_EXP ::= "exp" T_EXP2 ::= "exp2" T_EXPM1 ::= "expm1" T_LN ::= "ln" T_LOG ::= "log" T_LOG10 ::= "log10" T_LOG2 ::= "log2" T_LOG1P ::= "log1p" T_POW ::= "pow" T_SQRT ::= "sqrt" T_CBRT ::= "cbrt" T_HYPOT ::= "hypot" T_SIN ::= "sin" T_COS ::= "cos" T_TAN ::= "tan" T_ASIN ::= "asin" T_ACOS ::= "acos" T_ATAN ::= "atan" T_ATAN2 ::= "atan2" T_SINH ::= "sinh" T_COSH ::= "cosh" T_TANH ::= "tanh" T_ASINH ::= "asinh" T_ACOSH ::= "acosh" T_ATANH ::= "atanh" T_ERF ::= "erf" T_ERFC ::= "erfc" T_TGAMMA ::= "tgamma" T_LGAMMA ::= "lgamma" T_CEIL ::= "ceil" T_FLOOR ::= "floor" T_TRUNC ::= "trunc" T_ROUND ::= "round" T_FINT ::= "fint" T_LDEXP ::= "ldexp" T_ILOGB ::= "ilogb" T_LOGB ::= "logb" T_NEXTAFTER ::= "nextafter" T_COPYSIGN ::= "copysign" T_FPCLASSIFY ::= "fpclassify" T_ISFINITE ::= "isfinite" T_ISINF ::= "isinf" T_ISNAN ::= "isnan" T_ISNORMAL ::= "isnormal" T_SIGNBIT ::= "signbit" T_ISUNORDERED ::= "isunordered" T_RANDOM ::= "random" T_RANDOM_ARCSINE ::= "random_arcsine" T_RANDOM_BETA ::= "random_beta" T_RANDOM_GAMMA ::= "random_gamma" T_RANDOM_NORMAL ::= "random_normal" T_RANDOM_POISSON ::= "random_poisson" T_RANDOM_TRI ::= "random_tri" T_RANDOM_WEIBULL ::= "random_weibull" T_HYBRID ::= "hybrid" T_DYNAMIC ::= "dynamic" T_SPAWN ::= "spawn" T_EXIT ::= "exit" T_NUMOF ::= "numOf" T_FOREACH ::= "foreach" T_QUERY ::= "query" T_LOCATION ::= "location"
Nice! Thank you!
mikucionisaau
commented
1 year ago
Using some online tools like https://www.bottlecaps.de/rr/ui and https://www.bottlecaps.de/convert/ and manually adding the tokens from the lexer we can have a nice navigable railroad diagram.
Copy and paste the
EBNFshown bellow on https://www.bottlecaps.de/rr/ui on the tabEdit Grammarthe click on the tabView Diagramto see/download a navigable railroad diagram.