lex.h

Go to the documentation of this file.

////////////////////////////////////////////////////////////////////////
//
// Copyright (C) 1993-2026 The Octave Project Developers
//
// See the file COPYRIGHT.md in the top-level directory of this
// distribution or <https://octave.org/copyright/>.
//
// This file is part of Octave.
//
// Octave is free software: you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// Octave is distributed in the hope that it will be useful, but
// WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with Octave; see the file COPYING.  If not, see
// <https://www.gnu.org/licenses/>.
//
////////////////////////////////////////////////////////////////////////
 
#if ! defined (octave_lex_h)
#define octave_lex_h 1
 
#include "octave-config.h"
 
#include <deque>
#include <list>
#include <set>
#include <stack>
 
#include "comment-list.h"
#include "filepos.h"
#include "input.h"
#include "symscope.h"
#include "token.h"
 
OCTAVE_BEGIN_NAMESPACE(octave)
 
class interpreter;
 
// Is the given string a keyword?
extern bool iskeyword (const std::string& s);
 
// For communication between the lexer and parser.
 
class OCTINTERP_API lexical_feedback
{
public:
 
  // Track symbol table information when parsing functions.
 
  class symbol_table_context
  {
  public:
 
    symbol_table_context (interpreter& interp)
      : m_interpreter (interp), m_frame_stack () { }
 
    OCTAVE_DISABLE_CONSTRUCT_COPY_MOVE (symbol_table_context)
 
    ~symbol_table_context () { clear (); }
 
    void clear ();
 
    bool empty () const { return m_frame_stack.empty (); }
 
    std::size_t size () const { return m_frame_stack.size (); }
 
    void pop ();
 
    void push (const symbol_scope& scope)
    {
      m_frame_stack.push_front (scope);
    }
 
    symbol_scope curr_scope () const;
    symbol_scope parent_scope () const;
 
  private:
 
    interpreter& m_interpreter;
 
    std::deque<symbol_scope> m_frame_stack;
  };
 
  // Track nesting of square brackets, curly braces, and parentheses.
 
  class bbp_nesting_level
  {
  private:
 
    enum bracket_type
    {
      BRACKET = 1,
      BRACE = 2,
      PAREN = 3,
      ANON_FCN_BODY = 4
    };
 
  public:
 
    bbp_nesting_level () : m_context () { }
 
    bbp_nesting_level (const bbp_nesting_level& nl)
      : m_context (nl.m_context)
    { }
 
    bbp_nesting_level& operator = (const bbp_nesting_level& nl)
    {
      if (&nl != this)
        m_context = nl.m_context;
 
      return *this;
    }
 
    ~bbp_nesting_level () = default;
 
    // Alias for clear function.
    void reset () { clear (); }
 
    void bracket () { m_context.push (BRACKET); }
 
    bool is_bracket ()
    {
      return ! m_context.empty () && m_context.top () == BRACKET;
    }
 
    void brace () { m_context.push (BRACE); }
 
    bool is_brace ()
    {
      return ! m_context.empty () && m_context.top () == BRACE;
    }
 
    void paren () { m_context.push (PAREN); }
 
    bool is_paren ()
    {
      return ! m_context.empty () && m_context.top () == PAREN;
    }
 
    void anon_fcn_body () { m_context.push (ANON_FCN_BODY); }
 
    bool is_anon_fcn_body ()
    {
      return ! m_context.empty () && m_context.top () == ANON_FCN_BODY;
    }
 
    bool is_bracket_or_brace ()
    {
      return (! m_context.empty ()
              && (m_context.top () == BRACKET || m_context.top () == BRACE));
    }
 
    bool none () { return m_context.empty (); }
 
    void remove ()
    {
      if (! m_context.empty ())
        m_context.pop ();
    }
 
    void clear ()
    {
      while (! m_context.empty ())
        m_context.pop ();
    }
 
  private:
 
    std::stack<int> m_context;
  };
 
  class token_cache
  {
  public:
 
    // Store an "unlimited" number of tokens.
 
    // Tokens are allocated with new.  Delete them when they are
    // removed from the cache.
    //
    // One of the reasons for using this class instead of std::deque
    // directly is that we can ensure that memory is cleaned up
    // properly.  It's more tedious to do that with deque since the
    // deque destructor and clear method don't call delete on the
    // elements that it stores.  Another reason is that it makes it
    // easier to change the implementation later if needed.
 
