sxndp_rcvr.c File Reference

#include "sxversion.h"
#include "sxcommon.h"
#include "sxnd.h"
Include dependency graph for sxndp_rcvr.c:

Go to the source code of this file.

Defines

#define stdout_or_NULL   stdout

Functions

SXINT NDP_access (struct SXP_bases *abase, SXINT j)
SXINT new_parser (SXINT son, SXINT state, SXINT symbol)
SXVOID set_first_trans (struct SXP_bases *abase, SXINT *check, SXINT *action, SXINT Max, SXINT *next_action_kind)
SXBOOLEAN set_next_trans (struct SXP_bases *abase, SXINT *check, SXINT *action, SXINT Max, SXINT *next_action_kind)
SXBOOLEAN sxndsubparse_a_token (SXINT parser, SXINT ref, SXINT symbol, SXINT(*f)(SXINT, SXINT, SXINT))
SXVOID reducer (void)
struct sxmilstn_elem * milestone_new (struct sxmilstn_elem *prev_milstn_ptr, SXINT my_milestone, SXINT kind)
SXINT mreds_push (SXINT parser, SXINT ref, SXINT tok_no, SXBOOLEAN is_new_triple, SXBOOLEAN is_shift_reduce, SXINT symbol)
SXVOID sxndparser_GC (SXINT current_parser)
static SXVOID compute_a_trans (SXINT parser_seed, SXINT head)
static SXINT get_tail (SXINT binf, SXINT bsup)
static SXBOOLEAN morgan (char *c1, char *c2)
static chartok_text (SXINT tok_no)
static charttext (struct sxtables *tables, SXINT tcode)
static SXVOID nd2_modify_dag (void)
static SXVOID put_in_repair_list (SXINT repair_tok_no, SXINT error_tok_no, SXINT model_no, SXINT kind, char *msg_params[5])
SXVOID output_repair_string (SXINT output_repair_string_index)
SXVOID output_repair_list (void)
static SXINT set_token_dag (SXBOOLEAN to_be_cloned, SXBOOLEAN is_copy, struct sxtoken *ptok, SXINT tok_no, SXINT ms1, SXINT ms2)
static SXVOID one_correction_message (void)
static SXBOOLEAN correction_already_found (SXINT *model, SXINT lim)
static SXBOOLEAN validate_submodel (SXINT model_no, SXINT *model, SXINT parser, SXINT pos, SXINT bot, SXBOOLEAN a_la_rigueur)
static SXBOOLEAN validate_model (SXINT parser, SXINT model_no, SXINT pos)
static SXBOOLEAN try_a_model (SXINT pos, SXINT parser_seed, SXINT model_no, SXBOOLEAN check_first_trans, SXINT tok_no_to_be_checked)
static SXINT dont_delete (SXINT model_no)
static SXBOOLEAN check_for_spelling (SXINT model_no)
static SXVOID fill_vt_set (SXBA vt_set, SXINT parser)
static SXVOID compute_vt_set (SXBA vt_set, SXINT parser)
static SXVOID local_correction (void)
static SXVOID set_next_shift_state (SXINT son, SXINT fathers_state, SXINT ref, SXINT tnt)
static SXVOID create_path (SXINT son, SXINT fathers_state)
static SXVOID process_sons (SXINT father, SXINT grand_fathers_state)
static SXINT clone (SXINT father, SXINT ref)
static SXBOOLEAN is_a_right_ctxt (SXINT head, SXINT tail)
static SXVOID nd2_try_a_correction (void)
static SXVOID nd2_unfold (SXINT prev_tok_no, SXINT mstn, SXINT n, SXINT lim)
static SXBOOLEAN global_recovery (void)
static SXINT nd2_search_validation_context (struct sxmilstn_elem *orig_mstn_ptr, SXINT mstn_nb, SXINT n, SXINT lim)
static SXINT nd2_search_key_terminal (void)
static SXBOOLEAN less_equal (SXINT z1, SXINT z2)
static SXVOID nd2_local_correction (void)
static SXVOID sort_milestones (void)
static SXBOOLEAN ndp_recovery (void)
SXBOOLEAN sxndprecovery (SXINT what_to_do)
static SXVOID models_dag (void)
SXBOOLEAN sxndpallcorrections (SXINT what_to_do)
SXBOOLEAN sxndpsrecovery (SXINT what_to_do)

Variables

char WHAT_SXNDP_RECOVERY [] = "@(#)SYNTAX - $Id: sxndp_rcvr.c 1428 2008-07-03 14:06:02Z rlacroix $" WHAT_DEBUG
static char ME [] = "NDPRECOVERY"

Define Documentation

#define stdout_or_NULL   stdout

Definition at line 48 of file sxndp_rcvr.c.


Function Documentation

static SXBOOLEAN check_for_spelling ( SXINT  model_no  )  [static]

Definition at line 1098 of file sxndp_rcvr.c.

References sxplocals, SXTRUE, tok_text(), and val.

Referenced by local_correction(), and nd2_try_a_correction().

static SXINT clone ( SXINT  father,
SXINT  ref 
) [static]

Definition at line 1408 of file sxndp_rcvr.c.

References ME, new_parser(), seek_parser(), son, sxtrap(), and XxY_set().

Referenced by global_recovery().

static SXVOID compute_a_trans ( SXINT  parser_seed,
SXINT  head 
) [static]

Definition at line 74 of file sxndp_rcvr.c.

References reducer(), sxndsubparse_a_token(), and sxplocals.

Referenced by try_a_model().

static SXVOID compute_vt_set ( SXBA  vt_set,
SXINT  parser 
) [static]

Definition at line 1141 of file sxndp_rcvr.c.

References fill_vt_set(), reducer(), sxndsubparse_a_token(), and sxplocals.

Referenced by local_correction(), and nd2_local_correction().

static SXBOOLEAN correction_already_found ( SXINT *  model,
SXINT  lim 
) [static]

Definition at line 827 of file sxndp_rcvr.c.

References sxplocals, and XxY_set().

Referenced by validate_submodel().

static SXVOID create_path ( SXINT  son,
SXINT  fathers_state 
) [static]
static SXINT dont_delete ( SXINT  model_no  )  [static]

Definition at line 1063 of file sxndp_rcvr.c.

References n, sxgetbit(), and sxplocals.

Referenced by local_correction(), and nd2_try_a_correction().

static SXVOID fill_vt_set ( SXBA  vt_set,
SXINT  parser 
) [static]

Definition at line 1128 of file sxndp_rcvr.c.

References sxba_empty(), and sxplocals.

Referenced by compute_vt_set(), local_correction(), and nd2_local_correction().

static SXINT get_tail ( SXINT  binf,
SXINT  bsup 
) [static]

Definition at line 134 of file sxndp_rcvr.c.

References sxgetbit(), and sxplocals.

Referenced by global_recovery(), and try_a_model().

static SXBOOLEAN global_recovery ( void   )  [static]
static SXBOOLEAN is_a_right_ctxt ( SXINT  head,
SXINT  tail 
) [static]

Definition at line 1468 of file sxndp_rcvr.c.

References current, reducer(), sxndsubparse_a_token(), and sxplocals.

Referenced by global_recovery().

static SXBOOLEAN less_equal ( SXINT  z1,
SXINT  z2 
) [static]

Definition at line 1838 of file sxndp_rcvr.c.

Referenced by nd2_local_correction().

static SXVOID local_correction ( void   )  [static]
struct sxmilstn_elem* milestone_new ( struct sxmilstn_elem *  prev_milstn_ptr,
SXINT  my_milestone,
SXINT  kind 
) [read]

Definition at line 90 of file sxndtoken_mngr.c.

static SXVOID models_dag ( void   )  [static]
static SXBOOLEAN morgan ( char c1,
char c2 
) [static]

Definition at line 156 of file sxndp_rcvr.c.

References SXFALSE, and SXTRUE.

Referenced by validate_submodel().

SXINT mreds_push ( SXINT  parser,
SXINT  ref,
SXINT  tok_no,
SXBOOLEAN  is_new_triple,
SXBOOLEAN  is_shift_reduce,
SXINT  symbol 
)

Definition at line 538 of file sxndparser.c.

References ME, PUSH, SXFALSE, sxtrap(), and top.

static SXVOID nd2_local_correction ( void   )  [static]
static SXVOID nd2_modify_dag ( void   )  [static]

Definition at line 251 of file sxndp_rcvr.c.

References ME, milestone_new(), p, SXFALSE, sxplocals, sxtrap(), SXTRUE, and XxYxZ_set().

Referenced by one_correction_message().

static SXINT nd2_search_key_terminal ( void   )  [static]

Definition at line 1775 of file sxndp_rcvr.c.

References nd2_search_validation_context(), sxgetbit(), sxndscan_it(), and sxplocals.

Referenced by ndp_recovery().

static SXINT nd2_search_validation_context ( struct sxmilstn_elem *  orig_mstn_ptr,
SXINT  mstn_nb,
SXINT  n,
SXINT  lim 
) [static]

Definition at line 1717 of file sxndp_rcvr.c.

References global_recovery(), process_sons(), sxndscan_it(), and sxplocals.

Referenced by nd2_search_key_terminal().

static SXVOID nd2_try_a_correction ( void   )  [static]
static SXVOID nd2_unfold ( SXINT  prev_tok_no,
SXINT  mstn,
SXINT  n,
SXINT  lim 
) [static]

Definition at line 1593 of file sxndp_rcvr.c.

References nd2_try_a_correction(), sxndscan_it(), and sxplocals.

Referenced by nd2_local_correction().

SXINT NDP_access ( struct SXP_bases *  abase,
SXINT  j 
)

Definition at line 361 of file sxnd2parser.c.

References check(), and sxplocals.

static SXBOOLEAN ndp_recovery ( void   )  [static]
SXINT new_parser ( SXINT  son,
SXINT  state,
SXINT  symbol 
)
static SXVOID one_correction_message ( void   )  [static]
SXVOID output_repair_list ( void   ) 

