2013-12-25 05:17:24 +08:00
/**\file parse_execution.cpp
2014-01-01 06:37:37 +08:00
Provides the " linkage " between a parse_node_tree_t and actual execution structures ( job_t , etc . )
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
A note on error handling : fish has two kind of errors , fatal parse errors non - fatal runtime errors . A fatal error prevents execution of the entire file , while a non - fatal error skips that job .
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
Non - fatal errors are printed as soon as they are encountered ; otherwise you would have to wait for the execution to finish to see them .
2013-12-25 05:17:24 +08:00
*/
# include "parse_execution.h"
2013-12-27 19:58:42 +08:00
# include "parse_util.h"
2013-12-25 05:17:24 +08:00
# include "complete.h"
2013-12-27 19:58:42 +08:00
# include "wildcard.h"
2013-12-25 05:17:24 +08:00
# include "builtin.h"
# include "parser.h"
# include "expand.h"
2013-12-30 08:23:26 +08:00
# include "reader.h"
2013-12-25 05:17:24 +08:00
# include "wutil.h"
2013-12-27 04:55:10 +08:00
# include "exec.h"
2013-12-25 05:17:24 +08:00
# include "path.h"
2014-01-13 15:52:33 +08:00
# include <algorithm>
2013-12-25 05:17:24 +08:00
2014-01-08 02:45:36 +08:00
/* These are the specific statement types that support redirections */
static bool specific_statement_type_is_redirectable_block ( const parse_node_t & node )
{
return node . type = = symbol_block_statement | | node . type = = symbol_if_statement | | node . type = = symbol_switch_statement ;
}
2013-12-25 05:17:24 +08:00
2014-02-10 06:04:43 +08:00
/* Get the name of a redirectable block, for profiling purposes */
static wcstring profiling_cmd_name_for_redirectable_block ( const parse_node_t & node , const parse_node_tree_t & tree , const wcstring & src )
{
assert ( specific_statement_type_is_redirectable_block ( node ) ) ;
assert ( node . has_source ( ) ) ;
2014-04-01 01:01:39 +08:00
2014-02-10 06:04:43 +08:00
/* Get the source for the block, and cut it at the next statement terminator. */
const size_t src_start = node . source_start ;
size_t src_len = node . source_length ;
const parse_node_tree_t : : parse_node_list_t statement_terminator_nodes = tree . find_nodes ( node , parse_token_type_end , 1 ) ;
if ( ! statement_terminator_nodes . empty ( ) )
{
const parse_node_t * term = statement_terminator_nodes . at ( 0 ) ;
assert ( term - > source_start > = src_start ) ;
src_len = term - > source_start - src_start ;
}
2014-04-01 01:01:39 +08:00
2014-02-10 06:04:43 +08:00
wcstring result = wcstring ( src , src_start , src_len ) ;
result . append ( L " ... " ) ;
return result ;
}
2014-03-02 08:04:13 +08:00
parse_execution_context_t : : parse_execution_context_t ( const parse_node_tree_t & t , const wcstring & s , parser_t * p , int initial_eval_level ) : tree ( t ) , src ( s ) , parser ( p ) , eval_level ( initial_eval_level ) , executing_node_idx ( NODE_OFFSET_INVALID ) , cached_lineno_offset ( 0 ) , cached_lineno_count ( 0 )
2013-12-25 05:17:24 +08:00
{
}
/* Utilities */
wcstring parse_execution_context_t : : get_source ( const parse_node_t & node ) const
{
return node . get_source ( this - > src ) ;
}
2013-12-27 04:55:10 +08:00
const parse_node_t * parse_execution_context_t : : get_child ( const parse_node_t & parent , node_offset_t which , parse_token_type_t expected_type ) const
2013-12-25 05:17:24 +08:00
{
return this - > tree . get_child ( parent , which , expected_type ) ;
}
node_offset_t parse_execution_context_t : : get_offset ( const parse_node_t & node ) const
{
2013-12-27 04:24:00 +08:00
/* Get the offset of a node via pointer arithmetic, very hackish */
2013-12-25 05:17:24 +08:00
const parse_node_t * addr = & node ;
const parse_node_t * base = & this - > tree . at ( 0 ) ;
assert ( addr > = base ) ;
2014-03-26 11:06:34 +08:00
assert ( addr - base < SOURCE_OFFSET_INVALID ) ;
node_offset_t offset = static_cast < node_offset_t > ( addr - base ) ;
2013-12-25 05:17:24 +08:00
assert ( offset < this - > tree . size ( ) ) ;
2013-12-27 04:24:00 +08:00
assert ( & tree . at ( offset ) = = & node ) ;
2013-12-25 05:17:24 +08:00
return offset ;
}
2014-01-02 07:29:56 +08:00
const parse_node_t * parse_execution_context_t : : infinite_recursive_statement_in_job_list ( const parse_node_t & job_list , wcstring * out_func_name ) const
{
assert ( job_list . type = = symbol_job_list ) ;
/*
This is a bit fragile . It is a test to see if we are
inside of function call , but not inside a block in that
function call . If , in the future , the rules for what
block scopes are pushed on function invocation changes ,
then this check will break .
*/
const block_t * current = parser - > block_at_index ( 0 ) , * parent = parser - > block_at_index ( 1 ) ;
bool is_within_function_call = ( current & & parent & & current - > type ( ) = = TOP & & parent - > type ( ) = = FUNCTION_CALL ) ;
if ( ! is_within_function_call )
{
return NULL ;
}
2014-01-15 17:40:40 +08:00
2014-01-02 07:29:56 +08:00
/* Check to see which function call is forbidden */
if ( parser - > forbidden_function . empty ( ) )
{
return NULL ;
}
const wcstring & forbidden_function_name = parser - > forbidden_function . back ( ) ;
2014-01-15 17:40:40 +08:00
2014-01-02 07:29:56 +08:00
/* Get the first job in the job list. */
2014-01-06 07:23:42 +08:00
const parse_node_t * first_job = tree . next_node_in_node_list ( job_list , symbol_job , NULL ) ;
2014-01-02 07:29:56 +08:00
if ( first_job = = NULL )
{
return NULL ;
}
/* Here's the statement node we find that's infinite recursive */
const parse_node_t * infinite_recursive_statement = NULL ;
2014-01-15 17:40:40 +08:00
2014-01-02 07:29:56 +08:00
/* Get the list of statements */
const parse_node_tree_t : : parse_node_list_t statements = tree . specific_statements_for_job ( * first_job ) ;
2014-01-15 17:40:40 +08:00
2014-01-02 07:29:56 +08:00
/* Find all the decorated statements. We are interested in statements with no decoration (i.e. not command, not builtin) whose command expands to the forbidden function */
for ( size_t i = 0 ; i < statements . size ( ) ; i + + )
{
/* We only care about decorated statements, not while statements, etc. */
const parse_node_t & statement = * statements . at ( i ) ;
if ( statement . type ! = symbol_decorated_statement )
{
continue ;
}
2014-01-15 17:40:40 +08:00
2014-01-02 07:29:56 +08:00
const parse_node_t & plain_statement = tree . find_child ( statement , symbol_plain_statement ) ;
if ( tree . decoration_for_plain_statement ( plain_statement ) ! = parse_statement_decoration_none )
{
/* This statement has a decoration like 'builtin' or 'command', and therefore is not infinite recursion. In particular this is what enables 'wrapper functions' */
continue ;
}
2014-01-15 17:40:40 +08:00
2014-01-02 07:29:56 +08:00
/* Ok, this is an undecorated plain statement. Get and expand its command */
wcstring cmd ;
tree . command_for_plain_statement ( plain_statement , src , & cmd ) ;
2014-03-22 08:13:33 +08:00
expand_one ( cmd , EXPAND_SKIP_CMDSUBST | EXPAND_SKIP_VARIABLES , NULL ) ;
2014-01-15 17:40:40 +08:00
2014-01-02 07:29:56 +08:00
if ( cmd = = forbidden_function_name )
{
/* This is it */
infinite_recursive_statement = & statement ;
if ( out_func_name ! = NULL )
{
* out_func_name = forbidden_function_name ;
}
break ;
}
}
2014-01-15 17:40:40 +08:00
2014-01-02 07:29:56 +08:00
assert ( infinite_recursive_statement = = NULL | | infinite_recursive_statement - > type = = symbol_decorated_statement ) ;
return infinite_recursive_statement ;
}
2014-01-01 06:37:37 +08:00
enum process_type_t parse_execution_context_t : : process_type_for_command ( const parse_node_t & plain_statement , const wcstring & cmd ) const
{
assert ( plain_statement . type = = symbol_plain_statement ) ;
enum process_type_t process_type = EXTERNAL ;
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
/* Determine the process type, which depends on the statement decoration (command, builtin, etc) */
enum parse_statement_decoration_t decoration = tree . decoration_for_plain_statement ( plain_statement ) ;
2014-01-15 17:40:40 +08:00
2014-02-14 02:08:04 +08:00
if ( decoration = = parse_statement_decoration_exec )
2014-01-01 06:37:37 +08:00
{
2014-02-14 02:08:04 +08:00
/* Always exec */
2014-01-01 06:37:37 +08:00
process_type = INTERNAL_EXEC ;
}
else if ( decoration = = parse_statement_decoration_command )
{
/* Always a command */
process_type = EXTERNAL ;
}
else if ( decoration = = parse_statement_decoration_builtin )
{
/* What happens if this builtin is not valid? */
process_type = INTERNAL_BUILTIN ;
}
else if ( function_exists ( cmd ) )
{
process_type = INTERNAL_FUNCTION ;
}
else if ( builtin_exists ( cmd ) )
{
process_type = INTERNAL_BUILTIN ;
}
else
{
process_type = EXTERNAL ;
}
return process_type ;
}
2013-12-25 05:17:24 +08:00
2013-12-29 08:18:38 +08:00
bool parse_execution_context_t : : should_cancel_execution ( const block_t * block ) const
2013-12-25 05:17:24 +08:00
{
2013-12-30 08:23:26 +08:00
return cancellation_reason ( block ) ! = execution_cancellation_none ;
}
parse_execution_context_t : : execution_cancellation_reason_t parse_execution_context_t : : cancellation_reason ( const block_t * block ) const
{
if ( shell_is_exiting ( ) )
{
return execution_cancellation_exit ;
}
2014-01-03 04:37:50 +08:00
else if ( parser & & parser - > cancellation_requested )
{
return execution_cancellation_skip ;
}
2013-12-30 08:23:26 +08:00
else if ( block & & block - > loop_status ! = LOOP_NORMAL )
{
/* Nasty hack - break and continue set the 'skip' flag as well as the loop status flag. */
return execution_cancellation_loop_control ;
}
else if ( block & & block - > skip )
{
return execution_cancellation_skip ;
}
else
{
return execution_cancellation_none ;
}
2013-12-25 05:17:24 +08:00
}
2014-01-08 02:45:36 +08:00
/* Return whether the job contains a single statement, of block type, with no redirections */
bool parse_execution_context_t : : job_is_simple_block ( const parse_node_t & job_node ) const
{
assert ( job_node . type = = symbol_job ) ;
2014-01-15 17:40:40 +08:00
2014-01-08 02:45:36 +08:00
/* Must have one statement */
const parse_node_t & statement = * get_child ( job_node , 0 , symbol_statement ) ;
const parse_node_t & specific_statement = * get_child ( statement , 0 ) ;
if ( ! specific_statement_type_is_redirectable_block ( specific_statement ) )
{
/* Not an appropriate block type */
return false ;
}
2014-01-15 17:40:40 +08:00
2014-01-08 02:45:36 +08:00
/* Must be no pipes */
const parse_node_t & continuation = * get_child ( job_node , 1 , symbol_job_continuation ) ;
if ( continuation . child_count > 0 )
{
/* Multiple statements in this job, so there's pipes involved */
return false ;
}
2014-01-15 17:40:40 +08:00
2014-01-08 02:45:36 +08:00
/* Check for arguments and redirections. All of the above types have an arguments / redirections list. It must be empty. */
const parse_node_t & args_and_redirections = tree . find_child ( specific_statement , symbol_arguments_or_redirections_list ) ;
if ( args_and_redirections . child_count > 0 )
{
/* Non-empty, we have an argument or redirection */
return false ;
}
2014-01-15 17:40:40 +08:00
2014-01-08 02:45:36 +08:00
/* Ok, we are a simple block! */
return true ;
}
2014-01-01 06:37:37 +08:00
parse_execution_result_t parse_execution_context_t : : run_if_statement ( const parse_node_t & statement )
2013-12-27 17:38:43 +08:00
{
assert ( statement . type = = symbol_if_statement ) ;
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
/* Push an if block */
if_block_t * ib = new if_block_t ( ) ;
ib - > node_offset = this - > get_offset ( statement ) ;
parser - > push_block ( ib ) ;
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
parse_execution_result_t result = parse_execution_success ;
2013-12-27 17:38:43 +08:00
/* We have a sequence of if clauses, with a final else, resulting in a single job list that we execute */
const parse_node_t * job_list_to_execute = NULL ;
const parse_node_t * if_clause = get_child ( statement , 0 , symbol_if_clause ) ;
const parse_node_t * else_clause = get_child ( statement , 1 , symbol_else_clause ) ;
2014-01-01 06:37:37 +08:00
for ( ; ; )
2013-12-27 17:38:43 +08:00
{
2014-01-01 06:37:37 +08:00
if ( should_cancel_execution ( ib ) )
{
result = parse_execution_cancelled ;
break ;
}
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
assert ( if_clause ! = NULL & & else_clause ! = NULL ) ;
const parse_node_t & condition = * get_child ( * if_clause , 1 , symbol_job ) ;
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
/* Check the condition. We treat parse_execution_errored here as failure, in accordance with historic behavior */
parse_execution_result_t cond_ret = run_1_job ( condition , ib ) ;
bool take_branch = ( cond_ret = = parse_execution_success ) & & proc_get_last_status ( ) = = EXIT_SUCCESS ;
if ( take_branch )
2013-12-27 17:38:43 +08:00
{
/* condition succeeded */
job_list_to_execute = get_child ( * if_clause , 3 , symbol_job_list ) ;
break ;
}
2013-12-27 19:58:42 +08:00
else if ( else_clause - > child_count = = 0 )
2013-12-27 17:38:43 +08:00
{
/* 'if' condition failed, no else clause, we're done */
job_list_to_execute = NULL ;
break ;
}
else
{
/* We have an 'else continuation' (either else-if or else) */
const parse_node_t & else_cont = * get_child ( * else_clause , 1 , symbol_else_continuation ) ;
assert ( else_cont . production_idx < 2 ) ;
if ( else_cont . production_idx = = 0 )
{
/* it's an 'else if', go to the next one */
if_clause = get_child ( else_cont , 0 , symbol_if_clause ) ;
else_clause = get_child ( else_cont , 1 , symbol_else_clause ) ;
}
else
{
/* it's the final 'else', we're done */
assert ( else_cont . production_idx = = 1 ) ;
job_list_to_execute = get_child ( else_cont , 1 , symbol_job_list ) ;
break ;
}
}
}
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
/* Execute any job list we got */
if ( job_list_to_execute ! = NULL )
{
2013-12-29 08:18:38 +08:00
run_job_list ( * job_list_to_execute , ib ) ;
2013-12-27 17:38:43 +08:00
}
2014-04-01 01:01:39 +08:00
2014-02-12 17:39:06 +08:00
/* It's possible there's a last-minute cancellation, in which case we should not stomp the exit status (#1297) */
if ( should_cancel_execution ( ib ) )
{
result = parse_execution_cancelled ;
}
2013-12-27 17:38:43 +08:00
/* Done */
parser - > pop_block ( ib ) ;
2014-01-15 17:40:40 +08:00
2014-02-08 09:56:40 +08:00
/* Issue 1061: If we executed, then always report success, instead of letting the exit status of the last command linger */
if ( result = = parse_execution_success )
{
proc_set_last_status ( STATUS_BUILTIN_OK ) ;
}
2014-01-01 06:37:37 +08:00
return result ;
2013-12-27 17:38:43 +08:00
}
2014-01-01 06:37:37 +08:00
parse_execution_result_t parse_execution_context_t : : run_begin_statement ( const parse_node_t & header , const parse_node_t & contents )
2013-12-27 17:38:43 +08:00
{
assert ( header . type = = symbol_begin_header ) ;
assert ( contents . type = = symbol_job_list ) ;
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
/* Basic begin/end block. Push a scope block. */
scope_block_t * sb = new scope_block_t ( BEGIN ) ;
parser - > push_block ( sb ) ;
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
/* Run the job list */
2014-01-01 06:37:37 +08:00
parse_execution_result_t ret = run_job_list ( contents , sb ) ;
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
/* Pop the block */
parser - > pop_block ( sb ) ;
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
return ret ;
2014-01-15 17:40:40 +08:00
}
2013-12-27 17:38:43 +08:00
/* Define a function */
2014-01-01 06:37:37 +08:00
parse_execution_result_t parse_execution_context_t : : run_function_statement ( const parse_node_t & header , const parse_node_t & contents )
2013-12-27 17:38:43 +08:00
{
assert ( header . type = = symbol_function_header ) ;
assert ( contents . type = = symbol_job_list ) ;
2014-01-01 06:37:37 +08:00
parse_execution_result_t result = parse_execution_success ;
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
/* Get arguments */
const parse_node_t * unmatched_wildcard = NULL ;
2013-12-27 19:58:42 +08:00
wcstring_list_t argument_list = this - > determine_arguments ( header , & unmatched_wildcard ) ;
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
if ( unmatched_wildcard ! = NULL )
{
2014-01-01 16:04:02 +08:00
report_unmatched_wildcard_error ( * unmatched_wildcard ) ;
2014-01-01 06:37:37 +08:00
result = parse_execution_errored ;
2013-12-27 17:38:43 +08:00
}
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
if ( result = = parse_execution_success )
2013-12-27 17:38:43 +08:00
{
const wcstring contents_str = get_source ( contents ) ;
2014-03-17 07:45:00 +08:00
int definition_line_offset = this - > line_offset_of_node_at_offset ( this - > get_offset ( contents ) ) ;
2013-12-27 17:38:43 +08:00
wcstring error_str ;
2014-03-17 07:45:00 +08:00
int err = define_function ( * parser , argument_list , contents_str , definition_line_offset , & error_str ) ;
2013-12-27 17:38:43 +08:00
proc_set_last_status ( err ) ;
2014-01-15 17:40:40 +08:00
2013-12-27 19:58:42 +08:00
if ( ! error_str . empty ( ) )
{
2014-01-01 16:04:02 +08:00
this - > report_error ( header , L " %ls " , error_str . c_str ( ) ) ;
2014-01-01 06:37:37 +08:00
result = parse_execution_errored ;
2013-12-27 19:58:42 +08:00
}
2013-12-27 17:38:43 +08:00
}
2014-01-01 06:37:37 +08:00
return result ;
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
}
2014-01-01 06:37:37 +08:00
parse_execution_result_t parse_execution_context_t : : run_block_statement ( const parse_node_t & statement )
2013-12-27 17:38:43 +08:00
{
assert ( statement . type = = symbol_block_statement ) ;
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
const parse_node_t & block_header = * get_child ( statement , 0 , symbol_block_header ) ; //block header
const parse_node_t & header = * get_child ( block_header , 0 ) ; //specific header type (e.g. for loop)
const parse_node_t & contents = * get_child ( statement , 2 , symbol_job_list ) ; //block contents
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
parse_execution_result_t ret = parse_execution_success ;
2013-12-27 17:38:43 +08:00
switch ( header . type )
{
case symbol_for_header :
ret = run_for_statement ( header , contents ) ;
break ;
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
case symbol_while_header :
ret = run_while_statement ( header , contents ) ;
break ;
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
case symbol_function_header :
ret = run_function_statement ( header , contents ) ;
break ;
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
case symbol_begin_header :
ret = run_begin_statement ( header , contents ) ;
break ;
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
default :
fprintf ( stderr , " Unexpected block header: %ls \n " , header . describe ( ) . c_str ( ) ) ;
PARSER_DIE ( ) ;
break ;
}
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
return ret ;
2013-12-27 17:38:43 +08:00
}
2014-01-01 06:37:37 +08:00
parse_execution_result_t parse_execution_context_t : : run_for_statement ( const parse_node_t & header , const parse_node_t & block_contents )
2013-12-27 17:38:43 +08:00
{
assert ( header . type = = symbol_for_header ) ;
assert ( block_contents . type = = symbol_job_list ) ;
2014-01-15 17:40:40 +08:00
2014-02-22 10:20:51 +08:00
/* Get the variable name: `for var_name in ...`. We expand the variable name. It better result in just one. */
2013-12-27 17:38:43 +08:00
const parse_node_t & var_name_node = * get_child ( header , 1 , parse_token_type_string ) ;
2014-02-22 10:20:51 +08:00
wcstring for_var_name = get_source ( var_name_node ) ;
2014-03-22 08:13:33 +08:00
if ( ! expand_one ( for_var_name , 0 , NULL ) )
2014-02-22 10:20:51 +08:00
{
report_error ( var_name_node , FAILED_EXPANSION_VARIABLE_NAME_ERR_MSG , for_var_name . c_str ( ) ) ;
return parse_execution_errored ;
}
2014-01-15 17:40:40 +08:00
2014-01-01 16:04:02 +08:00
/* Get the contents to iterate over. */
const parse_node_t * unmatched_wildcard = NULL ;
2014-03-03 05:46:30 +08:00
wcstring_list_t argument_sequence = this - > determine_arguments ( header , & unmatched_wildcard ) ;
2014-01-01 16:04:02 +08:00
if ( unmatched_wildcard ! = NULL )
{
return report_unmatched_wildcard_error ( * unmatched_wildcard ) ;
}
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
parse_execution_result_t ret = parse_execution_success ;
2014-01-15 17:40:40 +08:00
2014-03-03 05:46:30 +08:00
for_block_t * fb = new for_block_t ( ) ;
2013-12-27 17:38:43 +08:00
parser - > push_block ( fb ) ;
2014-01-01 06:37:37 +08:00
/* Now drive the for loop. */
2014-03-03 05:46:30 +08:00
const size_t arg_count = argument_sequence . size ( ) ;
for ( size_t i = 0 ; i < arg_count ; i + + )
2013-12-27 17:38:43 +08:00
{
2014-01-01 06:37:37 +08:00
if ( should_cancel_execution ( fb ) )
{
ret = parse_execution_cancelled ;
2014-01-01 16:04:02 +08:00
break ;
2014-01-01 06:37:37 +08:00
}
2014-01-15 17:40:40 +08:00
2014-03-03 05:46:30 +08:00
const wcstring & val = argument_sequence . at ( i ) ;
env_set ( for_var_name , val . c_str ( ) , ENV_LOCAL ) ;
2013-12-27 17:38:43 +08:00
fb - > loop_status = LOOP_NORMAL ;
fb - > skip = 0 ;
2014-01-15 17:40:40 +08:00
2013-12-29 08:18:38 +08:00
this - > run_job_list ( block_contents , fb ) ;
2014-01-15 17:40:40 +08:00
2013-12-30 08:23:26 +08:00
if ( this - > cancellation_reason ( fb ) = = execution_cancellation_loop_control )
2013-12-29 14:52:06 +08:00
{
2013-12-30 08:23:26 +08:00
/* Handle break or continue */
if ( fb - > loop_status = = LOOP_CONTINUE )
{
/* Reset the loop state */
fb - > loop_status = LOOP_NORMAL ;
fb - > skip = false ;
continue ;
}
else if ( fb - > loop_status = = LOOP_BREAK )
{
break ;
}
2013-12-29 14:52:06 +08:00
}
2013-12-27 17:38:43 +08:00
}
2014-01-15 17:40:40 +08:00
2014-01-08 02:45:36 +08:00
parser - > pop_block ( fb ) ;
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
return ret ;
2013-12-27 17:38:43 +08:00
}
2014-01-01 06:37:37 +08:00
parse_execution_result_t parse_execution_context_t : : run_switch_statement ( const parse_node_t & statement )
2013-12-27 17:38:43 +08:00
{
2013-12-27 19:58:42 +08:00
assert ( statement . type = = symbol_switch_statement ) ;
const parse_node_t * matching_case_item = NULL ;
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
parse_execution_result_t result = parse_execution_success ;
2014-01-15 17:40:40 +08:00
2013-12-27 19:58:42 +08:00
/* Get the switch variable */
2014-03-29 08:09:08 +08:00
const parse_node_t & switch_value_node = * get_child ( statement , 1 , symbol_argument ) ;
2013-12-27 19:58:42 +08:00
const wcstring switch_value = get_source ( switch_value_node ) ;
2014-01-15 17:40:40 +08:00
2014-03-22 08:13:33 +08:00
/* Expand it. We need to offset any errors by the position of the string */
2013-12-27 19:58:42 +08:00
std : : vector < completion_t > switch_values_expanded ;
2014-03-22 08:13:33 +08:00
parse_error_list_t errors ;
int expand_ret = expand_string ( switch_value , switch_values_expanded , EXPAND_NO_DESCRIPTIONS , & errors ) ;
parse_error_offset_source_start ( & errors , switch_value_node . source_start ) ;
2014-04-01 01:01:39 +08:00
2013-12-27 19:58:42 +08:00
switch ( expand_ret )
{
case EXPAND_ERROR :
{
2014-03-22 08:13:33 +08:00
result = report_errors ( errors ) ;
2013-12-27 19:58:42 +08:00
break ;
}
2014-01-15 17:40:40 +08:00
2013-12-27 19:58:42 +08:00
case EXPAND_WILDCARD_NO_MATCH :
{
/* Store the node that failed to expand */
2014-01-01 16:04:02 +08:00
report_error ( switch_value_node , WILDCARD_ERR_MSG , switch_value . c_str ( ) ) ;
2014-04-28 09:44:21 +08:00
result = parse_execution_errored ;
2013-12-27 19:58:42 +08:00
break ;
}
2014-01-15 17:40:40 +08:00
2013-12-27 19:58:42 +08:00
case EXPAND_WILDCARD_MATCH :
case EXPAND_OK :
{
break ;
}
}
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
if ( result = = parse_execution_success & & switch_values_expanded . size ( ) ! = 1 )
2013-12-27 19:58:42 +08:00
{
2014-01-15 17:40:40 +08:00
result = report_error ( switch_value_node ,
_ ( L " switch: Expected exactly one argument, got %lu \n " ) ,
switch_values_expanded . size ( ) ) ;
2013-12-27 19:58:42 +08:00
}
2014-04-01 01:01:39 +08:00
2014-01-01 06:37:37 +08:00
if ( result = = parse_execution_success )
2013-12-27 19:58:42 +08:00
{
2014-03-29 07:56:44 +08:00
const wcstring & switch_value_expanded = switch_values_expanded . at ( 0 ) . completion ;
2014-04-01 01:01:39 +08:00
2014-03-29 07:56:44 +08:00
switch_block_t * sb = new switch_block_t ( ) ;
parser - > push_block ( sb ) ;
2014-04-01 01:01:39 +08:00
2013-12-27 19:58:42 +08:00
/* Expand case statements */
const parse_node_t * case_item_list = get_child ( statement , 3 , symbol_case_item_list ) ;
2014-01-15 17:40:40 +08:00
2014-01-06 07:23:42 +08:00
/* Loop while we don't have a match but do have more of the list */
while ( matching_case_item = = NULL & & case_item_list ! = NULL )
2013-12-27 19:58:42 +08:00
{
2014-01-01 06:37:37 +08:00
if ( should_cancel_execution ( sb ) )
{
result = parse_execution_cancelled ;
break ;
}
2014-01-15 17:40:40 +08:00
2014-01-06 07:23:42 +08:00
/* Get the next item and the remainder of the list */
const parse_node_t * case_item = tree . next_node_in_node_list ( * case_item_list , symbol_case_item , & case_item_list ) ;
if ( case_item = = NULL )
2013-12-27 19:58:42 +08:00
{
2014-01-06 07:23:42 +08:00
/* No more items */
break ;
2013-12-27 19:58:42 +08:00
}
2014-01-15 17:40:40 +08:00
2013-12-27 19:58:42 +08:00
/* Pull out the argument list */
2014-01-06 07:23:42 +08:00
const parse_node_t & arg_list = * get_child ( * case_item , 1 , symbol_argument_list ) ;
2014-01-15 17:40:40 +08:00
2013-12-27 19:58:42 +08:00
/* Expand arguments. We explicitly ignore unmatched_wildcard. That is, a case item list may have a wildcard that fails to expand to anything. */
const wcstring_list_t case_args = this - > determine_arguments ( arg_list , NULL ) ;
2014-01-15 17:40:40 +08:00
2013-12-27 19:58:42 +08:00
for ( size_t i = 0 ; i < case_args . size ( ) ; i + + )
{
const wcstring & arg = case_args . at ( i ) ;
2014-01-15 17:40:40 +08:00
2013-12-27 19:58:42 +08:00
/* Unescape wildcards so they can be expanded again */
wchar_t * unescaped_arg = parse_util_unescape_wildcards ( arg . c_str ( ) ) ;
bool match = wildcard_match ( switch_value_expanded , unescaped_arg ) ;
free ( unescaped_arg ) ;
2014-01-15 17:40:40 +08:00
2013-12-27 19:58:42 +08:00
/* If this matched, we're done */
if ( match )
{
2014-01-06 07:23:42 +08:00
matching_case_item = case_item ;
2013-12-27 19:58:42 +08:00
break ;
}
}
}
2014-01-15 17:40:40 +08:00
2014-03-29 07:56:44 +08:00
if ( result = = parse_execution_success & & matching_case_item ! = NULL )
{
/* Success, evaluate the job list */
const parse_node_t * job_list = get_child ( * matching_case_item , 3 , symbol_job_list ) ;
result = this - > run_job_list ( * job_list , sb ) ;
}
2013-12-27 19:58:42 +08:00
2014-03-29 07:56:44 +08:00
parser - > pop_block ( sb ) ;
}
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
return result ;
2013-12-27 17:38:43 +08:00
}
2014-01-01 06:37:37 +08:00
parse_execution_result_t parse_execution_context_t : : run_while_statement ( const parse_node_t & header , const parse_node_t & block_contents )
2013-12-25 05:17:24 +08:00
{
assert ( header . type = = symbol_while_header ) ;
2013-12-29 08:18:38 +08:00
assert ( block_contents . type = = symbol_job_list ) ;
2014-01-15 17:40:40 +08:00
2013-12-27 05:24:10 +08:00
/* Push a while block */
2013-12-25 05:17:24 +08:00
while_block_t * wb = new while_block_t ( ) ;
2013-12-29 08:18:38 +08:00
wb - > node_offset = this - > get_offset ( header ) ;
2013-12-25 05:17:24 +08:00
parser - > push_block ( wb ) ;
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
parse_execution_result_t ret = parse_execution_success ;
2014-01-15 17:40:40 +08:00
2013-12-27 05:24:10 +08:00
/* The condition and contents of the while loop, as a job and job list respectively */
2013-12-27 04:24:00 +08:00
const parse_node_t & while_condition = * get_child ( header , 1 , symbol_job ) ;
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
/* Run while the condition is true */
for ( ; ; )
2013-12-27 04:24:00 +08:00
{
2014-01-01 06:37:37 +08:00
/* Check the condition */
parse_execution_result_t cond_result = this - > run_1_job ( while_condition , wb ) ;
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
/* We only continue on successful execution and EXIT_SUCCESS */
if ( cond_result ! = parse_execution_success | | proc_get_last_status ( ) ! = EXIT_SUCCESS )
{
break ;
}
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
/* Check cancellation */
if ( this - > should_cancel_execution ( wb ) )
{
ret = parse_execution_cancelled ;
break ;
}
2014-01-15 17:40:40 +08:00
2013-12-29 14:52:06 +08:00
/* The block ought to go inside the loop (see #1212) */
2013-12-29 08:18:38 +08:00
this - > run_job_list ( block_contents , wb ) ;
2014-01-15 17:40:40 +08:00
2013-12-30 08:23:26 +08:00
if ( this - > cancellation_reason ( wb ) = = execution_cancellation_loop_control )
2013-12-29 14:52:06 +08:00
{
2013-12-30 08:23:26 +08:00
/* Handle break or continue */
if ( wb - > loop_status = = LOOP_CONTINUE )
{
/* Reset the loop state */
wb - > loop_status = LOOP_NORMAL ;
wb - > skip = false ;
continue ;
}
else if ( wb - > loop_status = = LOOP_BREAK )
{
break ;
}
2013-12-29 14:52:06 +08:00
}
2013-12-27 04:24:00 +08:00
}
2014-01-15 17:40:40 +08:00
2013-12-27 05:24:10 +08:00
/* Done */
2013-12-27 04:24:00 +08:00
parser - > pop_block ( wb ) ;
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
return ret ;
2013-12-25 05:17:24 +08:00
}
2014-01-01 16:04:02 +08:00
/* Reports an error. Always returns parse_execution_errored, so you can assign the result to an 'errored' variable */
2014-03-22 08:13:33 +08:00
parse_execution_result_t parse_execution_context_t : : report_error ( const parse_node_t & node , const wchar_t * fmt , . . . ) const
2013-12-25 05:17:24 +08:00
{
2014-01-09 10:20:55 +08:00
if ( parser - > show_errors )
{
/* Create an error */
2014-03-22 08:13:33 +08:00
parse_error_list_t error_list = parse_error_list_t ( 1 ) ;
parse_error_t * error = & error_list . at ( 0 ) ;
error - > source_start = node . source_start ;
error - > source_length = node . source_length ;
error - > code = parse_error_syntax ; //hackish
2014-01-15 17:40:40 +08:00
2014-01-09 10:20:55 +08:00
va_list va ;
va_start ( va , fmt ) ;
2014-03-22 08:13:33 +08:00
error - > text = vformat_string ( fmt , va ) ;
2014-01-09 10:20:55 +08:00
va_end ( va ) ;
2014-04-01 01:01:39 +08:00
2014-03-22 08:13:33 +08:00
this - > report_errors ( error_list ) ;
}
return parse_execution_errored ;
}
2014-01-15 17:40:40 +08:00
2014-03-22 08:13:33 +08:00
parse_execution_result_t parse_execution_context_t : : report_errors ( const parse_error_list_t & error_list ) const
{
if ( parser - > show_errors )
{
if ( error_list . empty ( ) )
{
fprintf ( stderr , " Bug: Error reported but no error text found. " ) ;
}
2014-04-01 01:01:39 +08:00
2014-01-09 10:20:55 +08:00
/* Get a backtrace */
wcstring backtrace_and_desc ;
parser - > get_backtrace ( src , error_list , & backtrace_and_desc ) ;
2014-04-01 01:01:39 +08:00
2014-03-22 08:13:33 +08:00
/* Print it */
2014-02-18 06:51:51 +08:00
fprintf ( stderr , " %ls " , backtrace_and_desc . c_str ( ) ) ;
2014-01-09 10:20:55 +08:00
}
2014-01-01 06:37:37 +08:00
return parse_execution_errored ;
2013-12-25 05:17:24 +08:00
}
2014-01-01 16:04:02 +08:00
/* Reoports an unmatched wildcard error and returns parse_execution_errored */
parse_execution_result_t parse_execution_context_t : : report_unmatched_wildcard_error ( const parse_node_t & unmatched_wildcard )
2013-12-27 17:38:43 +08:00
{
proc_set_last_status ( STATUS_UNMATCHED_WILDCARD ) ;
2014-01-01 16:04:02 +08:00
/* For reasons I cannot explain, unmatched wildcards are only reported in interactive use. */
if ( get_is_interactive ( ) )
{
return report_error ( unmatched_wildcard , WILDCARD_ERR_MSG , get_source ( unmatched_wildcard ) . c_str ( ) ) ;
}
else
{
return parse_execution_errored ;
}
2013-12-27 17:38:43 +08:00
}
2013-12-30 08:23:26 +08:00
/* Handle the case of command not found */
void parse_execution_context_t : : handle_command_not_found ( const wcstring & cmd_str , const parse_node_t & statement_node , int err_code )
{
assert ( statement_node . type = = symbol_plain_statement ) ;
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
/* We couldn't find the specified command. This is a non-fatal error. We want to set the exit status to 127, which is the standard number used by other shells like bash and zsh. */
2014-01-15 17:40:40 +08:00
2013-12-30 08:23:26 +08:00
const wchar_t * const cmd = cmd_str . c_str ( ) ;
const wchar_t * const equals_ptr = wcschr ( cmd , L ' = ' ) ;
if ( equals_ptr ! = NULL )
{
/* Try to figure out if this is a pure variable assignment (foo=bar), or if this appears to be running a command (foo=bar ruby...) */
2014-01-15 17:40:40 +08:00
2013-12-30 08:23:26 +08:00
const wcstring name_str = wcstring ( cmd , equals_ptr - cmd ) ; //variable name, up to the =
const wcstring val_str = wcstring ( equals_ptr + 1 ) ; //variable value, past the =
2014-01-15 17:40:40 +08:00
2013-12-30 08:23:26 +08:00
const parse_node_tree_t : : parse_node_list_t args = tree . find_nodes ( statement_node , symbol_argument , 1 ) ;
2014-01-15 17:40:40 +08:00
2013-12-30 08:23:26 +08:00
if ( ! args . empty ( ) )
{
const wcstring argument = get_source ( * args . at ( 0 ) ) ;
2014-01-15 17:40:40 +08:00
2013-12-30 08:23:26 +08:00
wcstring ellipsis_str = wcstring ( 1 , ellipsis_char ) ;
if ( ellipsis_str = = L " $ " )
ellipsis_str = L " ... " ;
2014-01-15 17:40:40 +08:00
2013-12-30 08:23:26 +08:00
/* Looks like a command */
2014-01-01 16:04:02 +08:00
this - > report_error ( statement_node ,
2014-01-01 06:37:37 +08:00
_ ( L " Unknown command '%ls'. Did you mean to run %ls with a modified environment? Try 'env %ls=%ls %ls%ls'. See the help section on the set command by typing 'help set'. " ) ,
cmd ,
argument . c_str ( ) ,
name_str . c_str ( ) ,
val_str . c_str ( ) ,
argument . c_str ( ) ,
ellipsis_str . c_str ( ) ) ;
2013-12-30 08:23:26 +08:00
}
else
{
2014-01-01 16:04:02 +08:00
this - > report_error ( statement_node ,
2014-01-01 06:37:37 +08:00
COMMAND_ASSIGN_ERR_MSG ,
cmd ,
name_str . c_str ( ) ,
val_str . c_str ( ) ) ;
2013-12-30 08:23:26 +08:00
}
}
else if ( cmd [ 0 ] = = L ' $ ' | | cmd [ 0 ] = = VARIABLE_EXPAND | | cmd [ 0 ] = = VARIABLE_EXPAND_SINGLE )
{
2014-01-15 17:40:40 +08:00
2013-12-30 08:23:26 +08:00
const env_var_t val_wstr = env_get_string ( cmd + 1 ) ;
const wchar_t * val = val_wstr . missing ( ) ? NULL : val_wstr . c_str ( ) ;
if ( val )
{
2014-01-01 16:04:02 +08:00
this - > report_error ( statement_node ,
2014-01-01 06:37:37 +08:00
_ ( L " Variables may not be used as commands. Instead, define a function like 'function %ls; %ls $argv; end' or use the eval builtin instead, like 'eval %ls'. See the help section for the function command by typing 'help function'. " ) ,
cmd + 1 ,
val ,
cmd ,
cmd ) ;
2013-12-30 08:23:26 +08:00
}
else
{
2014-01-01 16:04:02 +08:00
this - > report_error ( statement_node ,
2014-01-01 06:37:37 +08:00
_ ( L " Variables may not be used as commands. Instead, define a function or use the eval builtin instead, like 'eval %ls'. See the help section for the function command by typing 'help function'. " ) ,
cmd ,
cmd ) ;
2013-12-30 08:23:26 +08:00
}
}
else if ( wcschr ( cmd , L ' $ ' ) )
{
2014-01-01 16:04:02 +08:00
this - > report_error ( statement_node ,
2014-01-01 06:37:37 +08:00
_ ( L " Commands may not contain variables. Use the eval builtin instead, like 'eval %ls'. See the help section for the eval command by typing 'help eval'. " ) ,
cmd ,
cmd ) ;
2013-12-30 08:23:26 +08:00
}
else if ( err_code ! = ENOENT )
{
2014-01-01 16:04:02 +08:00
this - > report_error ( statement_node ,
2014-01-01 06:37:37 +08:00
_ ( L " The file '%ls' is not executable by this user " ) ,
cmd ? cmd : L " UNKNOWN " ) ;
2013-12-30 08:23:26 +08:00
}
else
{
/*
Handle unrecognized commands with standard
command not found handler that can make better
error messages
*/
2014-01-15 17:40:40 +08:00
2013-12-30 08:23:26 +08:00
wcstring_list_t event_args ;
event_args . push_back ( cmd_str ) ;
event_fire_generic ( L " fish_command_not_found " , & event_args ) ;
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
/* Here we want to report an error (so it shows a backtrace), but with no text */
2014-01-01 16:04:02 +08:00
this - > report_error ( statement_node , L " " ) ;
2013-12-30 08:23:26 +08:00
}
2014-01-15 17:40:40 +08:00
2013-12-30 08:23:26 +08:00
/* Set the last proc status appropriately */
proc_set_last_status ( err_code = = ENOENT ? STATUS_UNKNOWN_COMMAND : STATUS_NOT_EXECUTABLE ) ;
}
2013-12-29 08:18:38 +08:00
2013-12-27 05:24:10 +08:00
/* Creates a 'normal' (non-block) process */
2014-01-01 06:37:37 +08:00
parse_execution_result_t parse_execution_context_t : : populate_plain_process ( job_t * job , process_t * proc , const parse_node_t & statement )
2013-12-25 05:17:24 +08:00
{
2014-01-01 06:37:37 +08:00
assert ( job ! = NULL ) ;
assert ( proc ! = NULL ) ;
2013-12-30 08:23:26 +08:00
assert ( statement . type = = symbol_plain_statement ) ;
2014-01-15 17:40:40 +08:00
2013-12-30 08:23:26 +08:00
/* We may decide that a command should be an implicit cd */
bool use_implicit_cd = false ;
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
/* Get the command. We expect to always get it here. */
wcstring cmd ;
bool got_cmd = tree . command_for_plain_statement ( statement , src , & cmd ) ;
assert ( got_cmd ) ;
2014-01-15 17:40:40 +08:00
2014-01-02 07:29:56 +08:00
/* Expand it as a command. Return an error on failure. */
2014-03-22 08:13:33 +08:00
bool expanded = expand_one ( cmd , EXPAND_SKIP_CMDSUBST | EXPAND_SKIP_VARIABLES , NULL ) ;
2013-12-25 05:17:24 +08:00
if ( ! expanded )
{
2014-01-01 16:04:02 +08:00
report_error ( statement , ILLEGAL_CMD_ERR_MSG , cmd . c_str ( ) ) ;
2014-01-01 06:37:37 +08:00
return parse_execution_errored ;
2013-12-25 05:17:24 +08:00
}
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
/* Determine the process type */
enum process_type_t process_type = process_type_for_command ( statement , cmd ) ;
2014-01-15 17:40:40 +08:00
2014-01-02 07:29:56 +08:00
/* Check for stack overflow */
if ( process_type = = INTERNAL_FUNCTION & & parser - > forbidden_function . size ( ) > FISH_MAX_STACK_DEPTH )
{
this - > report_error ( statement , CALL_STACK_LIMIT_EXCEEDED_ERR_MSG ) ;
return parse_execution_errored ;
}
2014-01-15 17:40:40 +08:00
2014-01-08 06:57:58 +08:00
wcstring path_to_external_command ;
2014-02-14 02:08:04 +08:00
if ( process_type = = EXTERNAL | | process_type = = INTERNAL_EXEC )
2013-12-25 05:17:24 +08:00
{
2013-12-30 08:23:26 +08:00
/* Determine the actual command. This may be an implicit cd. */
2014-01-08 06:57:58 +08:00
bool has_command = path_get_path ( cmd , & path_to_external_command ) ;
2014-01-15 17:40:40 +08:00
2013-12-30 08:23:26 +08:00
/* If there was no command, then we care about the value of errno after checking for it, to distinguish between e.g. no file vs permissions problem */
const int no_cmd_err_code = errno ;
2014-01-15 17:40:40 +08:00
2013-12-30 08:23:26 +08:00
/* If the specified command does not exist, and is undecorated, try using an implicit cd. */
2014-01-01 06:37:37 +08:00
if ( ! has_command & & tree . decoration_for_plain_statement ( statement ) = = parse_statement_decoration_none )
2013-12-25 05:17:24 +08:00
{
2013-12-30 08:23:26 +08:00
/* Implicit cd requires an empty argument and redirection list */
const parse_node_t * args = get_child ( statement , 1 , symbol_arguments_or_redirections_list ) ;
if ( args - > child_count = = 0 )
{
/* Ok, no arguments or redirections; check to see if the first argument is a directory */
wcstring implicit_cd_path ;
use_implicit_cd = path_can_be_implicit_cd ( cmd , & implicit_cd_path ) ;
}
}
2014-01-15 17:40:40 +08:00
2013-12-30 08:23:26 +08:00
if ( ! has_command & & ! use_implicit_cd )
{
/* No command */
this - > handle_command_not_found ( cmd , statement , no_cmd_err_code ) ;
2014-01-01 06:37:37 +08:00
return parse_execution_errored ;
2013-12-25 05:17:24 +08:00
}
}
2014-01-15 17:40:40 +08:00
2013-12-30 08:23:26 +08:00
/* The argument list and set of IO redirections that we will construct for the process */
wcstring_list_t argument_list ;
io_chain_t process_io_chain ;
if ( use_implicit_cd )
{
/* Implicit cd is simple */
argument_list . push_back ( L " cd " ) ;
argument_list . push_back ( cmd ) ;
2014-01-08 06:57:58 +08:00
path_to_external_command . clear ( ) ;
2014-01-15 17:40:40 +08:00
2013-12-30 08:23:26 +08:00
/* If we have defined a wrapper around cd, use it, otherwise use the cd builtin */
process_type = function_exists ( L " cd " ) ? INTERNAL_FUNCTION : INTERNAL_BUILTIN ;
}
else
{
2014-01-01 06:37:37 +08:00
/* Form the list of arguments. The command is the first argument. TODO: count hack, where we treat 'count --help' as different from 'count $foo' that expands to 'count --help'. fish 1.x never successfully did this, but it tried to! */
2013-12-30 08:23:26 +08:00
const parse_node_t * unmatched_wildcard = NULL ;
argument_list = this - > determine_arguments ( statement , & unmatched_wildcard ) ;
argument_list . insert ( argument_list . begin ( ) , cmd ) ;
2014-01-15 17:40:40 +08:00
2013-12-30 08:23:26 +08:00
/* If we were not able to expand any wildcards, here is the first one that failed */
if ( unmatched_wildcard ! = NULL )
{
job_set_flag ( job , JOB_WILDCARD_ERROR , 1 ) ;
2014-01-01 16:04:02 +08:00
report_unmatched_wildcard_error ( * unmatched_wildcard ) ;
2014-01-01 06:37:37 +08:00
return parse_execution_errored ;
2013-12-30 08:23:26 +08:00
}
2014-01-15 17:40:40 +08:00
2013-12-30 08:23:26 +08:00
/* The set of IO redirections that we construct for the process */
2014-01-01 06:37:37 +08:00
if ( ! this - > determine_io_chain ( statement , & process_io_chain ) )
{
return parse_execution_errored ;
}
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
/* Determine the process type */
process_type = process_type_for_command ( statement , cmd ) ;
2013-12-30 08:23:26 +08:00
}
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
/* Populate the process */
proc - > type = process_type ;
proc - > set_argv ( argument_list ) ;
proc - > set_io_chain ( process_io_chain ) ;
2014-01-08 06:57:58 +08:00
proc - > actual_cmd = path_to_external_command ;
2014-01-01 06:37:37 +08:00
return parse_execution_success ;
2013-12-25 05:17:24 +08:00
}
/* Determine the list of arguments, expanding stuff. If we have a wildcard and none could be expanded, return the unexpandable wildcard node by reference. */
wcstring_list_t parse_execution_context_t : : determine_arguments ( const parse_node_t & parent , const parse_node_t * * out_unmatched_wildcard_node )
{
wcstring_list_t argument_list ;
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
/* Whether we failed to match any wildcards, and succeeded in matching any wildcards */
bool unmatched_wildcard = false , matched_wildcard = false ;
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
/* First node that failed to expand as a wildcard (if any) */
const parse_node_t * unmatched_wildcard_node = NULL ;
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
/* Get all argument nodes underneath the statement */
const parse_node_tree_t : : parse_node_list_t argument_nodes = tree . find_nodes ( parent , symbol_argument ) ;
argument_list . reserve ( argument_nodes . size ( ) ) ;
for ( size_t i = 0 ; i < argument_nodes . size ( ) ; i + + )
{
const parse_node_t & arg_node = * argument_nodes . at ( i ) ;
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
/* Expect all arguments to have source */
assert ( arg_node . has_source ( ) ) ;
const wcstring arg_str = arg_node . get_source ( src ) ;
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
/* Expand this string */
std : : vector < completion_t > arg_expanded ;
2014-03-22 08:13:33 +08:00
parse_error_list_t errors ;
int expand_ret = expand_string ( arg_str , arg_expanded , EXPAND_NO_DESCRIPTIONS , & errors ) ;
parse_error_offset_source_start ( & errors , arg_node . source_start ) ;
2013-12-25 05:17:24 +08:00
switch ( expand_ret )
{
case EXPAND_ERROR :
{
2014-03-22 08:13:33 +08:00
this - > report_errors ( errors ) ;
2013-12-25 05:17:24 +08:00
break ;
}
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
case EXPAND_WILDCARD_NO_MATCH :
{
/* Store the node that failed to expand */
unmatched_wildcard = true ;
if ( ! unmatched_wildcard_node )
{
unmatched_wildcard_node = & arg_node ;
}
break ;
}
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
case EXPAND_WILDCARD_MATCH :
{
matched_wildcard = true ;
break ;
}
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
case EXPAND_OK :
{
break ;
}
}
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
/* Now copy over any expanded arguments */
for ( size_t i = 0 ; i < arg_expanded . size ( ) ; i + + )
{
argument_list . push_back ( arg_expanded . at ( i ) . completion ) ;
}
}
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
/* Return if we had a wildcard problem */
2013-12-29 14:52:06 +08:00
if ( out_unmatched_wildcard_node ! = NULL & & unmatched_wildcard & & ! matched_wildcard )
2013-12-25 05:17:24 +08:00
{
* out_unmatched_wildcard_node = unmatched_wildcard_node ;
}
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
return argument_list ;
}
2013-12-29 08:18:38 +08:00
bool parse_execution_context_t : : determine_io_chain ( const parse_node_t & statement_node , io_chain_t * out_chain )
2013-12-25 05:17:24 +08:00
{
io_chain_t result ;
2013-12-27 04:55:10 +08:00
bool errored = false ;
2014-01-15 17:40:40 +08:00
2013-12-29 08:18:38 +08:00
/* We are called with a statement of varying types. We require that the statement have an arguments_or_redirections_list child. */
const parse_node_t & args_and_redirections_list = tree . find_child ( statement_node , symbol_arguments_or_redirections_list ) ;
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
/* Get all redirection nodes underneath the statement */
2013-12-29 08:18:38 +08:00
const parse_node_tree_t : : parse_node_list_t redirect_nodes = tree . find_nodes ( args_and_redirections_list , symbol_redirection ) ;
2013-12-25 05:17:24 +08:00
for ( size_t i = 0 ; i < redirect_nodes . size ( ) ; i + + )
{
const parse_node_t & redirect_node = * redirect_nodes . at ( i ) ;
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
int source_fd = - 1 ; /* source fd */
wcstring target ; /* file path or target fd */
enum token_type redirect_type = tree . type_for_redirection ( redirect_node , src , & source_fd , & target ) ;
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
/* PCA: I can't justify this EXPAND_SKIP_VARIABLES flag. It was like this when I got here. */
2014-03-22 08:13:33 +08:00
bool target_expanded = expand_one ( target , no_exec ? EXPAND_SKIP_VARIABLES : 0 , NULL ) ;
2013-12-25 05:17:24 +08:00
if ( ! target_expanded | | target . empty ( ) )
{
/* Should improve this error message */
2014-01-01 16:04:02 +08:00
errored = report_error ( redirect_node ,
2014-01-15 17:40:40 +08:00
_ ( L " Invalid redirection target: %ls " ) ,
target . c_str ( ) ) ;
2013-12-25 05:17:24 +08:00
}
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
/* Generate the actual IO redirection */
shared_ptr < io_data_t > new_io ;
assert ( redirect_type ! = TOK_NONE ) ;
switch ( redirect_type )
{
case TOK_REDIRECT_FD :
{
if ( target = = L " - " )
{
new_io . reset ( new io_close_t ( source_fd ) ) ;
}
else
{
wchar_t * end = NULL ;
errno = 0 ;
int old_fd = fish_wcstoi ( target . c_str ( ) , & end , 10 ) ;
if ( old_fd < 0 | | errno | | * end )
{
2014-01-01 16:04:02 +08:00
errored = report_error ( redirect_node ,
2014-01-15 17:40:40 +08:00
_ ( L " Requested redirection to '%ls', which is not a valid file descriptor " ) ,
target . c_str ( ) ) ;
2013-12-25 05:17:24 +08:00
}
else
{
new_io . reset ( new io_fd_t ( source_fd , old_fd ) ) ;
}
}
break ;
}
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
case TOK_REDIRECT_OUT :
case TOK_REDIRECT_APPEND :
case TOK_REDIRECT_IN :
case TOK_REDIRECT_NOCLOB :
{
int oflags = oflags_for_redirection_type ( redirect_type ) ;
io_file_t * new_io_file = new io_file_t ( source_fd , target , oflags ) ;
new_io . reset ( new_io_file ) ;
break ;
}
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
default :
{
// Should be unreachable
fprintf ( stderr , " Unexpected redirection type %ld. aborting. \n " , ( long ) redirect_type ) ;
PARSER_DIE ( ) ;
break ;
}
}
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
/* Append the new_io if we got one */
if ( new_io . get ( ) ! = NULL )
{
result . push_back ( new_io ) ;
}
}
2014-01-15 17:40:40 +08:00
2013-12-27 04:55:10 +08:00
if ( out_chain & & ! errored )
{
2014-03-26 03:44:21 +08:00
out_chain - > swap ( result ) ;
2013-12-27 04:55:10 +08:00
}
return ! errored ;
2013-12-25 05:17:24 +08:00
}
2014-01-01 06:37:37 +08:00
parse_execution_result_t parse_execution_context_t : : populate_boolean_process ( job_t * job , process_t * proc , const parse_node_t & bool_statement )
2013-12-25 05:17:24 +08:00
{
// Handle a boolean statement
bool skip_job = false ;
assert ( bool_statement . type = = symbol_boolean_statement ) ;
switch ( bool_statement . production_idx )
{
2014-01-15 17:40:40 +08:00
// These magic numbers correspond to productions for boolean_statement
2013-12-25 05:17:24 +08:00
case 0 :
// AND. Skip if the last job failed.
skip_job = ( proc_get_last_status ( ) ! = 0 ) ;
break ;
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
case 1 :
// OR. Skip if the last job succeeded.
skip_job = ( proc_get_last_status ( ) = = 0 ) ;
break ;
case 2 :
// NOT. Negate it.
job_set_flag ( job , JOB_NEGATE , ! job_get_flag ( job , JOB_NEGATE ) ) ;
break ;
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
default :
{
fprintf ( stderr , " Unexpected production in boolean statement \n " ) ;
PARSER_DIE ( ) ;
break ;
}
}
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
if ( skip_job )
{
return parse_execution_skipped ;
}
else
2013-12-25 05:17:24 +08:00
{
const parse_node_t & subject = * tree . get_child ( bool_statement , 1 , symbol_statement ) ;
2014-01-01 06:37:37 +08:00
return this - > populate_job_process ( job , proc , subject ) ;
2013-12-25 05:17:24 +08:00
}
}
2014-01-01 06:37:37 +08:00
parse_execution_result_t parse_execution_context_t : : populate_block_process ( job_t * job , process_t * proc , const parse_node_t & statement_node )
2013-12-27 04:24:00 +08:00
{
2013-12-27 17:38:43 +08:00
/* We handle block statements by creating INTERNAL_BLOCK_NODE, that will bounce back to us when it's time to execute them */
2013-12-27 04:24:00 +08:00
assert ( statement_node . type = = symbol_block_statement | | statement_node . type = = symbol_if_statement | | statement_node . type = = symbol_switch_statement ) ;
2014-01-15 17:40:40 +08:00
2013-12-29 08:18:38 +08:00
/* The set of IO redirections that we construct for the process */
io_chain_t process_io_chain ;
bool errored = ! this - > determine_io_chain ( statement_node , & process_io_chain ) ;
if ( errored )
2014-01-01 06:37:37 +08:00
return parse_execution_errored ;
2013-12-29 08:18:38 +08:00
2014-01-01 06:37:37 +08:00
proc - > type = INTERNAL_BLOCK_NODE ;
proc - > internal_block_node = this - > get_offset ( statement_node ) ;
proc - > set_io_chain ( process_io_chain ) ;
return parse_execution_success ;
2013-12-27 04:24:00 +08:00
}
2013-12-25 05:17:24 +08:00
/* Returns a process_t allocated with new. It's the caller's responsibility to delete it (!) */
2014-01-01 06:37:37 +08:00
parse_execution_result_t parse_execution_context_t : : populate_job_process ( job_t * job , process_t * proc , const parse_node_t & statement_node )
2013-12-25 05:17:24 +08:00
{
assert ( statement_node . type = = symbol_statement ) ;
assert ( statement_node . child_count = = 1 ) ;
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
// Get the "specific statement" which is boolean / block / if / switch / decorated
const parse_node_t & specific_statement = * get_child ( statement_node , 0 ) ;
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
parse_execution_result_t result = parse_execution_success ;
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
switch ( specific_statement . type )
{
case symbol_boolean_statement :
{
2014-01-01 06:37:37 +08:00
result = this - > populate_boolean_process ( job , proc , specific_statement ) ;
2013-12-25 05:17:24 +08:00
break ;
}
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
case symbol_block_statement :
2013-12-27 04:24:00 +08:00
case symbol_if_statement :
case symbol_switch_statement :
2013-12-25 05:17:24 +08:00
{
2014-01-01 06:37:37 +08:00
result = this - > populate_block_process ( job , proc , specific_statement ) ;
2013-12-25 05:17:24 +08:00
break ;
}
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
case symbol_decorated_statement :
{
2013-12-27 04:55:10 +08:00
/* Get the plain statement. It will pull out the decoration itself */
2013-12-25 05:17:24 +08:00
const parse_node_t & plain_statement = tree . find_child ( specific_statement , symbol_plain_statement ) ;
2014-01-01 06:37:37 +08:00
result = this - > populate_plain_process ( job , proc , plain_statement ) ;
2013-12-25 05:17:24 +08:00
break ;
}
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
default :
fprintf ( stderr , " '%ls' not handled by new parser yet \n " , specific_statement . describe ( ) . c_str ( ) ) ;
2013-12-27 04:24:00 +08:00
PARSER_DIE ( ) ;
break ;
2013-12-25 05:17:24 +08:00
}
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
return result ;
}
2014-01-01 06:37:37 +08:00
parse_execution_result_t parse_execution_context_t : : populate_job_from_job_node ( job_t * j , const parse_node_t & job_node , const block_t * associated_block )
2013-12-25 05:17:24 +08:00
{
assert ( job_node . type = = symbol_job ) ;
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
/* Tell the job what its command is */
j - > set_command ( get_source ( job_node ) ) ;
2014-01-15 17:40:40 +08:00
2013-12-27 04:24:00 +08:00
/* We are going to construct process_t structures for every statement in the job. Get the first statement. */
2013-12-25 05:17:24 +08:00
const parse_node_t * statement_node = get_child ( job_node , 0 , symbol_statement ) ;
assert ( statement_node ! = NULL ) ;
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
parse_execution_result_t result = parse_execution_success ;
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
/* Create processes. Each one may fail. */
std : : vector < process_t * > processes ;
processes . push_back ( new process_t ( ) ) ;
result = this - > populate_job_process ( j , processes . back ( ) , * statement_node ) ;
2014-01-15 17:40:40 +08:00
2013-12-27 04:24:00 +08:00
/* Construct process_ts for job continuations (pipelines), by walking the list until we hit the terminal (empty) job continuation */
2013-12-25 05:17:24 +08:00
const parse_node_t * job_cont = get_child ( job_node , 1 , symbol_job_continuation ) ;
2014-01-01 06:37:37 +08:00
assert ( job_cont ! = NULL ) ;
while ( result = = parse_execution_success & & job_cont - > child_count > 0 )
2013-12-25 05:17:24 +08:00
{
assert ( job_cont - > type = = symbol_job_continuation ) ;
2014-01-15 17:40:40 +08:00
2014-01-13 18:49:41 +08:00
/* Handle the pipe, whose fd may not be the obvious stdout */
2013-12-29 08:18:38 +08:00
const parse_node_t & pipe_node = * get_child ( * job_cont , 0 , parse_token_type_pipe ) ;
2014-01-13 19:57:59 +08:00
int pipe_write_fd = fd_redirected_by_pipe ( get_source ( pipe_node ) ) ;
if ( pipe_write_fd = = - 1 )
{
result = report_error ( pipe_node , ILLEGAL_FD_ERR_MSG , get_source ( pipe_node ) . c_str ( ) ) ;
break ;
}
processes . back ( ) - > pipe_write_fd = pipe_write_fd ;
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
/* Get the statement node and make a process from it */
const parse_node_t * statement_node = get_child ( * job_cont , 1 , symbol_statement ) ;
assert ( statement_node ! = NULL ) ;
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
/* Store the new process (and maybe with an error) */
2014-01-01 06:37:37 +08:00
processes . push_back ( new process_t ( ) ) ;
result = this - > populate_job_process ( j , processes . back ( ) , * statement_node ) ;
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
/* Get the next continuation */
2013-12-25 05:17:24 +08:00
job_cont = get_child ( * job_cont , 2 , symbol_job_continuation ) ;
2014-01-01 06:37:37 +08:00
assert ( job_cont ! = NULL ) ;
2013-12-25 05:17:24 +08:00
}
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
/* Return what happened */
if ( result = = parse_execution_success )
{
/* Link up the processes */
assert ( ! processes . empty ( ) ) ;
j - > first_process = processes . at ( 0 ) ;
for ( size_t i = 1 ; i < processes . size ( ) ; i + + )
{
processes . at ( i - 1 ) - > next = processes . at ( i ) ;
}
}
else
{
/* Clean up processes */
for ( size_t i = 0 ; i < processes . size ( ) ; i + + )
{
const process_t * proc = processes . at ( i ) ;
processes . at ( i ) = NULL ;
delete proc ;
}
}
return result ;
2013-12-25 05:17:24 +08:00
}
2014-01-01 06:37:37 +08:00
parse_execution_result_t parse_execution_context_t : : run_1_job ( const parse_node_t & job_node , const block_t * associated_block )
2013-12-25 05:17:24 +08:00
{
2014-01-01 06:37:37 +08:00
parse_execution_result_t result = parse_execution_success ;
2014-01-15 17:40:40 +08:00
2013-12-29 08:18:38 +08:00
bool log_it = false ;
if ( log_it )
{
fprintf ( stderr , " %s: %ls \n " , __FUNCTION__ , get_source ( job_node ) . c_str ( ) ) ;
}
if ( should_cancel_execution ( associated_block ) )
{
2014-01-01 06:37:37 +08:00
return parse_execution_cancelled ;
2013-12-29 08:18:38 +08:00
}
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
// Get terminal modes
struct termios tmodes = { } ;
if ( get_is_interactive ( ) )
{
if ( tcgetattr ( STDIN_FILENO , & tmodes ) )
{
// need real error handling here
wperror ( L " tcgetattr " ) ;
2014-01-01 06:37:37 +08:00
return parse_execution_errored ;
2013-12-25 05:17:24 +08:00
}
}
2014-01-15 17:40:40 +08:00
2013-12-27 19:58:42 +08:00
/* Increment the eval_level for the duration of this command */
2013-12-27 04:24:00 +08:00
scoped_push < int > saved_eval_level ( & eval_level , eval_level + 1 ) ;
2014-04-01 01:01:39 +08:00
2014-03-02 08:04:13 +08:00
/* Save the node index */
scoped_push < node_offset_t > saved_node_offset ( & executing_node_idx , this - > get_offset ( job_node ) ) ;
2014-01-15 17:40:40 +08:00
2014-02-10 06:04:43 +08:00
/* Profiling support */
long long start_time = 0 , parse_time = 0 , exec_time = 0 ;
profile_item_t * profile_item = this - > parser - > create_profile_item ( ) ;
if ( profile_item ! = NULL )
{
start_time = get_time ( ) ;
}
2014-01-08 02:45:36 +08:00
/* When we encounter a block construct (e.g. while loop) in the general case, we create a "block process" that has a pointer to its source. This allows us to handle block-level redirections. However, if there are no redirections, then we can just jump into the block directly, which is significantly faster. */
if ( job_is_simple_block ( job_node ) )
{
const parse_node_t & statement = * get_child ( job_node , 0 , symbol_statement ) ;
const parse_node_t & specific_statement = * get_child ( statement , 0 ) ;
assert ( specific_statement_type_is_redirectable_block ( specific_statement ) ) ;
switch ( specific_statement . type )
{
case symbol_block_statement :
2014-02-10 06:04:43 +08:00
result = this - > run_block_statement ( specific_statement ) ;
break ;
2014-01-15 17:40:40 +08:00
2014-01-08 02:45:36 +08:00
case symbol_if_statement :
2014-02-10 06:04:43 +08:00
result = this - > run_if_statement ( specific_statement ) ;
break ;
2014-01-15 17:40:40 +08:00
2014-01-08 02:45:36 +08:00
case symbol_switch_statement :
2014-02-10 06:04:43 +08:00
result = this - > run_switch_statement ( specific_statement ) ;
break ;
2014-01-15 17:40:40 +08:00
2014-01-08 02:45:36 +08:00
default :
/* Other types should be impossible due to the specific_statement_type_is_redirectable_block check */
PARSER_DIE ( ) ;
break ;
}
2014-04-01 01:01:39 +08:00
2014-02-10 06:04:43 +08:00
if ( profile_item ! = NULL )
{
/* Block-types profile a little weird. They have no 'parse' time, and their command is just the block type */
exec_time = get_time ( ) ;
profile_item - > level = eval_level ;
profile_item - > parse = 0 ;
profile_item - > exec = ( int ) ( exec_time - start_time ) ;
profile_item - > cmd = profiling_cmd_name_for_redirectable_block ( specific_statement , this - > tree , this - > src ) ;
profile_item - > skipped = result ! = parse_execution_success ;
}
2014-04-01 01:01:39 +08:00
2014-02-10 06:04:43 +08:00
return result ;
2013-12-25 05:17:24 +08:00
}
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
job_t * j = new job_t ( acquire_job_id ( ) , block_io ) ;
2014-01-01 06:37:37 +08:00
j - > tmodes = tmodes ;
job_set_flag ( j , JOB_CONTROL ,
( job_control_mode = = JOB_CONTROL_ALL ) | |
( ( job_control_mode = = JOB_CONTROL_INTERACTIVE ) & & ( get_is_interactive ( ) ) ) ) ;
2014-01-15 17:40:40 +08:00
2014-03-29 05:39:47 +08:00
job_set_flag ( j , JOB_FOREGROUND , ! tree . job_should_be_backgrounded ( job_node ) ) ;
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
job_set_flag ( j , JOB_TERMINAL , job_get_flag ( j , JOB_CONTROL ) \
& & ( ! is_subshell & & ! is_event ) ) ;
2014-01-15 17:40:40 +08:00
2013-12-25 05:17:24 +08:00
job_set_flag ( j , JOB_SKIP_NOTIFICATION , is_subshell \
| | is_block \
| | is_event \
| | ( ! get_is_interactive ( ) ) ) ;
2014-01-15 17:40:40 +08:00
2014-04-02 15:32:08 +08:00
/* Tell the current block what its job is. This has to happen before we populate it (#1394) */
parser - > current_block ( ) - > job = j ;
2014-01-01 06:37:37 +08:00
/* Populate the job. This may fail for reasons like command_not_found. If this fails, an error will have been printed */
parse_execution_result_t pop_result = this - > populate_job_from_job_node ( j , job_node , associated_block ) ;
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
/* Clean up the job on failure or cancellation */
bool populated_job = ( pop_result = = parse_execution_success ) ;
2014-01-03 04:37:50 +08:00
if ( ! populated_job | | this - > should_cancel_execution ( associated_block ) )
2013-12-27 05:36:43 +08:00
{
2014-04-02 15:32:08 +08:00
assert ( parser - > current_block ( ) - > job = = j ) ;
parser - > current_block ( ) - > job = NULL ;
2013-12-27 17:38:43 +08:00
delete j ;
j = NULL ;
2014-01-03 04:37:50 +08:00
populated_job = false ;
2013-12-27 05:36:43 +08:00
}
2014-01-15 17:40:40 +08:00
2013-12-27 04:55:10 +08:00
/* Store time it took to 'parse' the command */
2014-02-10 06:04:43 +08:00
if ( profile_item ! = NULL )
2013-12-25 05:17:24 +08:00
{
2013-12-27 04:24:00 +08:00
parse_time = get_time ( ) ;
2013-12-25 05:17:24 +08:00
}
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
if ( populated_job )
2013-12-25 05:17:24 +08:00
{
2013-12-27 17:38:43 +08:00
/* Success. Give the job to the parser - it will clean it up. */
parser - > job_add ( j ) ;
2013-12-27 04:55:10 +08:00
/* Check to see if this contained any external commands */
bool job_contained_external_command = false ;
for ( const process_t * proc = j - > first_process ; proc ! = NULL ; proc = proc - > next )
2013-12-25 05:17:24 +08:00
{
2013-12-27 04:55:10 +08:00
if ( proc - > type = = EXTERNAL )
{
job_contained_external_command = true ;
break ;
}
}
2014-01-15 17:40:40 +08:00
2013-12-27 04:55:10 +08:00
/* Actually execute the job */
exec_job ( * this - > parser , j ) ;
2014-01-15 17:40:40 +08:00
2013-12-27 04:55:10 +08:00
/* Only external commands require a new fishd barrier */
if ( ! job_contained_external_command )
{
set_proc_had_barrier ( false ) ;
2013-12-25 05:17:24 +08:00
}
}
2014-01-15 17:40:40 +08:00
2014-02-10 06:04:43 +08:00
if ( profile_item ! = NULL )
2013-12-25 05:17:24 +08:00
{
2013-12-27 04:24:00 +08:00
exec_time = get_time ( ) ;
profile_item - > level = eval_level ;
profile_item - > parse = ( int ) ( parse_time - start_time ) ;
profile_item - > exec = ( int ) ( exec_time - parse_time ) ;
2014-02-10 06:04:43 +08:00
profile_item - > cmd = j ? j - > command ( ) : wcstring ( ) ;
profile_item - > skipped = ! populated_job | | result ! = parse_execution_success ;
}
/* If the job was skipped, we pretend it ran anyways */
if ( result = = parse_execution_skipped )
{
result = parse_execution_success ;
2013-12-25 05:17:24 +08:00
}
2014-01-15 17:40:40 +08:00
2014-02-10 06:04:43 +08:00
2014-01-01 06:37:37 +08:00
/* Clean up jobs. */
2013-12-27 04:24:00 +08:00
job_reap ( 0 ) ;
2014-01-15 17:40:40 +08:00
2013-12-27 04:55:10 +08:00
/* All done */
2014-01-01 06:37:37 +08:00
return result ;
2013-12-25 05:17:24 +08:00
}
2014-01-01 06:37:37 +08:00
parse_execution_result_t parse_execution_context_t : : run_job_list ( const parse_node_t & job_list_node , const block_t * associated_block )
2013-12-25 05:17:24 +08:00
{
2013-12-27 04:24:00 +08:00
assert ( job_list_node . type = = symbol_job_list ) ;
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
parse_execution_result_t result = parse_execution_success ;
2013-12-27 04:24:00 +08:00
const parse_node_t * job_list = & job_list_node ;
2013-12-29 08:18:38 +08:00
while ( job_list ! = NULL & & ! should_cancel_execution ( associated_block ) )
2013-12-25 05:17:24 +08:00
{
2013-12-27 04:24:00 +08:00
assert ( job_list - > type = = symbol_job_list ) ;
2014-01-06 07:23:42 +08:00
2013-12-27 04:24:00 +08:00
// Try pulling out a job
2014-01-06 07:23:42 +08:00
const parse_node_t * job = tree . next_node_in_node_list ( * job_list , symbol_job , & job_list ) ;
2014-01-15 17:40:40 +08:00
2013-12-27 04:24:00 +08:00
if ( job ! = NULL )
{
2013-12-29 08:18:38 +08:00
result = this - > run_1_job ( * job , associated_block ) ;
2013-12-27 04:24:00 +08:00
}
2013-12-25 05:17:24 +08:00
}
2014-01-15 17:40:40 +08:00
2013-12-27 05:24:10 +08:00
/* Returns the last job executed */
return result ;
2013-12-27 04:24:00 +08:00
}
2014-01-01 06:37:37 +08:00
parse_execution_result_t parse_execution_context_t : : eval_node_at_offset ( node_offset_t offset , const block_t * associated_block , const io_chain_t & io )
2013-12-27 04:24:00 +08:00
{
2013-12-27 17:38:43 +08:00
bool log_it = false ;
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
/* Don't ever expect to have an empty tree if this is called */
assert ( ! tree . empty ( ) ) ;
assert ( offset < tree . size ( ) ) ;
2014-01-15 17:40:40 +08:00
2013-12-29 08:18:38 +08:00
/* Apply this block IO for the duration of this function */
scoped_push < io_chain_t > block_io_push ( & block_io , io ) ;
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
const parse_node_t & node = tree . at ( offset ) ;
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
if ( log_it )
{
fprintf ( stderr , " eval node: %ls \n " , get_source ( node ) . c_str ( ) ) ;
}
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
/* Currently, we only expect to execute the top level job list, or a block node. Assert that. */
2014-01-08 02:45:36 +08:00
assert ( node . type = = symbol_job_list | | specific_statement_type_is_redirectable_block ( node ) ) ;
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
enum parse_execution_result_t status = parse_execution_success ;
2013-12-27 17:38:43 +08:00
switch ( node . type )
{
case symbol_job_list :
2014-01-02 07:29:56 +08:00
{
2013-12-29 08:18:38 +08:00
/* We should only get a job list if it's the very first node. This is because this is the entry point for both top-level execution (the first node) and INTERNAL_BLOCK_NODE execution (which does block statements, but never job lists) */
2013-12-27 17:38:43 +08:00
assert ( offset = = 0 ) ;
2014-01-02 07:29:56 +08:00
wcstring func_name ;
const parse_node_t * infinite_recursive_node = this - > infinite_recursive_statement_in_job_list ( node , & func_name ) ;
if ( infinite_recursive_node ! = NULL )
{
/* We have an infinite recursion */
this - > report_error ( * infinite_recursive_node , INFINITE_FUNC_RECURSION_ERR_MSG , func_name . c_str ( ) ) ;
status = parse_execution_errored ;
}
else
{
/* No infinite recursion */
status = this - > run_job_list ( node , associated_block ) ;
}
2013-12-27 17:38:43 +08:00
break ;
2014-01-02 07:29:56 +08:00
}
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
case symbol_block_statement :
2013-12-29 08:33:26 +08:00
status = this - > run_block_statement ( node ) ;
2013-12-27 17:38:43 +08:00
break ;
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
case symbol_if_statement :
2013-12-29 08:33:26 +08:00
status = this - > run_if_statement ( node ) ;
2013-12-27 17:38:43 +08:00
break ;
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
case symbol_switch_statement :
2013-12-29 08:33:26 +08:00
status = this - > run_switch_statement ( node ) ;
2013-12-27 17:38:43 +08:00
break ;
2014-01-15 17:40:40 +08:00
2013-12-27 17:38:43 +08:00
default :
/* In principle, we could support other node types. However we never expect to be passed them - see above. */
fprintf ( stderr , " Unexpected node %ls found in %s \n " , node . describe ( ) . c_str ( ) , __FUNCTION__ ) ;
PARSER_DIE ( ) ;
break ;
}
2014-01-15 17:40:40 +08:00
2014-01-01 06:37:37 +08:00
return status ;
2013-12-25 05:17:24 +08:00
}
2014-03-02 08:04:13 +08:00
2014-03-17 07:45:00 +08:00
int parse_execution_context_t : : line_offset_of_node_at_offset ( node_offset_t requested_index )
2014-03-02 08:04:13 +08:00
{
/* If we're not executing anything, return -1 */
2014-03-17 07:45:00 +08:00
if ( requested_index = = NODE_OFFSET_INVALID )
2014-03-02 08:04:13 +08:00
{
return - 1 ;
}
/* If for some reason we're executing a node without source, return -1 */
2014-03-17 07:45:00 +08:00
const parse_node_t & node = tree . at ( requested_index ) ;
2014-03-02 08:04:13 +08:00
if ( ! node . has_source ( ) )
{
return - 1 ;
}
2014-04-01 01:01:39 +08:00
2014-03-02 08:04:13 +08:00
/* Count the number of newlines, leveraging our cache */
2014-03-17 07:45:00 +08:00
const size_t offset = tree . at ( requested_index ) . source_start ;
2014-03-02 08:04:13 +08:00
assert ( offset < = src . size ( ) ) ;
/* Easy hack to handle 0 */
if ( offset = = 0 )
{
2014-03-17 07:45:00 +08:00
return 0 ;
2014-03-02 08:04:13 +08:00
}
2014-04-01 01:01:39 +08:00
2014-03-02 08:04:13 +08:00
/* We want to return (one plus) the number of newlines at offsets less than the given offset. cached_lineno_count is the number of newlines at indexes less than cached_lineno_offset. */
const wchar_t * str = src . c_str ( ) ;
if ( offset > cached_lineno_offset )
{
size_t i ;
for ( i = cached_lineno_offset ; str [ i ] ! = L ' \0 ' & & i < offset ; i + + )
{
/* Add one for every newline we find in the range [cached_lineno_offset, offset) */
if ( str [ i ] = = L ' \n ' )
{
cached_lineno_count + + ;
}
}
cached_lineno_offset = i ; //note: i, not offset, in case offset is beyond the length of the string
}
else if ( offset < cached_lineno_offset )
{
/* Subtract one for every newline we find in the range [offset, cached_lineno_offset) */
for ( size_t i = offset ; i < cached_lineno_offset ; i + + )
{
if ( str [ i ] = = L ' \n ' )
{
cached_lineno_count - - ;
}
}
cached_lineno_offset = offset ;
}
2014-03-17 07:45:00 +08:00
return cached_lineno_count ;
}
int parse_execution_context_t : : get_current_line_number ( )
{
int line_number = - 1 ;
int line_offset = this - > line_offset_of_node_at_offset ( this - > executing_node_idx ) ;
if ( line_offset > = 0 )
{
/* The offset is 0 based; the number is 1 based */
line_number = line_offset + 1 ;
}
return line_number ;
2014-03-02 08:04:13 +08:00
}
2014-03-17 13:06:32 +08:00
int parse_execution_context_t : : get_current_source_offset ( ) const
{
int result = - 1 ;
if ( executing_node_idx ! = NODE_OFFSET_INVALID )
{
const parse_node_t & node = tree . at ( executing_node_idx ) ;
if ( node . has_source ( ) )
{
result = static_cast < int > ( node . source_start ) ;
}
}
return result ;
}