getMarkerToken method

int getMarkerToken(int marker_kind, int start_token_index)

Implementation

int getMarkerToken(int marker_kind, int start_token_index) {
  if (marker_kind == 0) {
    return 0;
  } else {
    if (markerTokenIndex == 0) {
      if (!(tokStream is IPrsStream)) {
        throw TokenStreamNotIPrsStreamException();
      }
      markerTokenIndex = (tokStream as IPrsStream).makeErrorToken(
          tokStream.getPrevious(start_token_index),
          tokStream.getPrevious(start_token_index),
          tokStream.getPrevious(start_token_index),
          marker_kind);
    } else {
      (tokStream as IPrsStream)
          .getIToken(markerTokenIndex)
          .setKind(marker_kind);
    }
  }

  return markerTokenIndex;
}