FPL Syntax Diagrams (Version 1.0.1)

Namespace:

CW NamespaceIdentifier CW NamespaceBlock CW

Namespace
         ::= CW* NamespaceIdentifier CW* NamespaceBlock CW*

no references


NamespaceBlock:

{ CW ExtensionBlock CW UsesClause CW RulesOfInferenceBlock CW TheoryBlock CW LocalizationBlock CW }

NamespaceBlock
         ::= '{' CW* ExtensionBlock? CW* UsesClause? CW* RulesOfInferenceBlock? CW* TheoryBlock CW* LocalizationBlock? CW* '}'

referenced by:


WildcardTheoryNamespaceList:

WildcardTheoryNamespace IW , IW

WildcardTheoryNamespaceList
         ::= WildcardTheoryNamespace ( IW? ',' IW? WildcardTheoryNamespace )*

referenced by:


ExtensionBlock:

ExtensionHeader SW ExtensionContent IW ExtensionTail

ExtensionBlock
         ::= ExtensionHeader SW ExtensionContent IW? ExtensionTail

referenced by:


ExtensionHeader:

: ext

ExtensionHeader
         ::= ':' 'ext'

referenced by:


ExtensionContent:

regular_expression /((?!:end).)*/

ExtensionContent
         ::= regular_expression '/((?!:end).)*/'

referenced by:


ExtensionTail:

: end SW

ExtensionTail
         ::= ':' 'end' SW

referenced by:


UsesClause:

uses SW WildcardTheoryNamespaceList SW

UsesClause
         ::= 'uses' SW WildcardTheoryNamespaceList SW

referenced by:


TheoryBlock:

TheoryHeader CW { CW BuildingBlockList CW }

TheoryBlock
         ::= TheoryHeader CW* '{' CW* BuildingBlockList? CW* '}'

referenced by:


RulesOfInferenceBlock:

InferenceHeader CW { CW RuleOfInferenceList CW }

RulesOfInferenceBlock
         ::= InferenceHeader CW* '{' CW* RuleOfInferenceList CW* '}'

referenced by:


InferenceHeader:

inference inf

InferenceHeader
         ::= 'inference'
           | 'inf'

referenced by:


PremiseHeader:

premise pre

PremiseHeader
         ::= 'premise'
           | 'pre'

referenced by:


ConclusionHeader:

conclusion con

ConclusionHeader
         ::= 'conclusion'
           | 'con'

referenced by:


RuleOfInferenceList:

RuleOfInference CW

RuleOfInferenceList
         ::= RuleOfInference ( CW* RuleOfInference )*

referenced by:


RuleOfInference:

Signature IW PremiseConclusionBlock

RuleOfInference
         ::= Signature IW? PremiseConclusionBlock

referenced by:


PremiseConclusionBlock:

{ CW VariableSpecificationList CW PremiseBlock CW ConclusionBlock CW }

PremiseConclusionBlock
         ::= '{' CW* VariableSpecificationList? CW* PremiseBlock CW* ConclusionBlock CW* '}'

referenced by:


PremiseBlock:

PremiseHeader IW : CW Predicate

PremiseBlock
         ::= PremiseHeader IW? ':' CW* Predicate?

referenced by:


ConclusionBlock:

ConclusionHeader IW : CW Predicate

ConclusionBlock
         ::= ConclusionHeader IW? ':' CW* Predicate

referenced by:


TheoryHeader:

theory th

TheoryHeader
         ::= 'theory'
           | 'th'

referenced by:


BuildingBlockList:

BuildingBlock CW

BuildingBlockList
         ::= BuildingBlock ( CW* BuildingBlock )*

referenced by:


BuildingBlock:

Definition Axiom TheoremLikeStatementOrConjecture Proof

BuildingBlock
         ::= Definition
           | Axiom
           | TheoremLikeStatementOrConjecture
           | Proof

referenced by:


Definition:

DefinitionClass DefinitionPredicate DefinitionFunctionalTerm

