NonTerminals.def

(*!m2r10*) (* Copyright (c) 2015 B.Kowarsch. All rights reserved. *)

DEFINITION MODULE NonTerminals;

(* FIRST/FOLLOW set database for Modula-2 R10 Bootstrap Compiler *)

IMPORT M2Token, M2TokenSet;


(* Productions *)

TYPE NonTerminals =
  ( CompilationUnit,
    ProgramModule,
    DefintionModule,
    Blueprint,
    IdentList,
    ModuleTypeSpec,
    PropertySpec,
    LiteralSpec,
    ProtoLiteral,
    StructuredProtoLiteral,
    ReqValueCount,
    Requirement,
    ConstRequirement,
    SimpleConstRequirement,
    ProcedureRequirement,
    EntityToBindTo,
    LibGenDirective,
    ImportDirective,
    IdentifiersToImport,
    Block,
    StatementSequence,
    Definition,
    ConstDefinition,
    VariableDeclaration,
    Declaration,
    Type,
    DerivedSubType,
    Range,
    EnumType,
    SetType,
    ArrayType,
    RecordType,
    PointerType,
    CoroutineType,
    ProcedureType,
    FormalType,
    SimpleFormalType,
    AttributedFormalType,
    VariadicFormalType,
    SimpleVariadicFormalType,
    NonVariadicFormalType,
    ProcedureHeader,
    ProcedureSignature,
    FormalParameters,
    AttributedFormalParams,
    VariadicFormalParams,
    NonVariadicFormalParams,
    Qualident,
    Statement,
    MemMgtOperation,
    UpdateOrProcCall,
    IfStatement,
    CaseStatement,
    Case,
    LoopStatement,
    WhileStatement,
    RepeatStatement,
    ForStatement,
    Designator,
    DesignatorTail,
    ExprListOrSlice,
    Expression,
    SimpleExpression,
    Term,
    FactorOrNegation,
    FactorOrTypeConv,
    Factor,
    ActualParameters,
    ExpressionList,
    StructuredValue,
    ValueComponent );


(* Operations *)

PROCEDURE FIRST ( p : NonTerminals ) : M2TokenSet;
(* Returns a reference to the FIRST set of production p. *)

PROCEDURE inFIRST ( p : NonTerminals; token : M2Token ) : BOOLEAN;
(* Returns TRUE if token is an element of FIRST(p), otherwise FALSE. *)

PROCEDURE FOLLOW ( p : NonTerminals ) : M2TokenSet;
(* Returns a reference to the FOLLOW set of production p. *)

PROCEDURE inFOLLOW ( p : NonTerminals; token : M2Token ) : BOOLEAN;
(* Returns TRUE if token is an element of FOLLOW(p), otherwise FALSE. *)


END NonTerminals.