BrightSide Workbench Full Report + Source Code
Main Page
Related Pages
Packages
Packages
Classes
Class List
Class Index
Class Hierarchy
Class Members
All
$
[
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
Functions
$
[
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
z
Variables
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
Files
File List
•
All
Classes
Namespaces
Files
Functions
Variables
Pages
WorkFileSet.java
Go to the documentation of this file.
1
/*
2
* Turró i Cutiller Foundation. License notice.
3
* Copyright (C) 2011 Lluis Turró Cutiller <http://www.turro.org/>
4
*
5
* This program is free software: you can redistribute it and/or modify
6
* it under the terms of the GNU Affero General Public License as published by
7
* the Free Software Foundation, either version 3 of the License, or
8
* (at your option) any later version.
9
*
10
* This program is distributed in the hope that it will be useful,
11
* but WITHOUT ANY WARRANTY; without even the implied warranty of
12
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13
* GNU Affero General Public License for more details.
14
*
15
* You should have received a copy of the GNU Affero General Public License
16
* along with this program. If not, see <http://www.gnu.org/licenses/>.
17
*/
18
package
org.turro.wd.files;
19
20
import
java.util.TreeSet;
21
26
public
class
WorkFileSet
extends
TreeSet<WorkFile> {
27
28
public
boolean
containsFile
(String file) {
29
return
getFile
(file) !=
null
;
30
}
31
32
public
WorkFile
getFile
(String file) {
33
for
(
WorkFile
d :
this
) {
34
if
(d.
getName
().equals(file)) {
35
return
d;
36
}
37
}
38
return
null
;
39
}
40
41
}
org.turro.wd.files.WorkFileSet
Definition:
WorkFileSet.java:26
org.turro.wd.files.WorkFileSet.getFile
WorkFile getFile(String file)
Definition:
WorkFileSet.java:32
org.turro.wd.files.WorkFileSet.containsFile
boolean containsFile(String file)
Definition:
WorkFileSet.java:28
org.turro.wd.files.WorkFile
Definition:
WorkFile.java:42
org.turro.wd.files.WorkFile.getName
String getName()
Definition:
WorkFile.java:67
TurroProjects
Public
Elephant
elephant-workingdir
src
main
java
org
turro
wd
files
WorkFileSet.java
Generated on Tue Mar 12 2024 07:01:21 for BrightSide by
1.9.1