Definition
         ::= DefinitionClass
           | DefinitionPredicate
           | DefinitionFunctionalTerm

referenced by:


DefinitionClass:

ClassHeader SW PredicateIdentifier IW : IW GeneralType CW ObjectDefinitionBlock

DefinitionClass
         ::= ClassHeader SW PredicateIdentifier IW? ':' IW? GeneralType CW* ObjectDefinitionBlock

referenced by:


ObjectDefinitionBlock:

{ CW VariableSpecificationList CW DefinitionContentList CW }

ObjectDefinitionBlock
         ::= '{' CW* VariableSpecificationList? CW* DefinitionContentList? CW* '}'

referenced by:


FunctionalTermDefinitionBlock:

{ CW VariableSpecificationList CW PropertyList CW }

FunctionalTermDefinitionBlock
         ::= '{' CW* VariableSpecificationList? CW* PropertyList? CW* '}'

referenced by:


DefinitionContentList:

DefinitionContent CW

DefinitionContentList
         ::= DefinitionContent ( CW* DefinitionContent )*

referenced by:


DefinitionContent:

Property Constructor

DefinitionContent
         ::= Property
           | Constructor

referenced by:


DefinitionFunctionalTerm:

FunctionalTermSignature CW FunctionalTermDefinitionBlock

DefinitionFunctionalTerm
         ::= FunctionalTermSignature CW* FunctionalTermDefinitionBlock

referenced by:


FunctionalTermSignature:

FunctionalTermHeader SW Signature IW Mapping

FunctionalTermSignature
         ::= FunctionalTermHeader SW Signature IW? Mapping

referenced by:


Mapping:

-> IW TypeOrTupleOfTypes

Mapping  ::= '->' IW? TypeOrTupleOfTypes

referenced by:


VariableSpecificationList:

CW VariableSpecification SW

VariableSpecificationList
         ::= ( CW* VariableSpecification SW )+

referenced by:


VariableSpecification:

Statement NamedVariableDeclaration

VariableSpecification
         ::= Statement
           | NamedVariableDeclaration

referenced by:


AssertionStatement:

assert SW Predicate

AssertionStatement
         ::= 'assert' SW Predicate

referenced by:


VariableDeclaration:

AnonymousDeclaration NamedVariableDeclaration

VariableDeclaration
         ::= AnonymousDeclaration
           | NamedVariableDeclaration

referenced by:


AnonymousDeclaration:

AnonymousSignature GeneralType

AnonymousDeclaration
         ::= AnonymousSignature
           | GeneralType

referenced by:


NamedVariableDeclaration:

VariableList IW : IW VariableType

NamedVariableDeclaration
         ::= VariableList IW? ':' IW? VariableType

referenced by:


VariableType:

AnonymousSignature GeneralType

VariableType
         ::= AnonymousSignature
           | GeneralType

referenced by:


GeneralType:

CallModifier TypeWithCoord Type IndexHeader

GeneralType
         ::= CallModifier? ( TypeWithCoord | Type | IndexHeader )

referenced by:


IndexHeader:

index ind

IndexHeader
         ::= 'index'
           | 'ind'

referenced by:


Type:

PredicateIdentifier XId PredicateHeader FunctionalTermHeader ObjectHeader

Type     ::= PredicateIdentifier
           | XId
           | PredicateHeader
           | FunctionalTermHeader
           | ObjectHeader

referenced by:


VariableList:

Variable IW , IW

VariableList
         ::= Variable ( IW? ',' IW? Variable )*

referenced by:


TypeOrTupleOfTypes:

TupleOfTypes VariableType

TypeOrTupleOfTypes
         ::= TupleOfTypes
           | VariableType

referenced by:


TupleOfTypes:

( IW GeneralType , IW )

TupleOfTypes
         ::= '(' IW? GeneralType ( IW? ',' IW? GeneralType )* ')'

referenced by:


DefinitionPredicate:

PredicateHeader SW Signature CW PredicateDefinitionBlock

DefinitionPredicate
         ::= PredicateHeader SW Signature CW* PredicateDefinitionBlock

referenced by:


PredicateHeader:

predicate pred

PredicateHeader
         ::= 'predicate'
           | 'pred'

referenced by:


FunctionalTermHeader:

function func

FunctionalTermHeader
         ::= 'function'
           | 'func'

referenced by:


PredicateDefinitionBlock:

{ CW VariableSpecificationList CW Predicate CW }

PredicateDefinitionBlock
         ::= '{' CW* VariableSpecificationList? CW* Predicate? CW* '}'

referenced by:


PredicateIdentifier:

AliasedId IdStartsWithCap

PredicateIdentifier
         ::= AliasedId
           | IdStartsWithCap

referenced by:


AliasedId:

IdStartsWithCap . IdStartsWithCap

AliasedId
         ::= IdStartsWithCap ( '.' IdStartsWithCap )+

referenced by:


ClassHeader:

class cl

ClassHeader
         ::= 'class'
           | 'cl'

referenced by:


ObjectHeader:

object obj LongTemplateHeader TemplateHeader

ObjectHeader
         ::= 'object'
           | 'obj'
           | LongTemplateHeader
           | TemplateHeader

referenced by:


LongTemplateHeader:

TemplateHeader IdStartsWithCap Digit

LongTemplateHeader
         ::= TemplateHeader ( IdStartsWithCap | Digit )

referenced by:


TemplateHeader:

template tpl

TemplateHeader
         ::= 'template'
           | 'tpl'

referenced by:


Axiom:

AxiomHeader SW Signature CW AxiomBlock

Axiom    ::= AxiomHeader SW Signature CW* AxiomBlock

referenced by:


AxiomHeader:

axiom ax postulate post

AxiomHeader
         ::= 'axiom'
           | 'ax'
           | 'postulate'
           | 'post'

referenced by:


AxiomBlock:

{ CW VariableSpecificationList CW Predicate CW }

AxiomBlock
         ::= '{' CW* VariableSpecificationList? CW* Predicate CW* '}'

referenced by:


PropertyList:

Property

PropertyList
         ::= Property+

referenced by:


Property:

CW PropertyHeader SW DefinitionProperty

Property ::= CW* PropertyHeader SW DefinitionProperty

referenced by:


DefinitionProperty:

ClassInstance DefinitionPredicate FunctionalTermInstance

DefinitionProperty
         ::= ClassInstance
           | DefinitionPredicate
           | FunctionalTermInstance

referenced by:


ClassInstance:

GeneralType SW Signature CW InstanceBlock

ClassInstance
         ::= GeneralType SW Signature CW* InstanceBlock

referenced by:


FunctionalTermInstance:

FunctionalTermSignature CW InstanceBlock

FunctionalTermInstance
         ::= FunctionalTermSignature CW* InstanceBlock

referenced by:


PropertyHeader:

mandatory mand optional opt

PropertyHeader
         ::= 'mandatory'
           | 'mand'
           | 'optional'
           | 'opt'

referenced by:


Constructor:

Signature CW InstanceBlock

Constructor
         ::= Signature CW* InstanceBlock

referenced by:


InstanceBlock:

{ CW VariableSpecificationList CW }

InstanceBlock
         ::= '{' CW* VariableSpecificationList CW* '}'

referenced by:


Signature:

PredicateIdentifier IW ParamTuple

Signature
         ::= PredicateIdentifier IW? ParamTuple

referenced by:


AnonymousSignature:

GeneralType IW ParamTuple

AnonymousSignature
         ::= GeneralType IW? ParamTuple

referenced by:


ParamTuple:

( IW ParamList IW )

ParamTuple
         ::= '(' IW? ParamList? IW? ')'

referenced by:


ParamList:

/ ArgumentIdentifier IW , IW / ArgumentIdentifier VariableDeclarationList

ParamList
         ::= '/' ArgumentIdentifier IW? ',' IW? '/' ArgumentIdentifier
           | VariableDeclarationList

referenced by:


VariableDeclarationList:

VariableDeclaration IW , IW

