model_server/lde/src/lde_smt_goto.cxx
// Builds simple node with text goto inside a box and
// adds a connector. If the nodes are close (in one block)
// actually connect them, otherwise just show arrow from
// goto.
Builds simple node with text goto inside a box and
adds a connector. If the nodes are close (in one block)
actually connect them, otherwise just show arrow from
goto.
Builds simple node with text goto inside a box and adds a connector . If the nodes are close ( in one block ) actually connect them otherwise just show arrow from goto .
ldrChartNodePtr build_goto(smtTreePtr smt_goto, int level)
{
   ldrChartNodePtr  ldr_goto;
   ldrSymbolNodePtr fake_label;
   ldrConnectionNodePtr goto_connect;
   Initialize(build_goto);
   ldr_goto = build_simple_node(smt_goto, level, ldrBULLET,
                                ldrGOTO);
   fake_label = build_simple_node(NULL, level + 1,
                            ldrFLOW_EMPTY, ldrFAKE_LABEL);
   ldrSymbolNodePtr ldr_goto_exit = ldr_goto->get_exit_symbol();
   ldr_goto_exit->put_after(fake_label);
   goto_connect = connect1_1(ldr_goto, fake_label,
                        ldrcLEFT_HORIZONTAL, level+1);
   fake_label->put_after(goto_connect);
   ReturnValue(ldr_goto);
}
ldrChartNodePtr build_goto ( smtTreePtr smt_goto , int level ) { ldrChartNodePtr ldr_goto ; ldrSymbolNodePtr fake_label ; ldrConnectionNodePtr goto_connect ; Initialize ( build_goto ) ; ldr_goto = build_simple_node ( smt_goto , level , ldrBULLET , ldrGOTO ) ; fake_label = build_simple_node ( NULL , level + 1 , ldrFLOW_EMPTY , ldrFAKE_LABEL ) ; ldrSymbolNodePtr ldr_goto_exit = ldr_goto -> get_exit_symbol ( ) ; ldr_goto_exit -> put_after ( fake_label ) ; goto_connect = connect1_1 ( ldr_goto , fake_label , ldrcLEFT_HORIZONTAL , level + 1 ) ; fake_label -> put_after ( goto_connect ) ; ReturnValue ( ldr_goto ) ; }
Builds simple node with text goto inside a box and
adds a connector.
Builds simple node with text goto inside a box and adds a connector .
// ldr chart node is ldr_goto // if nodes are remote build a fake empty symbol near goto // and a connector to it to show something // cannot put after ldr_goto since it does not have a parent yet // build connector from goto to fake_label