    token_cache () : m_buffer () { }
 
    OCTAVE_DISABLE_COPY_MOVE (token_cache)
 
    ~token_cache () { clear (); }
 
    void push (token *tok)
    {
      m_buffer.push_front (tok);
    }
 
    void pop ()
    {
      if (! empty ())
        {
          delete m_buffer.back ();
          m_buffer.pop_back ();
        }
    }
 
    // Direct access.
    token * at (std::size_t n)
    {
      return empty () ? nullptr : m_buffer.at (n);
    }
 
    const token * at (std::size_t n) const
    {
      return empty () ? nullptr : m_buffer.at (n);
    }
 
    // Most recently pushed.
    token * front ()
    {
      return empty () ? nullptr : m_buffer.front ();
    }
 
    const token * front () const
    {
      return empty () ? nullptr : m_buffer.front ();
    }
 
    token * back ()
    {
      return empty () ? nullptr : m_buffer.back ();
    }
 
    const token * back () const
    {
      return empty () ? nullptr : m_buffer.back ();
    }
 
    // Number of elements currently in the buffer.
    std::size_t size () const { return m_buffer.size (); }
 
    bool empty () const { return m_buffer.empty (); }
 
    void clear ()
    {
      while (! empty ())
        pop ();
    }
 
  private:
 
    std::deque<token *> m_buffer;
  };
 
  lexical_feedback (interpreter& interp)
    : m_interpreter (interp),
      m_end_of_input (false),
      m_allow_command_syntax (true),
      m_at_beginning_of_statement (true),
      m_looking_at_anon_fcn_args (false),
      m_looking_at_return_list (false),
      m_looking_at_parameter_list (false),
      m_looking_at_decl_list (false),
      m_looking_at_matrix_or_assign_lhs (false),
      m_looking_for_object_index (false),
      m_looking_at_indirect_ref (false),
      m_arguments_is_keyword (false),
      m_classdef_element_names_are_keywords (false),
      m_parsing_anon_fcn_body (false),
      m_parsing_class_method (false),
      m_parsing_classdef (false),
      m_parsing_classdef_decl (false),
      m_parsing_classdef_superclass (false),
      m_maybe_classdef_get_set_method (false),
      m_parsing_classdef_get_method (false),
      m_parsing_classdef_set_method (false),
      m_quote_is_transpose (false),
      m_force_script (false),
      m_reading_fcn_file (false),
      m_reading_script_file (false),
      m_reading_classdef_file (false),
      m_buffer_function_text (false),
      m_comment_uses_hash_char (false),
      m_bracketflag (0),
      m_braceflag (0),
      m_looping (0),
      m_defining_fcn (0),
      m_looking_at_function_handle (0),
      m_block_comment_nesting_level (0),
      m_command_arg_paren_count (0),
      m_token_count (0),
      m_filepos (1, 1),
      m_tok_beg (),
      m_tok_end (),
      m_string_text (),
      m_current_input_line (),
      m_comment_text (),
      m_function_text (),
      m_fcn_file_name (),
      m_fcn_file_full_name (),
      m_dir_name (),
      m_package_name (),
      m_looking_at_object_index (),
      m_parsed_function_name (),
      m_symtab_context (interp),
      m_nesting_level (),
      m_tokens ()
  {
    init ();
  }
 
  OCTAVE_DISABLE_CONSTRUCT_COPY_MOVE (lexical_feedback)
 
  ~lexical_feedback ();
 
  void init ();
 
  void reset ();
 
  int previous_token_id () const;
  token * previous_token ();
  const token * previous_token () const;
 
  bool previous_token_is (int tok_id) const;
  bool previous_token_is (const token *tok) const;
 
  void mark_previous_token_trailing_space ();
 
  bool space_follows_previous_token () const;
 
  bool previous_token_is_binop () const;
 
  bool previous_token_is_keyword () const;
 
  bool previous_token_may_be_command () const;
 
  void mark_as_variable (const std::string& nm);
  void mark_as_variables (const std::list<std::string>& lst);
 
  //--------
 
  interpreter& m_interpreter;
 
  // true means that we have encountered eof on the input stream.
  bool m_end_of_input;
 
