public PushItem(GraphTargetItem value) { super(value.getSrc(), value.getLineStartItem(), value.getPrecedence(), value); }