Definition at line 429 of file sxndp_rcvr.c.

References output_repair_string().

Referenced by sxnddesambig_it().

SXVOID output_repair_string ( SXINT  output_repair_string_index  ) 

Definition at line 406 of file sxndp_rcvr.c.

References sxerror(), and sxplocals.

Referenced by do_put_error(), and output_repair_list().

static SXVOID process_sons ( SXINT  father,
SXINT  grand_fathers_state 
) [static]

Definition at line 1381 of file sxndp_rcvr.c.

References create_path(), and son.

Referenced by nd2_search_validation_context(), and ndp_recovery().

static SXVOID put_in_repair_list ( SXINT  repair_tok_no,
SXINT  error_tok_no,
SXINT  model_no,
SXINT  kind,
char msg_params[5] 
) [static]

Definition at line 355 of file sxndp_rcvr.c.

References char, and sxplocals.

Referenced by one_correction_message().

SXVOID reducer ( void   ) 
SXVOID set_first_trans ( struct SXP_bases *  abase,
SXINT *  check,
SXINT *  action,
SXINT  Max,
SXINT *  next_action_kind 
)
static SXVOID set_next_shift_state ( SXINT  son,
SXINT  fathers_state,
SXINT  ref,
SXINT  tnt 
) [static]

Definition at line 1264 of file sxndp_rcvr.c.

References mreds_push(), NDP_access(), new_parser(), seek_parser(), SXFALSE, sxplocals, and XxYxZ_set().

Referenced by create_path().

SXBOOLEAN set_next_trans ( struct SXP_bases *  abase,
SXINT *  check,
SXINT *  action,
SXINT  Max,
SXINT *  next_action_kind 
)
static SXINT set_token_dag ( SXBOOLEAN  to_be_cloned,
SXBOOLEAN  is_copy,
struct sxtoken *  ptok,
SXINT  tok_no,
SXINT  ms1,
SXINT  ms2 
) [static]

Definition at line 438 of file sxndp_rcvr.c.

References sxplocals, and XxYxZ_set().

Referenced by one_correction_message().

static SXVOID sort_milestones ( void   )  [static]

Definition at line 1945 of file sxndp_rcvr.c.

References ME, sxplocals, sxtrap(), and XxYxZ_set().

Referenced by ndp_recovery().

SXBOOLEAN sxndpallcorrections ( SXINT  what_to_do  ) 
SXVOID sxndparser_GC ( SXINT  current_parser  ) 

Definition at line 70 of file sxndparser.c.

References son, sxba_1_rlscan(), sxba_fill(), SXBOOLEAN, SXFALSE, and SXTRUE.

Referenced by ndp_recovery(), and new_parser().

SXBOOLEAN sxndprecovery ( SXINT  what_to_do  ) 
SXBOOLEAN sxndpsrecovery ( SXINT  what_to_do  ) 

Definition at line 2777 of file sxndp_rcvr.c.

References SXBOOLEAN, sxndprecovery(), and sxplocals.

SXBOOLEAN sxndsubparse_a_token ( SXINT  parser,
SXINT  ref,
SXINT  symbol,
SXINT(*)(SXINT, SXINT, SXINT)  f 
)
static char* tok_text ( SXINT  tok_no  )  [static]

Definition at line 232 of file sxndp_rcvr.c.

References sxplocals.

Referenced by check_for_spelling(), and validate_submodel().

static SXBOOLEAN try_a_model ( SXINT  pos,
SXINT  parser_seed,
SXINT  model_no,
SXBOOLEAN  check_first_trans,
SXINT  tok_no_to_be_checked 
) [static]
static char* ttext ( struct sxtables tables,
SXINT  tcode 
) [static]

Definition at line 242 of file sxndp_rcvr.c.

References sxplocals.

Referenced by ndp_recovery(), and one_correction_message().

static SXBOOLEAN validate_model ( SXINT  parser,
SXINT  model_no,
SXINT  pos 
) [static]

Definition at line 955 of file sxndp_rcvr.c.

References sxplocals, SXTRUE, and validate_submodel().

Referenced by try_a_model().

static SXBOOLEAN validate_submodel ( SXINT  model_no,
SXINT *  model,
SXINT  parser,
SXINT  pos,
SXINT  bot,
SXBOOLEAN  a_la_rigueur 
) [static]

Variable Documentation

char ME[] = "NDPRECOVERY" [static]

Definition at line 42 of file sxndp_rcvr.c.

Referenced by clone(), nd2_modify_dag(), sort_milestones(), and validate_submodel().

char WHAT_SXNDP_RECOVERY[] = "@(#)SYNTAX - $Id: sxndp_rcvr.c 1428 2008-07-03 14:06:02Z rlacroix $" WHAT_DEBUG

Definition at line 37 of file sxndp_rcvr.c.


Generated on Wed Apr 21 16:39:38 2010 for syntax-6.0b7 by  doxygen 1.6.1