package Breccia.parser;


/** A command point of a type undefined by Breccia.
  *
  */   @TagName("PlainCommandPoint") @DataReflector
public interface PlainCommandPoint extends CommandPoint {


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


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



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


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



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


    /** The end of a plain command point.
      */
    public static interface End extends CommandPoint.End {


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


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



                                                        // Copyright © 2021  Michael Allan.  Licence MIT.