intial source from http://www.sf.net/projects/wdte
[phpeclipse.git] / net.sourceforge.phpeclipse.webbrowser / src / net / sourceforge / phpeclipse / webbrowser / internal / ExternalWebBrowserWorkingCopy.java
1 package net.sourceforge.phpeclipse.webbrowser.internal;
2
3 import net.sourceforge.phpeclipse.webbrowser.IExternalWebBrowser;
4 import net.sourceforge.phpeclipse.webbrowser.IExternalWebBrowserWorkingCopy;
5 /**
6  * 
7  */
8 public class ExternalWebBrowserWorkingCopy extends ExternalWebBrowser implements IExternalWebBrowserWorkingCopy {
9         protected ExternalWebBrowser browser;
10
11         // creation
12         public ExternalWebBrowserWorkingCopy() { }
13
14         // working copy
15         public ExternalWebBrowserWorkingCopy(ExternalWebBrowser browser) {
16                 this.browser = browser;
17                 setInternal(browser);
18         }
19
20         /* (non-Javadoc)
21          * @see net.sourceforge.phpeclipse.webbrowser.IExternalWebBrowserWorkingCopy#setName(java.lang.String)
22          */
23         public void setName(String name) {
24                 this.name = name;
25         }
26
27         /* (non-Javadoc)
28          * @see net.sourceforge.phpeclipse.webbrowser.IExternalWebBrowserWorkingCopy#setLocation(java.lang.String)
29          */
30         public void setLocation(String location) {
31                 this.location = location;
32         }
33
34         /* (non-Javadoc)
35          * @see net.sourceforge.phpeclipse.webbrowser.IExternalWebBrowserWorkingCopy#setParameters(java.lang.String)
36          */
37         public void setParameters(String params) {
38                 this.parameters = params;
39         }
40
41         public boolean isWorkingCopy() {
42                 return true;
43         }
44         
45         public IExternalWebBrowserWorkingCopy getWorkingCopy() {
46                 return this;
47         }
48
49         /* (non-Javadoc)
50          * @see net.sourceforge.phpeclipse.webbrowser.IExternalWebBrowserWorkingCopy#save()
51          */
52         public IExternalWebBrowser save() {
53                 if (browser != null) {
54                         browser.setInternal(this);
55                         BrowserManager.getInstance().browserChanged(browser);
56                 } else {
57                         browser = new ExternalWebBrowser();
58                         browser.setInternal(this);
59                         BrowserManager.getInstance().addBrowser(browser);
60                 }
61                 return browser;
62         }
63 }