  // true means command syntax is allowed.
  bool m_allow_command_syntax;
 
  // true means we are at the beginning of a statement, where a
  // command name is possible.
  bool m_at_beginning_of_statement;
 
  // true means we are parsing an anonymous function argument list.
  bool m_looking_at_anon_fcn_args;
 
  // true means we're parsing the return list for a function.
  bool m_looking_at_return_list;
 
  // true means we're parsing the parameter list for a function.
  bool m_looking_at_parameter_list;
 
  // true means we're parsing a declaration list (global or
  // persistent).
  bool m_looking_at_decl_list;
 
  // true means we're parsing a matrix or the left hand side of
  // multi-value assignment statement.
  bool m_looking_at_matrix_or_assign_lhs;
 
  // object index not possible until we've seen something.
  bool m_looking_for_object_index;
 
  // true means we're looking at an indirect reference to a
  // structure element.
  bool m_looking_at_indirect_ref;
 
  // true means arguments is handled as keyword.
  bool m_arguments_is_keyword;
 
  // true means "properties", "methods", "events", and "enumeration"
  // are treated like keywords.
  bool m_classdef_element_names_are_keywords;
 
  // true means we are parsing the body of an anonymous function.
  bool m_parsing_anon_fcn_body;
 
  // true means we are parsing a class method in function or classdef file.
  bool m_parsing_class_method;
 
  // true means we are parsing a classdef file
  bool m_parsing_classdef;
 
  // true means we are parsing the initial classdef declaration
  // portion of classdef file, from the "classdef" token through the
  // optional list of superclasses.
  bool m_parsing_classdef_decl;
 
  // true means we are parsing the superclass part of a classdef
  // declaration.
  bool m_parsing_classdef_superclass;
 
  // true means we are parsing a class method declaration line in a
  // classdef file and can accept a property get or set method name.
  // for example, "get.propertyname" is recognized as a function name.
  bool m_maybe_classdef_get_set_method;
 
  // TRUE means we are parsing a classdef get.method.
  bool m_parsing_classdef_get_method;
 
  // TRUE means we are parsing a classdef set.method.
  bool m_parsing_classdef_set_method;
 
  // return transpose or start a string?
  bool m_quote_is_transpose;
 
  // TRUE means treat the current file as a script even if the first
  // token is "function" or "classdef".
  bool m_force_script;
 
  // TRUE means we're parsing a function file.
  bool m_reading_fcn_file;
 
  // TRUE means we're parsing a script file.
  bool m_reading_script_file;
 
  // TRUE means we're parsing a classdef file.
  bool m_reading_classdef_file;
 
  // TRUE means we should store the text of the function we are
  // parsing.
  bool m_buffer_function_text;
 
  // TRUE means a line comment uses '#' or a block comment used at least
  // one '#' delimiter.
  bool m_comment_uses_hash_char;
 
  // square bracket level count.
  int m_bracketflag;
 
  // curly brace level count.
  int m_braceflag;
 
  // true means we're in the middle of defining a loop.
  int m_looping;
 
  // nonzero means we're in the middle of defining a function.
  int m_defining_fcn;
 
  // nonzero means we are parsing a function handle.
  int m_looking_at_function_handle;
 
  // nestng level for block comments.
  int m_block_comment_nesting_level;
 
  // Parenthesis count for command argument parsing.
  int m_command_arg_paren_count;
 
  // Count of tokens recognized by this lexer since initialized or
  // since the last reset.
  std::size_t m_token_count;
 
  // The current position in the file (line and column).
  filepos m_filepos;
 
  // The positions of the beginning and end of the current token after
  // calling update_token_positions.  Also used apart from
  // update_token_positions to handle the beginning and end of
  // character strings.
  filepos m_tok_beg;
  filepos m_tok_end;
 
  // The current character string text.
  std::string m_string_text;
 
  // The current line of input.
  std::string m_current_input_line;
 
  // The text of the current comment, used to gather comment lines
  // before storing in m_comment_list.
  std::string m_comment_text;
 
  // The text of functions entered on the command line.
  std::string m_function_text;
 
  // Simple name of function file we are reading.
  std::string m_fcn_file_name;
 
  // Full name of file we are reading.
  std::string m_fcn_file_full_name;
 
  // Directory name where this file was found.  May be relative.
  std::string m_dir_name;
 
