private String editorID;
private Resource r1;
private Resource r2;
+ private Resource r3;
public UpdateEditorInput(String editorID, Resource r1, Resource r2, Resource model, RVI rvi) {
+ this(editorID, r1, r2, null, model, rvi);
+ }
+
+ public UpdateEditorInput(String editorID, Resource r1, Resource r2, Resource r3, Resource model, RVI rvi) {
super(editorID, r1, model, rvi);
this.r1 = r1;
this.r2 = r2;
return r2;
}
+ public Resource getR3() {
+ return r3;
+ }
+
public void openEditor() throws PartInitException {
WorkbenchUtils.openEditor(editorID, this);