VariableDeclarationList
         ::= VariableDeclaration ( IW? ',' IW? VariableDeclaration )*

referenced by:


TypeWithCoord:

Type LeftBound IW RangeInSignature CoordInSignature IW RightBound

TypeWithCoord
         ::= Type LeftBound IW? ( RangeInSignature | CoordInSignature ) IW? RightBound

referenced by:


EntityWithCoord:

Entity [ IW Range CoordList IW ]

EntityWithCoord
         ::= Entity '[' IW? ( Range | CoordList ) IW? ']'

referenced by:


CoordList:

Coord IW , IW

CoordList
         ::= Coord ( IW? ',' IW? Coord )*

referenced by:


CoordInSignature:

VariableType Coord

CoordInSignature
         ::= VariableType
           | Coord

referenced by:


Entity:

Variable AtList self

Entity   ::= Variable
           | AtList? 'self'

referenced by:


AtList:

@

AtList   ::= '@'+

referenced by:


Coord:

Assignee PrimePredicate

Coord    ::= Assignee
           | PrimePredicate

referenced by:


RangeInSignature:

CoordInSignature IW ~ IW CoordInSignature

RangeInSignature
         ::= CoordInSignature? IW? '~' IW? CoordInSignature?

referenced by:


Range:

Coord IW ~ IW Coord

Range    ::= Coord? IW? '~' IW? Coord?

referenced by:


CallModifier:

* +

CallModifier
         ::= '*'
           | '+'

referenced by:


ConditionFollowedByResultList:

ConditionFollowedByResult CW

ConditionFollowedByResultList
         ::= ConditionFollowedByResult ( CW* ConditionFollowedByResult )*

referenced by:


ConditionFollowedByResult:

Predicate CW : CW StatementList

ConditionFollowedByResult
         ::= Predicate CW* ':' CW* StatementList

referenced by:


TheoremLikeStatementOrConjecture:

TheoremLikeStatementOrConjectureHeader SW Signature IW PremiseConclusionBlock

TheoremLikeStatementOrConjecture
         ::= TheoremLikeStatementOrConjectureHeader SW Signature IW? PremiseConclusionBlock

referenced by:


TheoremLikeStatementOrConjectureHeader:

theorem thm conjecture conj proposition prop lemma lem corollary cor

TheoremLikeStatementOrConjectureHeader
         ::= 'theorem'
           | 'thm'
           | 'conjecture'
           | 'conj'
           | 'proposition'
           | 'prop'
           | 'lemma'
           | 'lem'
           | 'corollary'
           | 'cor'

referenced by:


Proof:

ProofHeadHeader SW ProofIdentifier IW ProofBlock

Proof    ::= ProofHeadHeader SW ProofIdentifier IW? ProofBlock

referenced by:


ProofIdentifier:

PredicateIdentifier Digit

ProofIdentifier
         ::= PredicateIdentifier '' Digit

referenced by:


ProofHeadHeader:

proof prf

ProofHeadHeader
         ::= 'proof'
           | 'prf'

referenced by:


ProofBlock:

{ CW VariableSpecificationList CW ProofArgumentList CW }

ProofBlock
         ::= '{' CW* VariableSpecificationList? CW* ProofArgumentList CW* '}'

referenced by:


ProofArgumentList:

ProofArgument CW

ProofArgumentList
         ::= ProofArgument ( CW* ProofArgument )*

referenced by:


ProofArgument:

ArgumentIdentifier . SW Justification SW ArgumentInference SW

ProofArgument
         ::= ArgumentIdentifier '.' SW ( Justification SW )? ArgumentInference SW

referenced by:


AssumeHeader:

assume ass

AssumeHeader
         ::= 'assume'
           | 'ass'

referenced by:


AssumedPredicate:

AssumeHeader SW PremiseOrOtherPredicate

AssumedPredicate
         ::= AssumeHeader SW PremiseOrOtherPredicate

referenced by:


DerivedPredicate:

|- SW Predicate qed trivial

