+void
+TPushParser::do_gdelete_script()
+{
+ // If we are here, the cursor is child of a script and
+ // means that a prev MUST exist and that there is only an
+ // element preceding the cursor. The sp's (or sb's) parent
+ // MUST NOT be a MACRO.
+ // The element preceding the cursor is the base of the script.
+
+ logger.debug("do_gdelete_script: start...");
+
+ assert(cursor.parent() && (cursor.parent().isSp() || cursor.parent().isSb()));
+ TNode parent = cursor.parent();
+
+ assert(parent.size() == 2);
+ assert(parent.parent() && !parent.parent().isC());
+
+ TNode prev = cursor.prev();
+ cursor.remove();
+ if (prev.isG() /*&& !prev.hasId()*/ && (prev.size() == 0))
+ {
+ // in this case, the script's base is a group with no elements, so i think
+ // we have to remove the entire MACRO, replacing it with the cursor
+ prev.remove();
+ parent.replace(cursor);
+
+ // if the new parent is a group with Id and the cursor is the only
+ // element of this group, we have to remove it. This controls are made
+ // in the method rgreplace_futher().
+ if (cursor.parent().isG() && cursor.parent().hasId()) rgreplace_futher();
+ }
+ else
+ {
+ // in this case, the prev has to replace the script,
+ // and the curosor has to be placed after the prev.
+ assert(prev.hasId());
+ parent.replace(prev);
+ prev.parent().append(cursor);
+ // now prev should have a preceding element
+ assert(cursor.parent().size() > 1);
+ }
+
+ logger.debug("do_gdelete_script: bye...");
+
+} // end of method do_gdelet_script
+
+void
+TPushParser::do_gdelete_macro()
+{
+ // If we are here, the cursor is a child of a MACRO and this means
+ // that there is an open frame for the control element
+ // and this element is closed at either side (no leftOpen no rightOpen)
+ // and the MACRO was waiting for a non delimited argument, so
+ // we can assert that frame.entry.pattern.size() >= 1
+ assert(cursor.parent() && cursor.parent().isC());
+ TNode parent = cursor.parent();
+
+ assert(!frames.empty());
+ Frame& frame = frames.top();
+ assert(frame.entry.pattern.size() >= 1);
+
+ // we have to take different actions, based on if a preceding element exists
+ // or not
+ logger.debug("do_gdelete_macro:");
+ TNode prev = cursor.prev();
+ if (!prev)
+ {
+ // in this case, a prev does not exist, so the actions of deleting means
+ // that we have to remove the MACRO. So we have to pop the stack.
+ // Being here also means that the MACRO is waiting for the first argument
+ // (which is not delimited)
+ assert(frame.pos == 0);
+ parent.replace(cursor);
+ frames.pop();
+
+ // if the new parent is a group with Id, and has no elements other than the
+ // cursor, we could remove it...but i'm not sure
+ if (cursor.parent() && cursor.parent().isG() && cursor.parent().hasId())
+ rgreplace_futher();
+ else if (cursor.parent().isC())
+ {
+ // We have assumed that a MACRO cannot be a MACRO's child.
+ // At the moment, this assumption is valid, but in a future
+ // it could be false.
+ assert(!frames.empty());
+ Frame& frame = frames.top();
+ assert(frame.pos > 0);
+ frame.pos--;
+ }
+ }
+ else
+ {
+ // we have to control if prev is a delimited argument or not.
+ if (prev.isG() && !prev.hasId())
+ {
+ // in this case, prev is a delimited argument, so we have
+ // to ideally remove the sequence of delimiters
+ Frame& frame = frames.top();
+ assert(frame.pos > 1);
+ logger.debug("do_gdelete_macro: the pos of the frame is: ");
+ cout << frame.pos << endl;
+ logger.debug("do_gdelete_macro: the pattern size of the entry is");
+ cout << frame.entry.pattern.size() << endl;
+ logger.debug("do_gdelete_macro: the prev param is at");
+ cout << frame.entry.previousParam(frame.pos) << endl;
+ cursor.remove();
+ prev.append(cursor);
+ assert(frame.entry.previousParam(frame.pos) != frame.entry.pattern.size());
+ unsigned sequence_length = frame.pos - frame.entry.previousParam(frame.pos) - 1;
+ assert(sequence_length);
+ frame.pos = frame.pos - sequence_length - 1;
+ }
+ else
+ {
+ // the prev is not a delimited argument, so we have to try to remove it.
+ // I told "try" because the prev can be a group or something that
+ // a simple delete cannot remove completely
+ gdelete_prev();
+ }
+ }
+
+ logger.debug("do_gdelete_macro: bye...");
+}
+
+void
+TPushParser::do_gdelete_groupId()
+{
+ // if we are here, the cursor's parent is a group with Id
+ assert(cursor.parent() && cursor.parent().isG() && cursor.parent().hasId());
+ TNode parent = cursor.parent();
+
+ // we have to take different actions based on if the cursor has a preceding
+ // element or not
+ TNode prev = cursor.prev();
+ if (prev)
+ {
+ // the cursor has a preceding element, so we try to remoev it
+ gdelete_prev();
+
+ // We control if the group has to be removed, because the cursor
+ // could be the only element of the group.
+ if ((parent.first() == cursor) && parent.isG() && parent.hasId())
+ rgreplace_futher();
+
+ }
+ else
+ {
+ // the cursor has no preceding elements, so we have to remove the
+ // group.
+ rgreplace_futher();
+
+ // i have to re-start the process, because it' a graphical delete
+ do_gdelete();
+ }
+
+ logger.debug("do_gdelete_groupId: bye...");
+
+} // end of method do_gdelete_groupId()
+
+void
+TPushParser::do_gdelete_phantom_group()
+{
+ // if we are here, the cursor MUST be a child of a
+ // phantom group.
+ logger.debug("do_gdelete_phantom_group: start");
+ assert(cursor.parent() && cursor.parent().isG() && !cursor.parent().hasId());
+
+ TNode parent = cursor.parent();
+
+ // now we have to control if the cursor has a preceding element or not
+ TNode prev = cursor.prev();
+ if (prev)
+ {
+ // the cursor has a preceding element, so we try to remove it
+ logger.debug("do_gdelete_phantom_group: i have to call the gdelete_prev()");
+ gdelete_prev();
+ logger.debug("do_gdelete_phantom_group: gdelete_prev terminated");
+
+ if (parent.size() == 1 && parent.parent().isSp())
+ {
+ logger.debug("do_gdelete_phantom_group: i have to remove a phantom group which is a child of a sp");
+ // in this case the gdelete_prev has removed the only element preceding the cursor.
+ // If the phantom group is a sp's child, it means that the user has removed all \' in the
+ // phantom group. I think, we can remove the phamtom group and the sp element.
+ cursor.remove();
+ parent.replace(cursor);
+ // now we have a sp element with two children: the first child (we don't know nothing about it)
+ // and the cursror.
+ assert(cursor.parent().size() == 2);
+
+ // to delete the script we can invoke the do_gdelete_script(), which will do all controls we need
+ do_gdelete_script();
+ }
+ else if (parent.parent().isSp())
+ {
+ // in this case we have to place the cursor after the sp element
+ logger.debug("do_gdelete_phantom_group: the sequence of \' is not terminated, so i place the cursor after the sp element");
+ cursor.remove();
+ assert(parent.parent().parent());
+ parent.parent().parent().append(cursor);
+ }
+ }
+ else
+ {
+ // in this case the cursor is the only element of the phantom group,
+ // so we have to remove it. But, a phantom group has a special role,
+ // so we have to control the grand futher of the cursor.
+ TNode gfuther = parent.parent();
+ if (!gfuther)
+ {
+ // If here, the TML tree is in an inconsistent state
+ logger.error("do_gdelete_phantom: TML tree in a inconsistent state");
+ }
+ else if (gfuther.isC())
+ {
+ // in this case the phantom group is child of a MACRO.
+ // We have to control the nature of this MACRO.
+ logger.debug("do_gdelete_phantom_group: i have to remove a phantom group which is a child of a MACRO");
+ assert(!frames.empty());
+ Frame& frame = frames.top();
+
+ if (frame.entry.leftOpen && frame.entry.rightOpen)
+ {
+ // in this case, the cursor is in the second and last child
+ // of the MACRO. We can assert that the grand futher has two
+ // children. which are both phantom group
+ logger.debug("do_gdelete_phantom_group: the MACRO is leftOpen and rigthOpen");
+ assert(gfuther.size() == 2);
+ assert((gfuther.last() == parent) && (gfuther.first().isG() && !gfuther.first().hasId()));
+ assert(frame.pos == 0);
+
+ TNode ggfuther = gfuther.parent();
+ assert(ggfuther);
+ cursor.remove();
+ parent.remove();
+ // i have to replace the gfuther with the elements of its first child
+ gfuther.replace(gfuther.first().first(), TNode());
+ logger.debug("do_gdelete_phantom_group: i have removed the control element, and replaced it with its first child");
+ ggfuther.append(cursor);
+ logger.debug("do_gdelete_phantom_group: cursor appended to the grand grand futher");
+ // now we have the situation preceding the insertion of the MACRO leftOpen and rightOpen
+ // this MACRO no longer exists.
+ frames.pop();
+ }
+ else if (frame.entry.rightOpen)
+ {
+ // the user has inserted a MACRO rightOpen. Since the cursor is the
+ // only child of the MACRO, the user want to remove it.
+ // We can assert that cursor's parent is the only child of the MACRO
+ logger.debug("do_gdelete_phantom_group: the MACRO is rightOpen only");
+ assert(gfuther.size() == 1);
+ assert(frame.pos == 0);
+ cursor.remove();
+ parent.remove();
+ gfuther.replace(cursor);
+
+ // now we have the situation preceding the MACRO rightOpen, so i have to pop the frame
+ frames.pop();
+ }
+ else if (frame.entry.leftOpen)
+ {
+ // i think this situation will never occur
+ // but it can be recovered in some way
+ logger.error("the parser has generated a wrong TML tree");
+ }
+ else if (!frame.entry.pattern.empty())
+ {
+ // the MACRO accepts arguments, and the phantom group in which
+ // the cursor is, rappresents a delimited argument
+ // We have to control if the cursor's parent has a preceding element,
+ // or not.
+ logger.debug("do_gdelete_phantom_group: the MACRO accepts arguments");
+ logger.debug("do_gdelete_phantom_group: entry pattern has size:");
+ cout << frame.entry.pattern.size() << endl;
+ TNode uncle = parent.prev();
+ if (!uncle)
+ {
+ // the parent is the only element of the MACRO.
+ // we can assert that frame.pos == 0.
+ // In this case we can replace the MACRO with the cursor
+ assert(frame.pos == 0);
+ cursor.remove();
+ parent.remove();
+ gfuther.replace(cursor);
+ frames.pop();
+ }
+ else
+ {
+ // the parent has a preceding element. Now we have
+ // to control if the uncle is a delimited argument or not.
+ if (uncle.isG() && !uncle.hasId())
+ {
+ // the uncle is a delimited argument. So we have to ideally
+ // remove the sequrnce of delimiters.
+ assert(frame.pos > 1);
+ unsigned sequence_length = frame.pos - frame.entry.previousParam(frame.pos) - 1;
+ assert(frame.entry.previousParam(frame.pos) != frame.entry.pattern.size());
+ assert(sequence_length);
+ // sequence_length is the length of the delimiters sequence which separates
+ // the current parameter and the previous parameter
+ frame.pos = frame.pos - sequence_length - 1;
+ cursor.remove();
+ parent.remove();
+ uncle.append(cursor);
+ }
+ else
+ {
+ // the uncle is a not delimited argument, so we try to remove it.
+ cursor.remove();
+ parent.replace(cursor);
+ parent = cursor.parent(); // i update the parent (it should be the MACRO)
+ assert(parent.isC());
+
+ // now i try to remove the uncle (now it' the preceding element)
+ gdelete_prev();
+ }
+ } // this is the else's end, that handles the case in which an uncle exists
+ } // end of if (!frame.entry.pattern.empty())
+ else
+ {
+ // the entry has no arguments, is not rightOpen and is not leftOpen.
+ logger.warning("do_gdelete_phantom_group: TML tree in a strange state");
+ if (gfuther.size() == 1)
+ {
+ cursor.remove();
+ parent.remove();
+ gfuther.replace(cursor);
+ }
+ else
+ {
+ logger.debug("do_gdelete_phantom_group: TML tree in a very strange state");
+ cursor.remove();
+ gfuther.replace(cursor);
+ }
+ }
+ } // end of if (gfuther.isC())
+ else if (gfuther.is("cell"))
+ {
+ // we have to handle the case where cursor'grand futher is a cell element.
+ // The tables are control sequece, so there is a frame in the stack
+ assert(!frames.empty());
+ assert(frames.top().pos == 1);
+ assert(frames.top().entry.table == 1);
+
+ // a cell MUST be child of row element, which in turn MUST be child of an element
+ // havin attribute table.
+ assert(gfuther.parent() && gfuther.parent().is("row") && gfuther.parent().parent());
+ TNode row = gfuther.parent();
+
+ // in this case the cell has no element, so the user wants to delete this cell.
+ TNode prev_cell = gfuther.prev();
+ cursor.remove();
+ parent.remove();
+ gfuther.remove();
+ // now the cell no longer exists
+
+ if (!prev_cell)
+ {
+ // i this case, the cell is the only cell in the row.
+ // So, i assume that the user wants to delete the entire row.
+ TNode table = row.parent();
+ TNode prev_row = row.prev();
+ row.remove();
+
+ if (!prev_row)
+ {
+ // the row was the only child of the table.
+ // I think have to delete the entire table
+ assert(table.parent());
+ TNode parent_table = table.parent();
+ table.remove();
+ frames.pop();
+ parent_table.append(cursor);
+ }
+ else
+ {
+ // there are other rows (one at least)
+ assert(prev_row.is("row"));
+ assert(prev_row.last());
+ TNode last_cell = prev_row.last();
+ assert(last_cell.is("cell"));
+ assert(last_cell.size() == 1);
+ assert(last_cell.first().isG() && !last_cell.first().hasId());
+ last_cell.first().append(cursor);
+ }
+ } // end of if (!prev_cell)
+ else
+ {
+ // being here means that there is a previous cell,
+ // so we append the cursor to group.
+ assert(prev_cell.size() == 1);
+ assert(prev_cell.first().isG() && !prev_cell.first().hasId());
+ prev_cell.first().append(cursor);
+ }
+ } // end of if (gfuther.is("cell"))
+ else if (gfuther.isSp())
+ {
+ // in this case, the user pushed a \'. So this phantom group
+ // contained a sequence of \'.
+ // Maybe in this part will never be used, because, if we delete last \' in the
+ // phantom group, we remove the phantom group also
+ //
+ // In any case, if we are here we have two choice:
+ // delete the phantom group;
+ // delete the superscript.
+ }
+ else
+ {
+ // cursor' grand futher is undefined
+ logger.error("do_gdelete_phantom_group: TML tree in a unknown state");
+ }
+ } // end of the else of the if (prev)
+
+ if (!frames.empty())
+ {
+ logger.debug("do_gdelete_phantom_group: the stack is not empty");
+ logger.debug("do_gdelte_phanto_group: is the top element rightOpen?");
+ cout << frames.top().entry.rightOpen << endl;
+ logger.debug("do_gdelte_phanto_group: is the top element'pattern empty?");
+ cout << frames.top().entry.pattern.empty() << endl;
+ }
+ logger.debug("do_gdelete_phantom_group: bye...");
+}
+
+
+void
+TPushParser::do_gdelete()
+{
+ logger.debug("do_gdelete: start");
+ // we have to handle the case in wich the cursor has a parent or not
+ if (!cursor.parent())
+ {
+ // it's not a good situation...at the moment we do not take actions
+ logger.error("TML tree not well structured");
+ }
+ else
+ {
+ // a parent exists. We have to take differnt actions, based on the nature of
+ // the parent
+ TNode parent = cursor.parent();
+ if (parent.is("math"))
+ {
+ // we ca do two thing...remove the math mode (it implies controlling the display attribute), do nothing
+ // At the moment, the user's will of deleting is simply ignored
+ logger.error("TML tree not well structured");
+ }
+ else if (parent.isG())
+ {
+ // the cursor's parent is a group. We have to control if it's a phantom group or not
+ logger.debug("do_gdelete: the cursor's parent is a group");
+ if (parent.hasId())
+ {
+ logger.debug("do_gdelete: which has Id");
+ do_gdelete_groupId();
+ }
+ else
+ {
+ logger.debug("do_gdelete: which is a phantom group");
+ do_gdelete_phantom_group();
+ }
+ } // end of parent is group
+ else if (parent.isC())
+ {
+ cout << "the cursor's parent is a MACRO" << endl;
+ do_gdelete_macro();
+ } // end of parent is a MACRO
+ else if (parent.isSp() || parent.isSb())
+ {
+ cout << "the cursor's parent is a script" << endl;
+ do_gdelete_script();
+ } // end of parent is sp or sb
+ } // end of the else which consider the case in which parent exists
+
+ if (!cursor.parent())
+ logger.debug("do_gdelete: the cursro has no parent -> paolo is stupid");
+
+ if (!frames.empty())
+ {
+ logger.debug("do_gdelete: the stack is not empty");
+ logger.debug("do_gdelete: is the top element rightOpen?");
+ cout << frames.top().entry.rightOpen << endl;
+ logger.debug("do_gdelete: is the top element'pattern empty");
+ cout << frames.top().entry.pattern.empty() << endl;
+ }
+ logger.debug("do_gdelete: bye...");
+
+} // end of method do_gdelete
+
+/*