  // Name of +package containing this file, if any.
  std::string m_package_name;
 
  // if the front of the list is true, the closest paren, brace, or
  // bracket nesting is an index for an object.
  std::list<bool> m_looking_at_object_index;
 
  // if the top of the stack is true, then we've already seen the name
  // of the current function.  should only matter if
  // current_function_level > 0
  std::stack<bool> m_parsed_function_name;
 
  // Track current symbol table scope and context.
  symbol_table_context m_symtab_context;
 
  // is the closest nesting level a square bracket, squiggly brace,
  // a paren, or an anonymous function body?
  bbp_nesting_level m_nesting_level;
 
  // Tokens generated by the lexer.
  token_cache m_tokens;
};
 
// base_lexer inherits from lexical_feedback because we will
// eventually have several different constructors and it is easier to
// initialize if everything is grouped in a parent class rather than
// listing all the members in the base_lexer class.
 
class OCTINTERP_API base_lexer : public lexical_feedback
{
public:
 
  // Handle buffering of input for lexer.
 
  class input_buffer
  {
  public:
 
    input_buffer ()
      : m_buffer (), m_offset (0), m_chars_left (0), m_eof (false)
    { }
 
    OCTAVE_DEFAULT_COPY_MOVE_DELETE (input_buffer)
 
    void fill (const std::string& input, bool eof_arg);
 
    // Copy at most max_size characters to buf.
    int copy_chunk (char *buf, std::size_t max_size, bool by_lines = false);
 
    bool empty () const { return m_chars_left == 0; }
 
    bool at_eof () const { return m_eof; }
 
  private:
 
    std::string m_buffer;
    std::size_t m_offset;
    std::size_t m_chars_left;
    bool m_eof;
  };
 
  base_lexer (interpreter& interp)
    : lexical_feedback (interp), m_scanner (nullptr), m_input_buf ()
  {
    init ();
  }
 
  OCTAVE_DISABLE_CONSTRUCT_COPY_MOVE (base_lexer)
 
  virtual ~base_lexer ();
 
  void init ();
 
  virtual bool is_push_lexer () const { return false; }
 
  virtual void reset ();
 
  void prep_for_file ();
 
  void begin_string (int state);
 
  virtual int fill_flex_buffer (char *buf, unsigned int max_size) = 0;
 
  bool at_end_of_buffer () const { return m_input_buf.empty (); }
 
  bool at_end_of_file () const { return m_input_buf.at_eof (); }
 
  int handle_end_of_input ();
 
  char * flex_yytext ();
 
  int flex_yyleng ();
 
  int text_yyinput ();
 
  void xunput (char c, char *buf);
 
  void xunput (char c);
 
  void update_token_positions (int tok_len);
 
  bool looking_at_space ();
 
  bool inside_any_object_index ();
 
  token * make_keyword_token (const std::string& s);
 
  bool fq_identifier_contains_keyword (const std::string& s);
 
  bool whitespace_is_significant ();
 
  // We only provide specializations with base equal to 2, 10, or 16.
  template <int base>
  int handle_number ();
 
  void handle_continuation ();
 
  void finish_comment (comment_elt::comment_type typ);
 
  comment_list get_comment_list ()
  {
    comment_list retval = m_comment_list;
    m_comment_list.clear ();
    return retval;
  }
 
  int handle_close_bracket (int bracket_type);
 
  bool looks_like_command_arg ();
 
  int handle_superclass_identifier ();
 
  token * make_meta_identifier_token (const std::string& cls);
 
  token * make_fq_identifier_token (const std::string& ident);
 
  int handle_identifier ();
 
  void check_comment_for_hash_char (const char *txt, std::size_t len);
 
  void maybe_warn_separator_insert (char sep);
 
  void warn_language_extension (const std::string& msg);
 
  void maybe_warn_language_extension_comment (char c);
 
  void warn_language_extension_continuation ();
 
  void warn_language_extension_operator (const std::string& op);
 
  void warn_deprecated_syntax (const std::string& msg);
 
  int syntax_error (const std::string& msg);
  int syntax_error (const std::string& msg, const filepos& pos);
  int syntax_error (const std::string& msg, const filepos& beg_pos, const filepos& end_pos);
 
  void push_token (token *);
 
  token * current_token ();
 