DerivedPredicate
         ::= '|-' SW ( Predicate | 'qed' | 'trivial' )

referenced by:


PremiseOrOtherPredicate:

PremiseHeader DerivedPredicate

PremiseOrOtherPredicate
         ::= PremiseHeader
           | DerivedPredicate

referenced by:


ArgumentInference:

AssumedPredicate DerivedPredicate Revoke

ArgumentInference
         ::= AssumedPredicate
           | DerivedPredicate
           | Revoke

referenced by:


Revoke:

RevokeHeader SW / ArgumentIdentifier

Revoke   ::= RevokeHeader SW '/' ArgumentIdentifier

referenced by:


RevokeHeader:

revoke rev

RevokeHeader
         ::= 'revoke'
           | 'rev'

referenced by:


Justification:

/ ReferencedResultIdentifier IW , IW

Justification
         ::= '/' ReferencedResultIdentifier ( IW? ',' IW? '/' ReferencedResultIdentifier )*

referenced by:


ReferencedResultIdentifier:

ArgumentIdentifier Signature PredicateIdentifier

ReferencedResultIdentifier
         ::= ArgumentIdentifier
           | Signature
           | PredicateIdentifier

referenced by:


Predicate:

CompoundPredicate PrimePredicate

Predicate
         ::= CompoundPredicate
           | PrimePredicate

referenced by:


PrimePredicate:

PredicateWithArguments QualifiedIdentifier Statement Identifier IsOperator true false UndefinedHeader

PrimePredicate
         ::= PredicateWithArguments
           | QualifiedIdentifier
           | Statement
           | Identifier
           | IsOperator
           | 'true'
           | 'false'
           | UndefinedHeader

referenced by:


QualifiedIdentifier:

Identifier . PredicateWithArguments

QualifiedIdentifier
         ::= Identifier ( '.' PredicateWithArguments )+

referenced by:


PredicateWithArguments:

Identifier IW ( IW PredicateList IW )

PredicateWithArguments
         ::= Identifier IW? '(' IW? PredicateList? IW? ')'

referenced by:


Identifier:

PredicateIdentifier AmpersandVariable IndexValue Assignee extDigit

Identifier
         ::= PredicateIdentifier
           | AmpersandVariable
           | IndexValue
           | Assignee
           | extDigit

referenced by:


AmpersandVariable:

& Variable

AmpersandVariable
         ::= '&' Variable

referenced by:


IndexValue:

Variable Digit Variable

IndexValue
         ::= Variable '' ( Digit | Variable )

referenced by:


PredicateList:

Predicate CW , CW

PredicateList
         ::= Predicate ( CW* ',' CW* Predicate )*

referenced by:


CompoundPredicate:

Conjunction Disjunction Implication Equivalence ExclusiveOr Negation All Exists

CompoundPredicate
         ::= Conjunction
           | Disjunction
           | Implication
           | Equivalence
           | ExclusiveOr
           | Negation
           | All
           | Exists

referenced by:


IsOperator:

is IW ( CW Identifier CW , IW VariableType IW )

IsOperator
         ::= 'is' IW? '(' CW* Identifier CW* ',' IW? VariableType IW? ')'

referenced by:


Negation:

not IW ParenthesisedPredicate

Negation ::= 'not' IW? ParenthesisedPredicate

referenced by:


Conjunction:

and CW ( CW PredicateList CW )

Conjunction
         ::= 'and' CW* '(' CW* PredicateList CW* ')'

referenced by:


Disjunction:

or CW ( CW PredicateList CW )

Disjunction
         ::= 'or' CW* '(' CW* PredicateList CW* ')'

referenced by:


Implication:

impl CW ( CW Predicate CW , CW Predicate CW )

Implication
         ::= 'impl' CW? '(' CW* Predicate CW* ',' CW* Predicate CW* ')'

referenced by:


Equivalence:

iif CW ( CW Predicate CW , CW Predicate CW )

Equivalence
         ::= 'iif' CW? '(' CW* Predicate CW* ',' CW* Predicate CW* ')'

