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
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
|
package tim.prune.data;
import java.util.ArrayList;
/**
* Class to hold the information about the file(s)
* from which the data was loaded from / saved to
*/
public class FileInfo
{
/** List of sources */
private ArrayList<SourceInfo> _sources = new ArrayList<SourceInfo>();
/**
* Empty constructor
*/
public FileInfo()
{}
/**
* Private constructor for creating clone
* @param inList list of sources
*/
private FileInfo(ArrayList<SourceInfo> inList)
{
_sources = inList;
}
/**
* Add a data source to the list
* @param inInfo info object to add
*/
public void addSource(SourceInfo inInfo)
{
_sources.add(inInfo);
}
/**
* Replace the list of data sources with the given source
* @param inInfo new source
*/
public void replaceSource(SourceInfo inInfo)
{
_sources.clear();
addSource(inInfo);
}
/**
* remove the last source added
*/
public void removeSource()
{
_sources.remove(_sources.size()-1);
}
/**
* @return the number of files loaded
*/
public int getNumFiles()
{
return _sources.size();
}
/**
* @return The source name, if a single file
*/
public String getFilename()
{
if (getNumFiles() == 1) {
return _sources.get(0).getName();
}
return "";
}
/**
* @param inIndex index number, starting from zero
* @return source info object
*/
public SourceInfo getSource(int inIndex)
{
return _sources.get(inIndex);
}
/**
* Get the SourceInfo object (if any) for the given point
* @param inPoint point object
* @return SourceInfo object if there is one, otherwise null
*/
public SourceInfo getSourceForPoint(DataPoint inPoint)
{
for (SourceInfo source : _sources)
{
if (source.getIndex(inPoint) >= 0) {
return source;
}
}
return null;
}
/**
* @return the info about the last file loaded, if any
*/
public SourceInfo getLastFileInfo()
{
if (getNumFiles() == 0)
{
return null;
}
return getSource(getNumFiles()-1);
}
/**
* @return the most recent file title loaded, if any
*/
public String getLastFileTitle()
{
final int numFiles = getNumFiles();
if (numFiles == 0)
{
return null;
}
for (int i=(numFiles-1); i>=0; i--)
{
SourceInfo info = getSource(i);
if (info != null)
{
String title = info.getFileTitle();
if (title != null && !title.equals(""))
{
return title;
}
}
}
return null;
}
/**
* Clone contents of file info
*/
@SuppressWarnings("unchecked")
public FileInfo clone()
{
// copy source list
ArrayList<SourceInfo> copy = (ArrayList<SourceInfo>) _sources.clone();
return new FileInfo(copy);
}
}
|
