2016-05-03 03:31:33 +08:00
|
|
|
// Provides the "linkage" between a parse_node_tree_t and actual execution structures (job_t, etc.).
|
2013-12-25 05:17:24 +08:00
|
|
|
#ifndef FISH_PARSE_EXECUTION_H
|
|
|
|
#define FISH_PARSE_EXECUTION_H
|
|
|
|
|
2015-07-25 23:14:25 +08:00
|
|
|
#include <stddef.h>
|
2016-04-21 14:00:54 +08:00
|
|
|
|
2015-07-25 23:14:25 +08:00
|
|
|
#include "common.h"
|
|
|
|
#include "io.h"
|
|
|
|
#include "parse_constants.h"
|
2013-12-25 05:17:24 +08:00
|
|
|
#include "parse_tree.h"
|
|
|
|
#include "proc.h"
|
|
|
|
|
2015-07-25 23:14:25 +08:00
|
|
|
class parser_t;
|
2013-12-29 08:18:38 +08:00
|
|
|
struct block_t;
|
2013-12-25 05:17:24 +08:00
|
|
|
|
2016-05-03 03:31:33 +08:00
|
|
|
enum parse_execution_result_t {
|
|
|
|
/// The job was successfully executed (though it have failed on its own).
|
2014-01-01 06:37:37 +08:00
|
|
|
parse_execution_success,
|
2016-05-03 03:31:33 +08:00
|
|
|
/// The job did not execute due to some error (e.g. failed to wildcard expand). An error will
|
|
|
|
/// have been printed and proc_last_status will have been set.
|
2014-01-01 06:37:37 +08:00
|
|
|
parse_execution_errored,
|
2016-05-03 03:31:33 +08:00
|
|
|
/// The job was cancelled (e.g. Ctrl-C).
|
2014-01-01 06:37:37 +08:00
|
|
|
parse_execution_cancelled,
|
2016-05-03 03:31:33 +08:00
|
|
|
/// The job was skipped (e.g. due to a not-taken 'and' command). This is a special return
|
|
|
|
/// allowed only from the populate functions, not the run functions.
|
2014-01-01 06:37:37 +08:00
|
|
|
parse_execution_skipped
|
|
|
|
};
|
|
|
|
|
2016-05-03 03:31:33 +08:00
|
|
|
class parse_execution_context_t {
|
|
|
|
private:
|
2017-12-23 06:40:15 +08:00
|
|
|
parsed_source_ref_t pstree;
|
2013-12-29 08:18:38 +08:00
|
|
|
io_chain_t block_io;
|
2016-05-03 03:31:33 +08:00
|
|
|
parser_t *const parser;
|
|
|
|
// parse_error_list_t errors;
|
2013-12-27 04:24:00 +08:00
|
|
|
int eval_level;
|
2016-05-03 03:31:33 +08:00
|
|
|
// The currently executing node index, used to indicate the line number.
|
2017-12-23 06:40:15 +08:00
|
|
|
node_offset_t executing_node_idx = NODE_OFFSET_INVALID;
|
2016-05-03 03:31:33 +08:00
|
|
|
// Cached line number information.
|
2017-12-23 06:40:15 +08:00
|
|
|
size_t cached_lineno_offset = 0;
|
|
|
|
int cached_lineno_count = 0;
|
2016-05-03 03:31:33 +08:00
|
|
|
// No copying allowed.
|
|
|
|
parse_execution_context_t(const parse_execution_context_t &);
|
|
|
|
parse_execution_context_t &operator=(const parse_execution_context_t &);
|
2014-01-15 17:40:40 +08:00
|
|
|
|
2016-05-03 03:31:33 +08:00
|
|
|
// Should I cancel?
|
2013-12-29 08:18:38 +08:00
|
|
|
bool should_cancel_execution(const block_t *block) const;
|
2014-01-15 17:40:40 +08:00
|
|
|
|
2016-05-03 03:31:33 +08:00
|
|
|
// Ways that we can stop executing a block. These are in a sort of ascending order of
|
|
|
|
// importance, e.g. `exit` should trump `break`.
|
|
|
|
enum execution_cancellation_reason_t {
|
2013-12-30 08:23:26 +08:00
|
|
|
execution_cancellation_none,
|
|
|
|
execution_cancellation_loop_control,
|
|
|
|
execution_cancellation_skip,
|
|
|
|
execution_cancellation_exit
|
|
|
|
};
|
|
|
|
execution_cancellation_reason_t cancellation_reason(const block_t *block) const;
|
2014-01-15 17:40:40 +08:00
|
|
|
|
2016-05-03 03:31:33 +08:00
|
|
|
// Report an error. Always returns true.
|
2014-03-22 08:13:33 +08:00
|
|
|
parse_execution_result_t report_error(const parse_node_t &node, const wchar_t *fmt, ...) const;
|
|
|
|
parse_execution_result_t report_errors(const parse_error_list_t &errors) const;
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 03:31:33 +08:00
|
|
|
// Wildcard error helper.
|
|
|
|
parse_execution_result_t report_unmatched_wildcard_error(
|
|
|
|
const parse_node_t &unmatched_wildcard);
|
2014-01-15 17:40:40 +08:00
|
|
|
|
2016-05-03 03:31:33 +08:00
|
|
|
/// Command not found support.
|
|
|
|
parse_execution_result_t handle_command_not_found(const wcstring &cmd,
|
|
|
|
const parse_node_t &statement_node,
|
|
|
|
int err_code);
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 03:31:33 +08:00
|
|
|
// Utilities
|
2013-12-25 05:17:24 +08:00
|
|
|
wcstring get_source(const parse_node_t &node) const;
|
2016-05-03 03:31:33 +08:00
|
|
|
const parse_node_t *get_child(const parse_node_t &parent, node_offset_t which,
|
|
|
|
parse_token_type_t expected_type = token_type_invalid) const;
|
2013-12-25 05:17:24 +08:00
|
|
|
node_offset_t get_offset(const parse_node_t &node) const;
|
2018-01-14 07:36:14 +08:00
|
|
|
tnode_t<grammar::plain_statement> infinite_recursive_statement_in_job_list(
|
2018-01-14 17:26:28 +08:00
|
|
|
tnode_t<grammar::job_list> job_list, wcstring *out_func_name) const;
|
2017-09-09 12:14:26 +08:00
|
|
|
bool is_function_context() const;
|
2014-01-15 17:40:40 +08:00
|
|
|
|
2016-05-03 03:31:33 +08:00
|
|
|
/// Indicates whether a job is a simple block (one block, no redirections).
|
2014-01-08 02:45:36 +08:00
|
|
|
bool job_is_simple_block(const parse_node_t &node) const;
|
2014-01-15 17:40:40 +08:00
|
|
|
|
2016-05-03 03:31:33 +08:00
|
|
|
enum process_type_t process_type_for_command(const parse_node_t &plain_statement,
|
|
|
|
const wcstring &cmd) const;
|
2014-01-15 17:40:40 +08:00
|
|
|
|
2016-05-03 03:31:33 +08:00
|
|
|
// These create process_t structures from statements.
|
|
|
|
parse_execution_result_t populate_job_process(job_t *job, process_t *proc,
|
|
|
|
const parse_node_t &statement_node);
|
|
|
|
parse_execution_result_t populate_boolean_process(job_t *job, process_t *proc,
|
|
|
|
const parse_node_t &bool_statement);
|
|
|
|
parse_execution_result_t populate_plain_process(job_t *job, process_t *proc,
|
|
|
|
const parse_node_t &statement);
|
|
|
|
parse_execution_result_t populate_block_process(job_t *job, process_t *proc,
|
|
|
|
const parse_node_t &statement_node);
|
2014-01-15 17:40:40 +08:00
|
|
|
|
2016-05-03 03:31:33 +08:00
|
|
|
// These encapsulate the actual logic of various (block) statements.
|
2018-01-14 17:42:58 +08:00
|
|
|
parse_execution_result_t run_block_statement(tnode_t<grammar::block_statement> statement);
|
2018-01-14 17:47:09 +08:00
|
|
|
parse_execution_result_t run_for_statement(tnode_t<grammar::for_header> header,
|
|
|
|
tnode_t<grammar::job_list> contents);
|
2018-01-14 18:02:02 +08:00
|
|
|
parse_execution_result_t run_if_statement(tnode_t<grammar::if_statement> statement);
|
2018-01-14 18:30:18 +08:00
|
|
|
parse_execution_result_t run_switch_statement(tnode_t<grammar::switch_statement> statement);
|
2018-01-14 18:41:37 +08:00
|
|
|
parse_execution_result_t run_while_statement(tnode_t<grammar::while_header> statement,
|
|
|
|
tnode_t<grammar::job_list> contents);
|
2018-01-14 18:45:27 +08:00
|
|
|
parse_execution_result_t run_function_statement(tnode_t<grammar::function_header> header,
|
|
|
|
tnode_t<grammar::end_command> block_end);
|
2016-05-03 03:31:33 +08:00
|
|
|
parse_execution_result_t run_begin_statement(const parse_node_t &header,
|
|
|
|
const parse_node_t &contents);
|
|
|
|
|
|
|
|
enum globspec_t { failglob, nullglob };
|
|
|
|
parse_execution_result_t determine_arguments(const parse_node_t &parent,
|
|
|
|
wcstring_list_t *out_arguments,
|
|
|
|
globspec_t glob_behavior);
|
|
|
|
|
|
|
|
// Determines the IO chain. Returns true on success, false on error.
|
2013-12-27 04:55:10 +08:00
|
|
|
bool determine_io_chain(const parse_node_t &statement, io_chain_t *out_chain);
|
2014-01-15 17:40:40 +08:00
|
|
|
|
2016-05-03 03:31:33 +08:00
|
|
|
parse_execution_result_t run_1_job(const parse_node_t &job_node,
|
|
|
|
const block_t *associated_block);
|
|
|
|
parse_execution_result_t run_job_list(const parse_node_t &job_list_node,
|
|
|
|
const block_t *associated_block);
|
2018-01-14 17:17:57 +08:00
|
|
|
parse_execution_result_t populate_job_from_job_node(job_t *j, tnode_t<grammar::job> job_node,
|
2016-05-03 03:31:33 +08:00
|
|
|
const block_t *associated_block);
|
2014-01-15 17:40:40 +08:00
|
|
|
|
2016-05-03 03:31:33 +08:00
|
|
|
// Returns the line number of the node at the given index, indexed from 0. Not const since it
|
|
|
|
// touches cached_lineno_offset.
|
2014-03-17 07:45:00 +08:00
|
|
|
int line_offset_of_node_at_offset(node_offset_t idx);
|
2014-09-28 08:32:54 +08:00
|
|
|
int line_offset_of_character_at_offset(size_t char_idx);
|
2014-03-17 07:45:00 +08:00
|
|
|
|
2016-05-03 03:31:33 +08:00
|
|
|
public:
|
2017-12-23 06:40:15 +08:00
|
|
|
parse_execution_context_t(parsed_source_ref_t pstree, parser_t *p, int initial_eval_level);
|
2014-02-10 06:04:43 +08:00
|
|
|
|
2016-05-03 03:31:33 +08:00
|
|
|
/// Returns the current eval level.
|
|
|
|
int current_eval_level() const { return eval_level; }
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 03:31:33 +08:00
|
|
|
/// Returns the current line number, indexed from 1. Not const since it touches
|
|
|
|
/// cached_lineno_offset.
|
2014-03-02 08:04:13 +08:00
|
|
|
int get_current_line_number();
|
2014-01-15 17:40:40 +08:00
|
|
|
|
2016-05-03 03:31:33 +08:00
|
|
|
/// Returns the source offset, or -1.
|
2014-03-17 13:06:32 +08:00
|
|
|
int get_current_source_offset() const;
|
|
|
|
|
2016-05-03 03:31:33 +08:00
|
|
|
/// Returns the source string.
|
2017-12-23 06:40:15 +08:00
|
|
|
const wcstring &get_source() const { return pstree->src; }
|
|
|
|
|
|
|
|
/// Return the parse tree.
|
|
|
|
const parse_node_tree_t &tree() const { return pstree->tree; }
|
2014-01-15 17:40:40 +08:00
|
|
|
|
2016-05-03 03:31:33 +08:00
|
|
|
/// Start executing at the given node offset. Returns 0 if there was no error, 1 if there was an
|
|
|
|
/// error.
|
|
|
|
parse_execution_result_t eval_node_at_offset(node_offset_t offset,
|
|
|
|
const block_t *associated_block,
|
|
|
|
const io_chain_t &io);
|
2013-12-25 05:17:24 +08:00
|
|
|
};
|
|
|
|
|
|
|
|
#endif
|