referenced by:


ExclusiveOr:

xor CW ( CW Predicate CW , CW Predicate CW )

ExclusiveOr
         ::= 'xor' CW? '(' CW* Predicate CW* ',' CW* Predicate CW* ')'

referenced by:


ParenthesisedPredicate:

( CW Predicate CW )

ParenthesisedPredicate
         ::= '(' CW* Predicate CW* ')'

referenced by:


All:

all SW VariableList CW ParenthesisedPredicate

All      ::= 'all' SW VariableList CW? ParenthesisedPredicate

referenced by:


Exists:

ExistsHeader SW VariableList CW ParenthesisedPredicate

Exists   ::= ExistsHeader SW VariableList CW? ParenthesisedPredicate

referenced by:


ExistsHeader:

ExistsTimesN ex

ExistsHeader
         ::= ExistsTimesN
           | 'ex'

referenced by:


ExistsTimesN:

ex Digit

ExistsTimesN
         ::= 'ex' '' Digit

referenced by:


PythonDelegate:

py . PythonIdentifier IW ( IW VariableList IW )

PythonDelegate
         ::= 'py' '.' PythonIdentifier IW? '(' IW? VariableList IW? ')'

referenced by:


PythonIdentifier:

regular_expression /[a-z_]+/

PythonIdentifier
         ::= regular_expression '/[a-z_]+/'

referenced by:


StatementList:

Statement SW CW

StatementList
         ::= Statement SW ( CW* Statement SW )*

referenced by:


Statement:

PythonDelegate CaseStatement AssertionStatement AssignmentStatement RangeStatement LoopStatement ReturnStatement

Statement
         ::= PythonDelegate
           | CaseStatement
           | AssertionStatement
           | AssignmentStatement
           | RangeStatement
           | LoopStatement
           | ReturnStatement

referenced by:


ReturnStatement:

ReturnHeader SW Predicate

ReturnStatement
         ::= ReturnHeader SW Predicate

referenced by:


CaseStatement:

case CW ( CW ConditionFollowedByResultList CW DefaultResult CW )

CaseStatement
         ::= 'case' CW* '(' CW* ConditionFollowedByResultList CW* DefaultResult CW* ')'

referenced by:


LoopStatement:

loop SW RangeOrLoopBody

LoopStatement
         ::= 'loop' SW RangeOrLoopBody

referenced by:


RangeStatement:

range SW RangeOrLoopBody

RangeStatement
         ::= 'range' SW RangeOrLoopBody

referenced by:


RangeOrLoopBody:

Assignee SW KeysOfVariadicVariable ClosedOrOpenRange Assignee CW ( CW StatementList CW )

RangeOrLoopBody
         ::= Assignee SW ( KeysOfVariadicVariable | ClosedOrOpenRange | Assignee ) CW* '(' CW* StatementList CW* ')'

referenced by:


KeysOfVariadicVariable:

Variable

KeysOfVariadicVariable
         ::= Variable ''

referenced by:


ClosedOrOpenRange:

LeftBound IW Range IW RightBound

ClosedOrOpenRange
         ::= LeftBound IW? Range IW? RightBound

referenced by:


LeftBound:

[ !

LeftBound
         ::= '[' '!'?

referenced by:


RightBound:

! ]

RightBound
         ::= '!'? ']'

referenced by:


DefaultResult:

else IW : CW StatementList

DefaultResult
         ::= 'else' IW? ':' CW* StatementList

referenced by:


AssignmentStatement:

Assignee IW := IW Predicate

AssignmentStatement
         ::= Assignee IW? ':=' IW? Predicate

referenced by:


Assignee:

EntityWithCoord Entity

Assignee ::= EntityWithCoord
           | Entity

referenced by:


ReturnHeader:

return ret

ReturnHeader
         ::= 'return'
           | 'ret'

referenced by:


UndefinedHeader:

undefined undef

UndefinedHeader
         ::= 'undefined'
           | 'undef'

referenced by:


NamespaceIdentifier:

IdStartsWithCap .

