Field Detail

• validImportTypes

  public static <any> validImportTypes

  Set of valid imports. Maps delegate to set of delegator grammar types. validDelegations.get(LEXER) gives list of the kinds of delegators that can import lexers.

• g

  public Grammar g

• ruleCollector

  public RuleCollector ruleCollector

• errMgr

  public ErrorManager errMgr

• checkAssocElementOption

  public boolean checkAssocElementOption

  When this is true, the semantic checks will report ErrorType.UNRECOGNIZED_ASSOC_OPTION where appropriate. This may be set to false to disable this specific check.

  The default value is true.

• nonFragmentRuleCount

  protected int nonFragmentRuleCount

  This field is used for reporting the ErrorType.MODE_WITHOUT_RULES error when necessary.

Constructor Detail

• BasicSemanticChecks

  public BasicSemanticChecks(Grammar g,
                             RuleCollector ruleCollector)

Method Detail

• getErrorManager

  public ErrorManager getErrorManager()

• process

  public void process()

• discoverGrammar

  public void discoverGrammar(GrammarRootAST root,
                              GrammarAST ID)

• finishPrequels

  public void finishPrequels(GrammarAST firstPrequel)

• importGrammar

  public void importGrammar(GrammarAST label,
                            GrammarAST ID)

• discoverRules

  public void discoverRules(GrammarAST rules)

• enterMode

  protected void enterMode(GrammarAST tree)

• exitMode

  protected void exitMode(GrammarAST tree)

• modeDef

  public void modeDef(GrammarAST m,
                      GrammarAST ID)

• discoverRule

  public void discoverRule(RuleAST rule,
                           GrammarAST ID,
                           List<GrammarAST> modifiers,
                           ActionAST arg,
                           ActionAST returns,
                           GrammarAST thrws,
                           GrammarAST options,
                           ActionAST locals,
                           List<GrammarAST> actions,
                           GrammarAST block)

• discoverLexerRule

  public void discoverLexerRule(RuleAST rule,
                                GrammarAST ID,
                                List<GrammarAST> modifiers,
                                GrammarAST block)

• exitLexerRule

  protected void exitLexerRule(GrammarAST tree)

• ruleRef

  public void ruleRef(GrammarAST ref,
                      ActionAST arg)

• ruleOption

  public void ruleOption(GrammarAST ID,
                         GrammarAST valueAST)

• blockOption

  public void blockOption(GrammarAST ID,
                          GrammarAST valueAST)

• grammarOption

  public void grammarOption(GrammarAST ID,
                            GrammarAST valueAST)

• defineToken

  public void defineToken(GrammarAST ID)

• enterChannelsSpec

  protected void enterChannelsSpec(GrammarAST tree)

• defineChannel

  public void defineChannel(GrammarAST ID)

• elementOption

  public void elementOption(GrammarASTWithOptions elem,
                            GrammarAST ID,
                            GrammarAST valueAST)

• finishRule

  public void finishRule(RuleAST rule,
                         GrammarAST ID,
                         GrammarAST block)

• enterLexerElement

  protected void enterLexerElement(GrammarAST tree)

• enterLexerCommand

  protected void enterLexerCommand(GrammarAST tree)

• actionInAlt

  public void actionInAlt(ActionAST action)

• checkElementIsOuterMostInSingleAlt

  protected void checkElementIsOuterMostInSingleAlt(GrammarAST tree)

  Make sure that action is last element in outer alt; here action, a2, z, and zz are bad, but a3 is ok: (RULE A (BLOCK (ALT {action} 'a'))) (RULE B (BLOCK (ALT (BLOCK (ALT {a2} 'x') (ALT 'y')) {a3}))) (RULE C (BLOCK (ALT 'd' {z}) (ALT 'e' {zz})))

• label

  public void label(GrammarAST op,
                    GrammarAST ID,
                    GrammarAST element)

• enterLabeledLexerElement

  protected void enterLabeledLexerElement(GrammarAST tree)

• enterTerminal

  protected void enterTerminal(GrammarAST tree)