Breccia.parser/Division.java at reluk.ca · Michael-Allan/Breccia.parser · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
package Breccia.parser;

import java.util.List;


/** A division fractum in Breccia.
  *
  */   @TagName("Division") @DataReflector
public interface Division extends BodyFractum {


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


    public @Override List<? extends DividerSegment> components() throws ParseError;


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


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


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


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


    /** The end of a division fractum.
      */
    public static interface End extends BodyFractum.End {


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


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


                                                        // Copyright © 2021  Michael Allan.  Licence MIT.