NamespaceIdentifier
         ::= IdStartsWithCap ( '.' IdStartsWithCap )*

referenced by:


ArgumentIdentifier:

Digit IdStartsWithSmallCase

ArgumentIdentifier
         ::= Digit IdStartsWithSmallCase?

referenced by:


WildcardTheoryNamespace:

NamespaceIdentifier NamespaceModifier

WildcardTheoryNamespace
         ::= NamespaceIdentifier NamespaceModifier?

referenced by:


NamespaceModifier:

. * Alias

NamespaceModifier
         ::= '.' '*'
           | Alias

referenced by:


Alias:

IW alias IW IdStartsWithCap

Alias    ::= IW 'alias' IW IdStartsWithCap

referenced by:


IdStartsWithCap:

regular_expression /[A-Z][a-z0-9A-Z_]*/

IdStartsWithCap
         ::= regular_expression '/[A-Z][a-z0-9A-Z_]*/'

referenced by:


IdStartsWithSmallCase:

regular_expression /[a-z][a-z0-9A-Z_]*/

IdStartsWithSmallCase
         ::= regular_expression '/[a-z][a-z0-9A-Z_]*/'

referenced by:


SW:

IW

SW       ::= IW

referenced by:


CW:

IW Comment LongComment

CW       ::= IW
           | Comment
           | LongComment

referenced by:


Comment:

regular_expression /\/\/[^\n]*/

Comment  ::= regular_expression '/\/\/[^\n]*/'

referenced by:


LongComment:

regular_expression /\/\*((?:.|\n)*?)\*\//

LongComment
         ::= regular_expression '/\/\*((?:.|\n)*?)\*\//'

referenced by:


IW:

regular_expression /(\r\n\t]+/

IW       ::= regular_expression '/(\r\n\t]+/'

referenced by:


XId:

@ ext IdStartsWithCap

XId      ::= '@' 'ext' IdStartsWithCap

referenced by:


Variable:

IdStartsWithSmallCase

Variable ::= IdStartsWithSmallCase

referenced by:


Digit:

regular_expression /\d+/

Digit    ::= regular_expression '/\d+/'

referenced by:


LocalizationBlock:

LocalizationHeader CW { CW LocalizationList CW }

LocalizationBlock
         ::= LocalizationHeader CW* '{' CW* LocalizationList CW* '}'

referenced by:


LocalizationList:

Localization CW

LocalizationList
         ::= Localization ( CW* Localization )*

referenced by:


Localization:

Predicate IW := IW TranslationList IW ;

Localization
         ::= Predicate IW? ':=' IW? TranslationList IW? ';'

referenced by:


TranslationList:

Translation SW

TranslationList
         ::= Translation ( SW Translation )*

referenced by:


Translation:

~ LanguageCode IW : IW EBNFTransl

Translation
         ::= '~' LanguageCode IW? ':' IW? EBNFTransl

referenced by:


LanguageCode:

regular_expression /[a-z]{3}/

LanguageCode
         ::= regular_expression '/[a-z]{3}/'

referenced by:


EBNFTransl:

EBNFTerm IW | IW

EBNFTransl
         ::= EBNFTerm ( IW? '|' IW? EBNFTerm )*

referenced by:


EBNFTerm:

EBNFFactor IW

EBNFTerm ::= EBNFFactor ( IW? EBNFFactor )*

referenced by:


EBNFFactor:

Variable EBNFString ( IW EBNFTransl IW )

EBNFFactor
         ::= Variable
           | EBNFString
           | '(' IW? EBNFTransl IW? ')'

referenced by:


EBNFString:

regular_expression /\"[^\"]*\"/

EBNFString
         ::= regular_expression '/\"[^\"]*\"/'

referenced by:


LocalizationHeader:

localization loc

LocalizationHeader
         ::= 'localization'
           | 'loc'

referenced by:


extDigit:

regular_expression /\d+/

extDigit ::= regular_expression '/\d+/'

referenced by:



  ... generated by RR - Railroad Diagram Generator R R