package wayic.Waybrec.parser;

import Breccia.parser.*;


/** A thoroughfractum designator in Breccia.
  *
  */   @TagName("ThoroughfractumDesignator") @DataReflector
public interface ThoroughfractumDesignator extends CommandPoint {


   // ━━━  G r a n u m  ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━


    /** The default implementation returns ‘ThoroughfractumDesignator’.
      */
    public default @Override String tagName() { return "ThoroughfractumDesignator"; }



   // ━━━  P a r s e   S t a t e  ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━


    /** The default implementation returns
      * {@linkplain Typestamp#thoroughfractumDesignator thoroughfractumDesignator}.
      */
    public default @Override int typestamp() { return Typestamp.thoroughfractumDesignator; }



   // ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀


    /** The end of a thoroughfractum designator.
      */
    public static interface End extends CommandPoint.End {


       // ━━━  P a r s e   S t a t e  ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━


        /** The default implementation returns
          * {@linkplain Typestamp#thoroughfractumDesignatorEnd thoroughfractumDesignatorEnd}.
          */
        public default @Override int typestamp() { return Typestamp.thoroughfractumDesignatorEnd; }}}



                                                        // Copyright © 2021  Michael Allan.  Licence MIT.