blob: a5697d18d622b452ce1b6aade621a3ec6f5cf903 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
// Copyright (C) 2002 Jon A. Maxwell (JAM)
//
// This library is free software; you can redistribute it and/or
// modify it under the terms of the GNU Lesser General Public
// License as published by the Free Software Foundation; either
// version 2.1 of the License, or (at your option) any later version.
//
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
// Lesser General Public License for more details.
//
// You should have received a copy of the GNU Lesser General Public
// License along with this library; if not, write to the Free Software
// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
package net.sourceforge.jnlp.event;
import java.net.*;
import java.util.*;
import net.sourceforge.jnlp.*;
import net.sourceforge.jnlp.cache.*;
import net.sourceforge.jnlp.runtime.*;
/**
* This event is sent during the launch of an
* application.
*
* @author <a href="mailto:jmaxwell@users.sourceforge.net">Jon A. Maxwell (JAM)</a> - initial author
* @version $Revision: 1.3 $
*/
public class DownloadEvent extends EventObject {
/** the tracker */
private ResourceTracker tracker;
/** the resource */
private Resource resource;
/**
* Creates a launch event for the specified application
* instance.
*
* @param source the resource tracker
* @param resource the resource
*/
public DownloadEvent(ResourceTracker source, Resource resource) {
super(source);
this.tracker = source;
this.resource = resource;
}
/**
* Returns the tracker that owns the resource.
*/
public ResourceTracker getTracker() {
return tracker;
}
/**
* Returns the location of the resource being downloaded.
*/
public URL getResourceLocation() {
return resource.getLocation();
}
}
|
