Class Token

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
      static class  Token.ID  
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.util.Optional<Mark> endMark  
      private java.util.Optional<Mark> startMark  
    • Constructor Summary

      Constructors 
      Constructor Description
      Token​(java.util.Optional<Mark> startMark, java.util.Optional<Mark> endMark)  
    • Field Detail

      • startMark

        private final java.util.Optional<Mark> startMark
      • endMark

        private final java.util.Optional<Mark> endMark
    • Constructor Detail

      • Token

        public Token​(java.util.Optional<Mark> startMark,
                     java.util.Optional<Mark> endMark)
    • Method Detail

      • getStartMark

        public java.util.Optional<Mark> getStartMark()
      • getEndMark

        public java.util.Optional<Mark> getEndMark()
      • getTokenId

        public abstract Token.ID getTokenId()
        For error reporting.
        Returns:
        ID of this token
      • toString

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