public class PackageFileQuartet
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.io.File |
assignFile |
private java.io.File |
defFile |
private java.lang.String |
name
The name to set.
|
private java.io.File |
packDescFile |
private java.io.File |
typeFile |
Constructor and Description |
---|
PackageFileQuartet(java.lang.String name,
java.io.File typeFile,
java.io.File defFile,
java.io.File assignFile,
java.io.File packDescFile) |
Modifier and Type | Method and Description |
---|---|
java.io.File |
getAssignFile() |
java.io.File |
getDefFile() |
java.lang.String |
getName() |
java.io.File |
getPackDescFile() |
java.io.File |
getTypeFile() |
private final java.lang.String name
private final java.io.File typeFile
private final java.io.File defFile
private final java.io.File assignFile
private final java.io.File packDescFile
public PackageFileQuartet(java.lang.String name, java.io.File typeFile, java.io.File defFile, java.io.File assignFile, java.io.File packDescFile) throws ReaderException
name
- The name of the package.typeFile
- The typeFile of the package.defFile
- The defFile of the package.assignFile
- The assignmentFile of the package.packDescFile
- The packagedescriptionfile to set.ReaderException
- If the reader causes an exception.public java.lang.String getName()
public java.io.File getTypeFile()
public java.io.File getDefFile()
public java.io.File getAssignFile()
public java.io.File getPackDescFile()