Commit 5983cf5d authored by Sebastian Pretscher's avatar Sebastian Pretscher

Added tooltip

parent 15f3f474
......@@ -673,6 +673,7 @@ public class CupConflictGraphView extends FailableView implements
ParserConflictNode newNode = new ParserConflictNode(state
.getState().index(), "State "
+ state.getState().index());
newNode.setDescription(state.getState().toString());
if (oldCupConflictState != null) {
newNode.setIsNonTerm(oldCupConflictState.getTransition()
.on_symbol().is_non_term());
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment