- public UpdateEditorInput(String editorID, Resource r1, Resource r2, Resource model, RVI rvi) {
- super(editorID, r1, model, rvi);
+
+ public UpdateEditorInput(String editorID, Resource r1, Resource r2, RVI rvi) {
+ this(editorID, r1, r2, null,rvi);
+ }
+
+ /**
+ *
+ * @param editorID
+ * @param r1 old model that is being updated
+ * @param r2 new model containing the changes that we want to apply
+ * @param r3 original model to detect user mace changes to the old model r1. This parameter can be
+ * @param rvi
+ */
+ public UpdateEditorInput(String editorID, Resource r1, Resource r2, Resource r3, RVI rvi) {
+ super(editorID, r1, r1, rvi);