sxnd2p_rcvr.c File Reference

#include "sxversion.h"
#include "sxunix.h"
#include "sxba.h"
#include "XxY.h"
#include "XxYxZ.h"
#include "XH.h"
#include "sxnd.h"
Include dependency graph for sxnd2p_rcvr.c:

Go to the source code of this file.

Functions

SXINT NDP_access ()
SXINT seek_parser ()
SXVOID set2_first_trans ()
SXBOOLEAN set2_next_trans ()
SXVOID sxndsubparse_a_token ()
SXVOID reducer ()
struct sxmilstn_elem * milestone_new ()
SXVOID sxnd2parser_GC ()
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 SXBOOLEAN validate_submodel (SXINT model_no, SXINT *model, SXINT parser, SXINT pos, SXINT bot, SXBOOLEAN a_la_rigueur)
static SXBOOLEAN validate_model (SXINT model_no, SXINT pos)
static SXBOOLEAN try_a_model (SXINT pos, SXINT parser_seed, SXINT model_no)
static SXBOOLEAN dont_delete (SXINT model_no)
static SXINT is_a_spelling_model (SXINT model_no)
static SXVOID fill_vt_set (SXBA vt_set, SXINT parser)
static compute_vt_set (SXBA vt_set, SXINT parser)
static SXVOID local_correction ()
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 charttext (struct sxtables *tables, SXINT tcode)
static SXBOOLEAN is_a_right_ctxt (SXINT head, SXINT tail)
static SXVOID nd2_try_a_correction ()
static SXVOID nd2_unfold (SXINT mstn, SXINT n, SXINT lim)
static SXBOOLEAN global_recovery (SXINT parser_seed)
static SXINT nd2_search_validation_context (SXINT parser_seed, SXINT mstn_nb, SXINT n, SXINT lim)
static SXBOOLEAN nd2_search_key_terminal (SXINT parser_seed, struct sxmilstn_elem *mstn_ptr)
static SXVOID modify_dag ()
static SXBOOLEAN less_equal (SXINT z1, SXINT z2)
static SXVOID nd2_local_correction ()
static SXBOOLEAN ndp_recovery ()
SXBOOLEAN sxndprecovery (SXINT what_to_do)
SXBOOLEAN sxndpsrecovery (SXINT what_to_do)

Variables

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

Function Documentation

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

Definition at line 680 of file sxnd2p_rcvr.c.

References seek_parser(), and son.

Referenced by global_recovery().

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

Definition at line 59 of file sxnd2p_rcvr.c.

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

Referenced by try_a_model().

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

Definition at line 432 of file sxnd2p_rcvr.c.

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

Referenced by local_correction(), and nd2_local_correction().

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

Definition at line 366 of file sxnd2p_rcvr.c.

References n, SXFALSE, sxgetbit(), sxplocals, and SXTRUE.

Referenced by local_correction(), and nd2_try_a_correction().

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

Definition at line 417 of file sxnd2p_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 102 of file sxnd2p_rcvr.c.

References sxgetbit(), and sxplocals.

Referenced by global_recovery(), and try_a_model().

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

Definition at line 714 of file sxnd2p_rcvr.c.

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

Referenced by global_recovery().

static SXINT is_a_spelling_model ( SXINT  model_no  )  [static]

Definition at line 397 of file sxnd2p_rcvr.c.

References sxplocals, and val.

Referenced by local_correction(), and nd2_try_a_correction().

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

Definition at line 1150 of file sxnd2p_rcvr.c.

Referenced by nd2_local_correction().

static SXVOID local_correction ( void   )  [static]
struct sxmilstn_elem* milestone_new (  )  [read]
static SXVOID modify_dag (  )  [static]

Definition at line 1044 of file sxnd2p_rcvr.c.

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

Referenced by ndp_recovery().

static SXBOOLEAN morgan ( char c1,
char c2 
) [static]

Definition at line 125 of file sxnd2p_rcvr.c.

References SXFALSE, and SXTRUE.

Referenced by validate_submodel().

static SXVOID nd2_local_correction ( void   )  [static]
static SXBOOLEAN nd2_search_key_terminal ( SXINT  parser_seed,
struct sxmilstn_elem *  mstn_ptr 
) [static]

Definition at line 998 of file sxnd2p_rcvr.c.

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

Referenced by ndp_recovery().

static SXINT nd2_search_validation_context ( SXINT  parser_seed,
SXINT  mstn_nb,
SXINT  n,
SXINT  lim 
) [static]

Definition at line 965 of file sxnd2p_rcvr.c.

References global_recovery(), and sxndscan_it().

Referenced by nd2_search_key_terminal().

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

Definition at line 833 of file sxnd2p_rcvr.c.

References nd2_try_a_correction(), and sxndscan_it().

Referenced by nd2_local_correction().

SXINT NDP_access (  ) 
static SXBOOLEAN ndp_recovery ( void   )  [static]
static SXVOID process_sons ( SXINT  father,
SXINT  grand_fathers_state 
) [static]

Definition at line 652 of file sxnd2p_rcvr.c.

References create_path(), and son.

Referenced by global_recovery().

SXVOID reducer (  ) 
SXINT seek_parser (  ) 
SXVOID set2_first_trans (  ) 
SXBOOLEAN set2_next_trans (  ) 
static SXVOID set_next_shift_state ( SXINT  son,
SXINT  fathers_state,
SXINT  ref,
SXINT  tnt 
) [static]

Definition at line 537 of file sxnd2p_rcvr.c.

References NDP_access(), seek_parser(), sxplocals, and XxYxZ_set().

Referenced by create_path().

SXVOID sxnd2parser_GC (  ) 
SXBOOLEAN sxndprecovery ( SXINT  what_to_do  ) 
SXBOOLEAN sxndpsrecovery ( SXINT  what_to_do  ) 

Definition at line 1841 of file sxnd2p_rcvr.c.

References SXBOOLEAN, sxndprecovery(), and sxplocals.

SXVOID sxndsubparse_a_token (  ) 
static char* tok_text ( SXINT  tok_no  )  [static]

Definition at line 202 of file sxnd2p_rcvr.c.

References sxplocals.

Referenced by local_correction(), nd2_try_a_correction(), and validate_submodel().

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

Definition at line 703 of file sxnd2p_rcvr.c.

References sxplocals.

Referenced by ndp_recovery().

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

Definition at line 287 of file sxnd2p_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]

Definition at line 213 of file sxnd2p_rcvr.c.

References morgan(), SXBOOLEAN, sxgetbit(), sxplocals, SXTRUE, and tok_text().

Referenced by validate_model().


Variable Documentation

char ME[] = "NDPRECOVERY" [static]

Definition at line 35 of file sxnd2p_rcvr.c.

Referenced by modify_dag().

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

Definition at line 45 of file sxnd2p_rcvr.c.


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