Class AnchorToken


  • public final class AnchorToken
    extends Token
    • Field Detail

      • value

        private final Anchor value
    • Constructor Detail

      • AnchorToken

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

      • getValue

        public Anchor getValue()
      • getTokenId

        public Token.ID getTokenId()
        Description copied from class: Token
        For error reporting.
        Specified by:
        getTokenId in class Token
        Returns:
        ID of this token