model_server/style/src/sty_style_handler.cxx
// returns 1 if nd corresponds to else/else if clause;
//
returns 1 if nd corresponds to else/else if clause.
returns 1 if nd corresponds to else / else if clause .
int ste_get_smt_clause_style(commonTreePtr nd){
 Initialize(ste_get_smt_clause_style);
   int tp = nd->get_node_type();
   if ( tp != steHEAD || !is_steDisplayNode(nd) ) 
      ReturnValue(0);
   appTreePtr ap_nd = ste_get_target_app_node( nd );
   if ( !ap_nd || !is_smtTree(ap_nd) )
      ReturnValue(0);
   int prnt_tp =  checked_cast(smtTree,ap_nd)->type; 
   if ( prnt_tp == SMT_else_clause || prnt_tp == SMT_else_if_clause )
       ReturnValue(1);
   ReturnValue(0);
}
int ste_get_smt_clause_style ( commonTreePtr nd ) { Initialize ( ste_get_smt_clause_style ) ; int tp = nd -> get_node_type ( ) ; if ( tp != steHEAD || ! is_steDisplayNode ( nd ) ) ReturnValue ( 0 ) ; appTreePtr ap_nd = ste_get_target_app_node ( nd ) ; if ( ! ap_nd || ! is_smtTree ( ap_nd ) ) ReturnValue ( 0 ) ; int prnt_tp = checked_cast ( smtTree , ap_nd ) -> type ; if ( prnt_tp == SMT_else_clause || prnt_tp == SMT_else_if_clause ) ReturnValue ( 1 ) ; ReturnValue ( 0 ) ; }
returns 1 if nd corresponds to else/else if clause;
returns 1 if nd corresponds to else / else if clause ;