equal
deleted
inserted
replaced
57 if (previously_returned_variable_name == res) |
57 if (previously_returned_variable_name == res) |
58 return NULL; |
58 return NULL; |
59 previously_returned_variable_name = res; |
59 previously_returned_variable_name = res; |
60 return res; |
60 return res; |
61 } |
61 } |
|
62 |
|
63 |
|
64 /*************************/ |
|
65 /* B.1 - Common elements */ |
|
66 /*************************/ |
|
67 /*******************************************/ |
|
68 /* B 1.1 - Letters, digits and identifiers */ |
|
69 /*******************************************/ |
|
70 /* sometimes (e.g. FB calls) the name of the variable is stored directly in an identifier_c object */ |
|
71 void *decompose_var_instance_name_c::visit(identifier_c *symbol) {return (void *)symbol;} |
62 |
72 |
63 /*********************/ |
73 /*********************/ |
64 /* B 1.4 - Variables */ |
74 /* B 1.4 - Variables */ |
65 /*********************/ |
75 /*********************/ |
66 void *decompose_var_instance_name_c::visit(symbolic_variable_c *symbol) {return (void *)(symbol->var_name);} |
76 void *decompose_var_instance_name_c::visit(symbolic_variable_c *symbol) {return (void *)(symbol->var_name);} |