public class ReceiverProperties
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
int |
port |
java.lang.String |
tempDownloadDirectory |
java.lang.String |
userPropertiesFilePath |
| Constructor and Description |
|---|
ReceiverProperties() |
ReceiverProperties(java.lang.String propertyFilename) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
propertiesLoaded() |
public java.lang.String tempDownloadDirectory
public int port
public java.lang.String userPropertiesFilePath
public ReceiverProperties()
public ReceiverProperties(java.lang.String propertyFilename)
throws java.lang.NumberFormatException,
java.io.FileNotFoundException,
java.io.IOException
java.lang.NumberFormatExceptionjava.io.FileNotFoundExceptionjava.io.IOException