Skip to contentMethod: getPackDescFile()
      1: /**
2:  * 
3:  */
4: package reader;
5: 
6: import java.io.File;
7: 
8: /**
9:  * @author Phil
10:  * 
11:  */
12: public class PackageFileQuartet {
13: 
14:         /**
15:          * The name to set.
16:          */
17:         private final String name;
18:         /**
19:          * 
20:          */
21:         private final File typeFile;
22:         /**
23:          * 
24:          */
25:         private final File defFile;
26:         /**
27:          * 
28:          */
29:         private final File assignFile;
30:         /**
31:          * 
32:          */
33:         private final File packDescFile;
34: 
35:         /**
36:          * 
37:          * @param name
38:          *            The name of the package.
39:          * @param typeFile
40:          *            The typeFile of the package.
41:          * @param defFile
42:          *            The defFile of the package.
43:          * @param assignFile
44:          *            The assignmentFile of the package.
45:          * @param packDescFile
46:          *            The packagedescriptionfile to set.
47:          * @throws ReaderException
48:          *             If the reader causes an exception.
49:          */
50:         public PackageFileQuartet(final String name, final File typeFile, final File defFile,
51:                         final File assignFile, final File packDescFile) throws ReaderException {
52:                 if (typeFile == null || assignFile == null || defFile == null || packDescFile == null) {
53:                         throw new ReaderException(basic.ReaderConstants.PACKAGENOTCOMPLETEEXC + name,
54:                                         new NullPointerException());
55:                 }
56: 
57:                 this.name = name;
58:                 this.typeFile = typeFile;
59:                 this.defFile = defFile;
60:                 this.assignFile = assignFile;
61:                 this.packDescFile = packDescFile;
62:         }
63: 
64:         /**
65:          * @return the name
66:          */
67:         public String getName() {
68:                 return this.name;
69:         }
70: 
71:         /**
72:          * @return the typeFile
73:          */
74:         public File getTypeFile() {
75:                 return this.typeFile;
76:         }
77: 
78:         /**
79:          * @return the defFile
80:          */
81:         public File getDefFile() {
82:                 return this.defFile;
83:         }
84: 
85:         /**
86:          * @return the assignFile
87:          */
88:         public File getAssignFile() {
89:                 return this.assignFile;
90:         }
91: 
92:         /**
93:          * @return the packDescFile
94:          */
95:         public File getPackDescFile() {
96:                 return this.packDescFile;
97:         }
98: 
99: }