  std::size_t pending_token_count () const;
 
  void display_token (int tok_id);
 
  void fatal_error (const char *msg);
 
  bool debug_flag () const;
 
  bool display_tokens () const;
 
  void increment_token_count ();
 
  void lexer_debug (const char *pattern);
 
  // Internal state of the flex-generated lexer.
  void *m_scanner;
 
  // Object that reads and buffers input.
  input_buffer m_input_buf;
 
  // List of collected comments.
  comment_list m_comment_list;
 
  virtual std::string input_source () const { return "unknown"; }
 
  virtual bool input_from_terminal () const { return false; }
 
  virtual bool input_from_file () const { return false; }
 
  virtual bool input_from_eval_string () const { return false; }
 
  bool input_from_tmp_history_file ();
 
  void push_start_state (int state);
 
  void pop_start_state ();
 
  void clear_start_state ();
 
  int start_state () const { return start_state_stack.top (); }
 
  void display_start_state () const;
 
  bool maybe_unput_comma_before_unary_op (int tok_id);
 
  int handle_op (int tok_id, const std::string& tok_txt, int tok_len, bool bos = false, bool compat = true);
 
  int finish_command_arg ();
 
  int handle_token (int tok_id);
  int handle_token (token *tok);
 
  int count_token_internal (int tok_id);
 
  int show_token (int tok_id);
 
protected:
 
  std::stack<int> start_state_stack;
};
 
class OCTINTERP_API lexer : public base_lexer
{
public:
 
  lexer (interpreter& interp)
    : base_lexer (interp), m_reader (interp), m_initial_input (true)
  { }
 
  lexer (FILE *file, interpreter& interp)
    : base_lexer (interp), m_reader (interp, file), m_initial_input (true)
  { }
 
  lexer (FILE *file, interpreter& interp, const std::string& encoding)
    : base_lexer (interp), m_reader (interp, file, encoding),
      m_initial_input (true)
  { }
 
  lexer (const std::string& eval_string, interpreter& interp)
    : base_lexer (interp), m_reader (interp, eval_string),
      m_initial_input (true)
  { }
 
  OCTAVE_DISABLE_CONSTRUCT_COPY_MOVE (lexer)
 
  ~lexer () = default;
 
  void reset ()
  {
    m_initial_input = true;
 
    base_lexer::reset ();
  }
 
  std::string input_source () const
  {
    return m_reader.input_source ();
  }
 
  bool input_from_terminal () const
  {
    return m_reader.input_from_terminal ();
  }
 
  bool input_from_file () const
  {
    return m_reader.input_from_file ();
  }
 
  bool input_from_eval_string () const
  {
    return m_reader.input_from_eval_string ();
  }
 
  int fill_flex_buffer (char *buf, unsigned int max_size);
 
  //--------
 
  input_reader m_reader;
 
  // TRUE means we are filling the input buffer for the first time.
  // Otherwise, we are requesting more input to complete the parse
  // and, if printing a prompt, should use the secondary prompt
  // string.
 
  bool m_initial_input;
};
 
template <> OCTINTERP_API int base_lexer::handle_number<2> ();
template <> OCTINTERP_API int base_lexer::handle_number<10> ();
template <> OCTINTERP_API int base_lexer::handle_number<16> ();
 
class OCTINTERP_API push_lexer : public base_lexer
{
public:
 
  push_lexer (interpreter& interp)
    : base_lexer (interp)
  {
    append_input ("", false);
  }
 
  push_lexer (const std::string& input, interpreter& interp)
    : base_lexer (interp)
  {
    append_input (input, false);
  }
 
  push_lexer (bool eof, interpreter& interp)
    : base_lexer (interp)
  {
    append_input ("", eof);
  }
 
  push_lexer (const std::string& input, bool eof, interpreter& interp)
    : base_lexer (interp)
  {
    append_input (input, eof);
  }
 
  OCTAVE_DISABLE_CONSTRUCT_COPY_MOVE (push_lexer)
 
  ~push_lexer () = default;
 
  bool is_push_lexer () const { return true; }
 
  void append_input (const std::string& input, bool eof);
 
  std::string input_source () const { return "push buffer"; }
 
  int fill_flex_buffer (char *buf, unsigned int max_size);
};
 
OCTAVE_END_NAMESPACE(octave)
 
#endif