vSourceFiles.addElement(sfi);\r
}\r
\r
- public void updateSourceFiles(SourceFilesIdentification sfi, int index) {\r
+ public void setSourceFiles(SourceFilesIdentification sfi, int index) {\r
vSourceFiles.setElementAt(sfi, index);\r
}\r
\r
public int size() {\r
return this.vSourceFiles.size();\r
}\r
+ \r
+ public Vector<String> toStringVector(int index) {\r
+ Vector<String> v = new Vector<String>();\r
+ v.addElement(getSourceFiles(index).getFilename());\r
+ return v;\r
+ }\r
}\r