public class PlannerProperties
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
java.lang.String |
almanacDirectory |
java.lang.String |
almanacIPAddress |
int |
almanacPort |
double |
lowestMoonAltitude |
double |
lowestStarAltitude |
double |
maximumMoonPhase |
double |
minimumMoonPhase |
int |
searchTimeResolution |
java.lang.String |
standardStarListFilename |
int |
twilightTime |
| Constructor and Description |
|---|
PlannerProperties()
Class constructor, producing an empty object
|
PlannerProperties(PlannerProperties props)
Copy constructor
|
PlannerProperties(java.lang.String propertyFilename)
Class constructor, loading the parameters from the specified property file
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
PropertiesLoaded()
Check whether the parameters have been loaded and are correct
|
public java.lang.String almanacDirectory
public java.lang.String almanacIPAddress
public int almanacPort
public java.lang.String standardStarListFilename
public int twilightTime
public double lowestMoonAltitude
public double lowestStarAltitude
public double minimumMoonPhase
public double maximumMoonPhase
public int searchTimeResolution
public PlannerProperties()
public PlannerProperties(PlannerProperties props)
props - the property object to be copiedpublic PlannerProperties(java.lang.String propertyFilename)
throws java.lang.NumberFormatException,
java.io.FileNotFoundException,
java.io.IOException
propertyFilename - the name of the property filejava.lang.NumberFormatException - in case a numerical value cannot be parsedjava.io.FileNotFoundException - in case the file is not foundjava.io.IOException - error while loading the file into a property object