Package org.gjt.sp.jedit.syntax

Class ParserRuleSet

  • public class ParserRuleSet
extends java.lang.Object
    A set of parser rules.

    • Constructor Detail

      • ParserRuleSet

        public ParserRuleSet​(java.lang.String modeName,
                     java.lang.String setName)

    • Method Detail

      • getStandardRuleSet

        public static ParserRuleSet getStandardRuleSet​(byte id)
        Returns a parser rule set that highlights everything with the specified token type.
        Parameters:
        id - The token type

      • getModeName

        public java.lang.String getModeName()

      • getSetName

        public java.lang.String getSetName()

      • getName

        public java.lang.String getName()

      • getProperties

        public java.util.Hashtable<java.lang.String,​java.lang.String> getProperties()

      • setProperties

        public void setProperties​(java.util.Hashtable<java.lang.String,​java.lang.String> props)

      • resolveImports

        public void resolveImports()
        Resolves all rulesets added with addRuleSet(ParserRuleSet).
        Since:
        jEdit 4.2pre3

      • addRuleSet

        public void addRuleSet​(ParserRuleSet ruleset)
        Adds all rules contained in the given ruleset.
        Parameters:
        ruleset - The ruleset
        Since:
        jEdit 4.2pre3

      • addRule

        public void addRule​(ParserRule parserRule)

      • getRules

        @Nonnull
public java.util.List<ParserRule> getRules​(char key)

      • getRuleCount

        public int getRuleCount()

      • getTerminateChar

        public int getTerminateChar()
        Returns the number of chars that can be read before the rule parsing stops.
        Returns:
        a number of chars or -1 (default value) if there is no limit

      • setTerminateChar

        public void setTerminateChar​(int atChar)

      • getIgnoreCase

        public boolean getIgnoreCase()

      • setIgnoreCase

        public void setIgnoreCase​(boolean b)

      • setKeywords

        public void setKeywords​(KeywordMap km)

      • getHighlightDigits

        public boolean getHighlightDigits()

      • setHighlightDigits

        public void setHighlightDigits​(boolean highlightDigits)

      • getDigitRegexp

        public java.util.regex.Pattern getDigitRegexp()

      • setDigitRegexp

        public void setDigitRegexp​(java.util.regex.Pattern digitRE)

      • getEscapeRule

        public ParserRule getEscapeRule()

      • setEscapeRule

        public void setEscapeRule​(ParserRule escapeRule)

      • getDefault

        public byte getDefault()

      • setDefault

        public void setDefault​(byte def)

      • getNoWordSep

        public java.lang.String getNoWordSep()

      • setNoWordSep

        public void setNoWordSep​(java.lang.String noWordSep)

      • isBuiltIn

        public boolean isBuiltIn()
        Returns if this is a built-in ruleset.
        Since:
        jEdit 4.2pre1

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object