(****
 *
 * Module Timing defines the fields that will be displayed if a timing
 * receiver is attached.
 *
 *)

module Timing;

  object TimeField
    components: Time and Date and UTCOffset and TOW and WeekNum;
    description: (*
        Displays time and date information.
 	<p>
        TSIP Packet: 0x8F-AB
    *);
  end TimeField;

  object Time =  string
     description: (*
        The time of day is displayed in hours-minutes-seconds format and varies from 00:00:00 to   
        23:59:59, except when time is in UTC (Univernsal Coordinate Time) and a leap second 
        insertion occurs.  In this case the time will transition from 23:59:59 to 23:59:60 to 00:00:00.  
        The label after the time field indicates whether time is displayed in GPS or UTC.
    *);
  end Time;

  object Date =  string
    description: (*
        Displays the date in Mon DD, YYYY with "Mon" being a 3 letter abbreviation for the month.
    *);
  end Date;

  object UTCOffset =  integer
    description: (*
        This field represents the current integer leap second offset between GPS and UTC       
        according to the relationship:
	<p>
        Time(UTC) = Time(GPS) - UTC Offset
	<p>
        Before the timing receiver acquires UTC information from the GPS system, it is only 
        capable of representing time in the GPS time scale, and the UTC Offset will be shown as 0.
    *);
  end UTCOffset;

  object TOW =  integer
    description: (*
        TOW stands for Time of Week.  This field represents the number of seconds since Sunday 
        at  00:00:00 GPS time for the current GPS week.
    *);
  end TOW;

  object WeekNum =  integer
    description: (*
        This field represents the current GPS week number.  GPS week number 0 started on 
        January 6, 1980.
    *);
  end WeekNum;

   object MinorAlarms
    components: SatelliteTracking and SelfSurveyActivity and StoredPosition and 
                        LeapSecondPending and TestMode and PositionQuestionable and 
                        EEPROMInvalid and Almanac;
    description: (*
	Displays warnings of receiving incomplete information from the satellites currently to.
	<p>
	Note:  This section of the screen will appear blank when Timing Receiver Monitor is 	connected to an Acutime 2000 receiver intended for use with an NTP (Network Timing 	Protocal) application.
	<p>
	TSIP Packet: 0x8F-AC
     *);
   end MinorAlarms;

   object SatelliteTracking =  boolean
     description: (*
	When yellow, indicates that no satellites are yet usable.  In order for a satellite to be 	usable, it must be tracked long enough to obtain ephemeris and health data.
	<p>
	When green, indicates that the receiver is tracking satellites.
     *);
   end SatelliteTracking;

   object SelfSurveyActivity =  boolean
     description: (*
	When yellow, indicates that a self-survey procedure is in progress.
	<p>
	When green, indicates that a self-survey procedure is not in progress.
     *);
   end SelfSurveyActivity;

   object StoredPosition =  boolean
     description: (*
	When yellow, indicates that there is no accurate position stored in EEPROM.
	<p>
	When green, indicates that there is an accurate position stored in EEPROM.
     *);
   end StoredPosition;
   
   object LeapSecondPending =  boolean
     description: (*
	When yellow, indicates that the GPS system has alerted the timing receiver that a leap 	second transition is pending.
	<p>
	When green, indicates that a leap second transition is not pending.
     *);
   end LeapSecondPending;

   object TestMode =  boolean
     description: (*
	When yellow, indicates that the timing receiver is operating in one of its test modes.
	<p>
	When green, indicates that the timing receiver is not operating in a test mode.
     *);
   end TestMode;

   object PositionQuestionable =  boolean
     description: (*
	When yellow, indicates that the accuracy of the position being used for a time-only fix is 	questionable.  While operating in the over-determined clock mode (which is most of the 	time) and while there are at least 2 satellites available, the receiver can detect position 	inaccuracies as small as 1/2 to 1 mile.  If this LED is yellow, it is likely that the receiver is 	using a stored position but has been moved to a new site.
	<p>
	When green, indicates that the accuracy of the position is not questionable.
     *);
   end PostitionQuestionable;

   object EEPROMInvalid =  boolean
     description: (*
	When yellow, indicates that one or more EEPROM segments were found to be corrupt at 	reset and had to be set to their factory default settings.
	<p>
	When green, indicates that no EEPROM segments were found to be corrupt at reset.
     *);
   end EEPROMInvalid;

   object Almanac =  boolean
     description: (*
	When yellow, indicates that the almanac is not current or complete.
	<p>
	When green, indicates that the almanac is current and complete.
     *);
   end Almanac;

   object TimingOutputs
     components: LocalClockOffset and OscillatorOffset and PPSQuantizationError and 			 PPSGenerated;
     description:  (*
	This field displays the accuracy of the TimeField.
	<p>
	Note:  This section of the screen will appear blank when Timing Receiver Monitor is 	connected to an Acutime 2000 receiver intended for use with an NTP (Network Timing 	Protocal) application.
	<p>
	TSIP Packet: 0x8F-AC
     *);
   end TimingOutputs;

   object LocalClockOffset =  string
     description: (*
	This field displays the offset of the local clock relative to UTC (Universal Coordinated 	Time) or GPS as reported by the receiver in nanoseconds.  Positive values indicate that 	the timing receiver's local clock is late relative to GPS or UTC.
     *);
   end LocalClockOffset;

   object OscillatorOffset =  string
     description: (*
	This field displays the frequency offset of the 10MHz output relative to UTC or GPS as 	reported by the receiver in ppb.  Positive values indicate that the timing receiver's 	10MHz clock is running slow relative to GPS or UTC.
     *);
   end OscillatorOffset;
   
   object PPSQuantizationError =  string
     description: (*
	This field displays the PPS quantization error in nanoseconds.
     *);
   end PPSQuantizationError;

   object PPSGenerated =  boolean
     description: (*
	This LED indicates the PPS output status.
	<p>
	When yellow, indicates that a PPS was not generated.
	<p>
	When green, indicates that a PPS was generated.
     *);
   end PPSGenerated;

   object ModeAndStatus
     components: RcvrMode and Status;
     description: (*
	Displays the mode the receiver is configured for and the decoding status of the GPS 	receiver.
	<p>
	TSIP Packet: 0x8F-AC
     *);
   end ModeAndStatus;

   object RcvrMode =  string
     description: (*
	This field displays the fix mode that the receiver is currently configured
    for.  The timing receiver spends most of its time in Overdetermined Clock 
    mode where it uses all available satellites to perform the best time-only 
    fix possible.
	<p>
	Possible receiver modes include:
	<p>
	Automatic (2D/3D)
	Single Satellite (Time)
	Horizontal (2D)
	Full Position (3D)
	DGPS Reference
	Clock Hold (2D)
	Overdetermined Clock
	DGPS Age Limit
     *);
   end RcvrMode;

   object Status =  string
     description: (*
	This field indicates the decoding status of the GPS receiver.
	<p>
	Possible statuses include:
	<p>
	Doing fixes
	Don't have GPS time
	PDOP is too high
	No Usable SVs
	Only 1 Usable SV
	Only 2 Usable SVs
	Only 3 Usable SVs
	Chosen SV is unusable
	TRAIM rejected fix
     *);
   end Status;

   object PositionField
     components: Latitude and Longitude and Altitude and SelfSurveyProgress;
     description: (*
	Displays positioning information.
	<p>
	TSIP Packet: 0x8F-AC
     *);
   end PositionField;

   object Latitude =  real
     description: (*
	This field displays the latitude of the position being shown.  The units are in degrees.  	Negative values represent southern latitudes.  Positive values represent northern 	latitudes.  Clicking on this field causes the latitude display format to toggle between 	ddd.dd° and  dd° mm' ss.ss.
     *);
   end Latitude;

   object Longitude =  real
     description: (*
	This field displays the longitude of the position being shown.  The units are in degrees.  	Negative values represent western longitudes.  Positive values represent eastern 	longitudes.  Clicking on this field causes the longitude display format to toggle between 	ddd.dd° and  dd° mm' ss.ss.
     *);
   end Longitude;

   object Altitude =  real
     description: (*
	This field displays the altitude of the position being shown.  The units are in meters 	according to the current datum.
     *);
   end Altitude;

   object SelfSurveyProgress =  real
     description: (*
	When a self-survey procedure is in progress, this field shows the progress of the survey 	as the percentage of fixes collected so far.  The self-survey will be complete when the 	progress reaches 100%.  This section of the Position display will be blank if Timing 	Receiver Monitor is communicating with an Acutime 2000 receiver used for NTP 	(Network Timing Protocal).
     *);
   end SelfSurveyProgress;

   object SVData
     components: SV and AMU;
     description: (*
	Displays the current satelites being tracked and the signal strength.
	<p>
	TSIP Packets: 0x5C, 0x6D
     *);
   end SVData;

   object SV =  integer
     description: (*
	This field displays the satellite vehicles that the receiver is currently tracking.  If the field 	is green, the SV is currently being used in the fix.  If the field is yellow, TRAIM rejected 	the SV.
     *);
   end SV;

   object AMU =  real
     description: (*
	This field displays the signal level for the tracked satellites.  The signal level is a linear 	approximation of C/N0 which is stated in antenna amplitude measurement units (AMUs), 	a Trimble devised unit. 
     *);
   end AMU;

   object StatusBar
     components: TxRxLEDs and HintBox and ReceiverVersion and SerialPortInformation;
     description: (*
	See component descriptions.
     *);
   end StatusBar;

   object TxRxLEDs =  boolean
     description: (*
	This box displays TSIP transmit and receive information.  The Tx LED blinks when the 	Timing Receiver Monitor sends a TSIP packet to the GPS receiver.  The Rx LED blinks 	when the Timing Receiver Monitor receives a TSIP packet from the receiver. 
     *);
   end TxRxLEDs;

   object HintBox =  string
     description: (*
	This box displays program hints and TSIP packets that drive each section of the 	program.
     *);
   end HintBox;

   object ReceiverVersion =  string
     description: (*
	This box displays the GPS receiver version.
	<p>
	TSIP Packet: 0x45
     *);
   end ReceiverVersion;

   object SerialPortInformation =  string
     description: (*
	This box displays the serial port information for the Timing Receiver Monitor.  It does not 	necessarily match the serial port settings of the GPS receiver.  Clicking on this box 	brings up the Serial Port information screen. 
     *);
   end SerialPortInformation;

   operation OneSatelliteSV
     inputs: SVNumber;
     description: (*
	    This command is used to select the satellite to for 1-D timing mode.  If 
      0 is selected, the receiver automatically chooses the usable satellite 
      with the highest elevation above the horizon, which is the default 
      action for the receiver.
	<p>
	TSIP Packet: 0x34
     *);
   end OneSatelliteSV;

   object SVNumber =  integer
     description: (*
	Input for OneSatelliteSV configuration.
     *);
   end SVNumber;

end Timing;


(****
 *
 * Module Setup defines the dialogs that will be displayed when a user selects
 * each of the different Setup menu items.
 *
 *)

module Setup;

  object GPSSettings
    components: ReceiverMode and DGPSMode and DynamicsCode and ElevationMask
                and SignalLevelMask and PDOPMask and PDOPSwitch and DGPSAgeLimit;
    description: (*
      Dialog Title: Receiver Configuration
      Here you can set the timing receiver's configuration parameters.
 	    <p>
      TSIP Packet: 0xBB
    *);
  end GPSSettings;

  object ReceiverMode =  string
    description: (*
	    This field displays the fix mode that the receiver is currently configured
      for.  The timing receiver spends most of its time in Overdetermined Clock 
      mode where it uses all available satellites to perform the best time-only 
      fix possible.
      <p>
      Possible Receiver Modes include:
      <p>
      Automatic (2D/3D)<br>
      Single Satellite (Time)<br>
      Horizontal (2D)<br>
      Full Position (3D)<br>
      DGPS Reference<br>
      Clock Hold (2D)<br>
      Overdetermined Clock
    *);
  end ReceiverMode;

  object DGPSMode =  string
    description: (*
      DGPS Mode can be either: On, Off, or Auto.
      <p>
      **TBD: should this object be a boolean instead of a string?
    *);
  end DGPSMode;

  object DynamicsCode =  string
    description: (*
      **TBD: What does Dynamics Code *DO*? 
      <p>
      Dynamics Code has four possible settings:
      <p>
      Land<br>
      Sea<br>
      Air<br>
      Stationary
    *);
  end DynamicsCode;

  object ElevationMask =  real
    description: (*
      **TBD
    *);
  end ElevationMask;

  object SignalLevelMask =  real
    description: (*
      **TBD
    *);
  end SignalLevelMask;

  object PDOPMask =  real
    description: (*
      **TBD
    *);
  end PDOPMask;

  object PDOPSwitch =  real
    description: (*
      **TBD
    *);
  end PDOPSwitch;

  object DGPSAgeLimit =  integer
    description: (*
      **TBD
    *);
  end DGPSAgeLimit;

  object SVFor1SateliteMode
    components: SVNumber;
    description: (*
      This command is used to select the satellite to for 1-D timing mode.  
      If 0 is selected, the receiver automatically chooses the usable 
      satellite with the highest elevation above the horizon, which is the 
      default action for the receiver.
    *);
  end SVFor1SateliteMode;

  object SVNumber =  integer
    description: (*
      Satelite number for use in 1-D timing mode.
    *);
  end SVNumber;

  object AltitudeFor2DMode
    components: SetAltitudeRadioButton and SetAltitudeField and 
                CancelAltitudeModeRadioButton;
    description: (*
      Dialog Title: 2D Altitude
      <p>
      This command is used to set the altitude for manual 2-dimensional navigation 
      mode.  This altitude is also used for auto 2-D mode when the dynamics code is 
      set to SEA.  The altitude is in meters, using the WGS-84 model of the earth 
      or MSL geoid altitude depending on I/O Options (See Packet Masks And Options).
      <p>
      If a set altitude is not provided, the receiver will use the altitude of the 
      previous 3-D fix (altitude hold mode).  This command can also be used to 
      cancel altitude-set mode and return the reference altitude to 0.  The altitude 
      setting is stored in non-volatile memory.
      <p>
      The receiver must be configured to manual 2-D navigation mode using the 
      GPSSettings (0xBB) command in order to use the fixed altitude survey mode.  
      The reference altitude will be used in 2-D survey from both warm and cold start.
      <p>
      TSIP Packet: 0x2A
    *);
  end AltitudeFor2DMode;

  object SetAltitudeRadioButton =  boolean
    description: (*
      This radio button activates the SetAltitudeField.
    *);
  end SetAltitudeRadioButton;

  object SetAltitudeField =  real
    description: (*
      This field allows the user to edit the altitude for manual 2-dimentional 
      navigation mode.
    *);
  end SetAltitudeField;

  object CancelAltitudeModeRadioButton =  boolean
    description: (*
      Activate this radio button to cancel altitude-set mode and reset the 
      reference altitude to 0.
    *);
  end CancelAltitudeModeRadioButton;

  object PackMasksAndOptions
    components: SuperPacketMasks and IOOptions;
    description: (*
      Dialog Title: Packet Masks and Options
      <p>
      This command is used to choose I/O Options and Super Packet Masks.
      <p>
    *);
  end PackMasksAndOptions;

  object SuperPacketMasks
    description: (*
      The Super Packet Mask is used to turn on and off the automatic output 
      of certain packets.  This command is used to mask the output of the 
      following packets:
      <p>
	    Auto TSIP Outputs   <p>
      (On port A, B, or A and B):<br>
      Synchronous 0x8F-0B <br>
	    Event 0x8F-0B       <br>
	    Synchronous 0x8F-AD <br>
	    Event 0x8F-AD       <br>
	    0x8F-20             <p>
      (On ports A and B)<br>
	    0x8F-AB             <br>
	    0x8F-AC             
      <p>
      TSIP Packet: 0x8E-A5
    *);
  end SuperPacketMasks;

  object IOOptions
    components: PositionIO and TimingIO and VelocityIO and AuxiliaryIO;
    description: (*
      The I/O Options are stored in non-volatile memory, and include options for:
      <p>
      Position<br>
	    Velocity<br>
    	Timing<br>
    	Auxiliary
      <p>
      TSIP Packet: 0x35
    *);
  end IOOptions;

  object PositionIO
    description: (*
      These options allow the user to enable or disable:
      <p>
      Output XYZ ECEF (Packet 42)<br>
      Output LLA (Packet 4A)<br>
      LLA Output MSL geoid<br>
      LLA Input MSL geoid<br>
      Double-Precision<br>
      Output 8F-20
    *);
  end PositionIO;

  object TimingIO
    description: (*
      These options allow the user to enable or disable:
      <p>
      Position fix time tags in UTC<br>
      Compute fix on integer second<br>
      Output fix on request only<br>
      Syncronize measurments<br>
      Minimize projections
`   *);
  end TimingIO;

  object VelocityIO
    description: (*
      These options allow the user to enable or disable:
      <p>
      Output XYZ ECEF (Packet 43)<br>
      Output ENU (Packet 56)
`   *);
  end VelocityIO;

  object AuxiliaryIO
    description: (*
      These options allow the user to enable or disable:
      <p>
      Raw measurements (Packet 5A)
      Doppler smoothed codephase
`   *);
  end AuxiliaryIO;

  object Datum
    components: DatumDropBox;
    description: (*
      Dialog Title: Datum
      <p>
      This command is used to change from the default datum of WGS-84 to one 
      of the 180 pre-defined datums.  The datum is a set of 5 parameters 
      which describe an ellipsoid to convert the receiver's internal coordinate 
      system of XYZ ECEF into Latitude, Longitude, and Altitude.  
      <p>
      This will affect all calculations of LLA in all position packets unless 
      the MSL Geoid option for LLA output is selected under Packet Masks and Options.  
      <p>
      TSIP Packet:  0x8E-15
    *);
  end Datum;

  object DatumDropBox =  string
    description: (*
      A drop box containing the 180 pre-defined options for the Datum property.
      **TBD: See some appendix for all the possible values?
    *);
  end DatumDropBox;

  object PortBOutput
    description: (*
      Dialog Title: Port B Automatic Output
      <p>
      This command is used to control the automatic output of packets on port B.  
      This mask only disables automatic packet output.  Packets generated in 
      response to TSIP set or query commands will always be output by the receiver.
      <p>
      The packets that can be masked by this command are:
      <p>
      Packet 40<br>
      Packets 58, 5B<br>
      Packet 4F<br>
      Packet 58<br>
      Packet 48<br>
      Packet 49<br>
      Packet 41<br>
      Packets 6D, 46, 4B, 82<br>
      Packets 42, 43, 4A, 54, 56, 83, 84, 8F-20<br>
      Packet 5A
      <p>
      TSIP Packet: 0x8E-4D
    *);
  end PortBOutput;

  object SerialPorts
    components: PortA and PortB;
    description: (*
      Dialog Title: Serial Port Configuration
      <p>
      This command is used to set the communication parameters on port A and 
      port B or to send a break to the current port.<br>
      When setting communication parameters, the program asks the user if the 
      PC serial port parameters should be changed to match.<br>
      Sending a break to the receiver (operation SendBreak) sets the receiver 
      communication parameters to TSIP at 9600, 8-None-1.  The PC serial port 
      parameters are automatically changed to match.
      <p>
      TSIP Packet: 0xBC
    *);
  end SerialPorts;

  object Port
    components: InputProtocol and OutputProtocol and BaudRate and DataBits and
                  Parity and StopBits;
    description: (*
      A port describes how the monitor system communicates with the attached 
      receiver.
    *);
  end Port;

  object PortA extends Port
    description: (*
      Port A contains the communication settings for the first Port of the 
      receiver. (????)
      <p>
      **TBD: What is the difference between port A and port B?
    *);
  end PortA;

  object PortB extends Port
    description: (*
      Port B contains the communication settings for the second Port of the 
      receiver. (????)
      <p>
      **TBD: What is the difference between port A and port B?
    *);
  end PortB;

  object InputProtocol =  string
    description: (*
      InputProtocol describes how the monitor system interprets input from the 
      receiver.  Available settings are:
      <p>
      none<br>
      TSIP<br>
      RTCM
    *);
  end InputProtocol;

  object OutputProtocol =  string
    description: (*
      OutputProtocol describes how the monitor system interprets output from 
      the receiver.  Available settings are:
      <p>
      none<br>
      TSIP<br>
      NMEA
    *);
  end OutputProtocol;

  object BaudRate =  integer
    description: (*
      BaudRate describes the speed at which data flows between the receiver and 
      the monitor system along the serial interface.  Available settings are:
      <p>
      110<br>
      300<br>
      600<br>
      1200<br>
      2400<br>
      4800<br>
      9600<br>
      19200<br>
      38400
    *);
  end BaudRate;

  object DataBits =  integer
    description: (*
      **TBD: What are these, exactly?<br>
      Available settings are: 
      <p>
      7<br>
      8
    *);
  end DataBits;

  object Parity =  string
    description: (*
      **TBD: What =  this, exactly?<br>
      Available settings are:
      <p>
      None<br>
      Even<br>
      Odd
    *);
  end Parity;

  object StopBits =  integer
    description: (*
      **TBD: What are these, exactly?<br>
      Available settings are:
      <p>
      1<br>
      2
    *);
  end StopBits;

  operation SendBreak
    description: (*
      Resets the receiver communication parameters to TSIP at 9600, 8-None-1.
      The PC serial port parameters are automatically changed to match.
    *);
  end SendBreak;

  object TimingOutputs
    components: Characteristics and PPSOutputOptions and PPSWidth;
    description: (*
      Dialog Title: Timing Outputs
      <p>
      This command is used to set the PPS Characteristics, PPS Output, and PPS Width.
    *);
  end TimingOutputs;

  object Characteristics
    components: DriverSwitch and TimeBase and Polarity and PPSOffset and 
                BiasUncertaintyThreshold;
    description: (*
      PPS Characteristics include:
      <p>
      Driver Switch<br>
	    Time Base<br>
	    Polarity<br>
	    PPS Offset<br>
	    Bias Uncertainty Threshold
      <p>
      TSIP Packet: 0x8E-4A
    *);
  end Characteristics;
  
  object DriverSwitch =  boolean
    description: (*
      Driver Switch can be either enabled or disabled.
    *);
  end DriverSwitch;

  object TimeBase =  boolean
    description: (*
      Time Base can be either GPS or UTC.
    *);
  end TimeBase;

  object Polarity =  boolean
    description: (*
      Polarity can be either positive or negative.
    *);
  end Polarity;

  object PPSOffset =  real
    description: (*
      PPS Ofset is measrued in seconds.
    *);
  end PPSOffset;

  object BiasUncertaintyThreshold =  real
    description: (*
      Bias Uncertainty Threshold is measured in meters.
    *);
  end BiasUncertaintyThreshold;

  object PPSOutputOptions =  string
    description: (*
      Setting the PPS Output sets the driver switch to one of the following values:
      <p>
      PPS is always output<br>
    	PPS is output when at least one satellite is tracking<br>
    	PPS is output when at least three satellites are tracking<
      <p>
      Note: Driver switch values "one satellite" and "three satellites" only make 
      sense in Overdetermined Timing mode.  In any position fix mode the effective 
      choices are ‘always on’ or ‘during fixes’ which you get if you set the 
      driver switch to wither of the last two choices.
      <p>
      TSIP Packet: 0x8E-4E
    *);
  end PPSOutputOptions;

  object PPSWidth =  real
    description: (*
      The PPS Width may be set to a value in the range 10 microseconds to 500 
      milliseconds. (Acutime 2000 only)
      <p>
      TSIP Packet: 0x8E-4F
    *);
  end PPSWidth;

  object SelfSurvey
    components: SelfSurveyLimitField;
    description: (*
      Dialog Title: Self Survey
      <p>
      This command is used to set the self-survey parameters.  These parameters 
      include:
      <p>
      Enable Self-Survey
    	Auto Save Position
	    Self-Survey Limit

      The default is self-survey enabled, auto save position disabled, and 
      self-survey limit of 2000.
      <p>
      TSIP Packet: 0x8F-A9
    *);
  end SelfSurvey;

  object SelfSurveyLimitField =  integer
    description: (*
      **TBD: What does this do?
    *);
  end SelfSurveyLimitField;

  object NMEAOutput
    components: OutputIntervalField;
    description: (*
      This command is used to set the NMEA message mask and output interval.<br>
      NMEA messages include:
      <p>
      GGA<br>
	    GLL<br>
	    VTG<br>
	    GSV<br>
	    GSA<br>
	    ZDA<br>
	    RMC
      <p>
      TSIP Packet: 0x7A
    *);
  end NMEAOutput;

  object OutputIntervalField =  integer
    description: (*
      If a message in NMEAOutput is masked on, it is output by the receiver 
      every "interval" seconds.
    *);
  end OutputIntervalField;

  operation RevertSegmentToDefault
    description: (*
      This command reverts the parameters stored in the selected EEPROM segment 
      or segments to their factory default settings and reconfigures the timing 
      receiver using those settings.<br>
      Segments include:
      <p>
      Receiver Configuration<br>
    	Packet I/O Control<br>
    	Serial Port Configuration<br>
    	Timing Outputs<br>
    	Accurate Position<br>
    	Self-Survey Configuration<br>
    	NMEA Configuration<br>
    	UTC Information
      <p>
      Note: Reverting a segment to default causes all the configuration segments 
      to be saved to EEPROM.
      <p>
      TSIP Packet: 0x8E-45
    *);
  end RevertSegmentToDefault;

  operation SaveConfigurationSegments
    description: (*
      This command causes the current configuration settings to be written to 
      the EEPROM.
      <p>
      TSIP Packet: 0x8E-26
    *);
  end SaveConfigurationSegments;

  operation DefaultAllSegments
    description: (*
      This command reverts the parameters stored in all the EEPROM segments to 
      their factory default settings and reconfigures the timing receiver using 
      those settings.
      <p>
      TSIP Packet: 0x8E-45
    *);
  end DefaultAllSegments;

end Setup;

(****
 *
 * Module Window defines the dialogs that will be displayed when a user selects
 * each of the different Window menu items.
 *
 *)

module Window;

  object AdditionalTimingPackets
    components: PrimaryUTCTime and EventTime and ComprehensiveTime;
    operations: Refresh;
    description: (*
      This command displays the additional timing packets Primary UTC Time 
      (0x8F-AD) and Comprehensive Time (0x8F-0B).  The program queries the 
      receiver for the packets when the command is first issued.  If the 
      packets are not continually updated the receiver might not be masked 
      to automatically output them or the program might not be connected to 
      the correct receiver port.  To change the packet output masks choose 
      Packet Masks and Options under the Setup menu.

      TSIP Packets: 0x8F-0B (Comprehensive Time), 0x8F-AD (Primary UTC Time)
    *);
  end AdditionalTimingPackets;

  operation Refresh
    description: (*
      Refreshes the information displayed in the Additional Timing Packets dialog.
    *);
  end Refresh;

  object PrimaryUTCTime
    components: UTCTime and Date and Status and UTCAvailable and LeapScheduled
                and LeapPending and GPSLeapWarning and LeapInProgress;
    description: (*
      TBD: Look up what this stuff really is.<br>
      TSIP Packet: 0x8F-0B
    *);
  end PrimaryUTCTime;

  object UTCTime =  string
    description: (*
      The current time from the satelite network.
    *);
  end UTCTime;

  object Date =  string
    description: (*
      The current date.
    *);
  end Date;

  object Status =  string
    description: (*
      Status information.
    *);
  end Status;

  object UTCAvailable =  boolean
    description: (*
      Displays whether UTC =  available or not.
    *);
  end UTCAvailable;

  object LeapScheduled =  boolean
    description: (*
      Displays whether a Leap is schedules or not.
    *);
  end LeapScheduled;

  object LeapPending =  boolean
    description: (*
      Displays whether a Leap is pending or not.
    *);
  end LeapPending;

  object GPSLeapWarning =  boolean
    description: (*
      Warns the user that a leap is pending.
    *);
  end GPSLeapWarning;

  object LeapInProgress =  boolean
    description: (*
      Informs the user that a Leap is in progess.
    *);
  end LeapInProgress;

  object EventTime
    components: Counter and Time;
    operations: EventCapture;
    description: (*
      TBD
    *);
  end EventTime;

  object Counter =  integer
    description: (*
      TBD: is this really an integer?  Run TR_Mon with the receiver to find out.
    *);
  end Counter;

  operation EventCapture
    description: (*
      TBD: Findout what this does.
    *);
  end EVentCapture;

  object Time =  string
    description: (*
      TBD: not really sure what this is yet.
    *);
  end Time;
    
  object ComprehensiveTime
    components: GPSTime and UTCTime and TOW and Date and UTCOffset and Latitude
                and Longitude and Altitude and ReceiverMode and Bias and 
                BiasUncertainty and DriftRate and DriftUncertainty and SatList;
    description: (*
      A more comprehensive view of the information received with the Additional 
      Timing Packets.
    *);
  end ComprehensiveTime;

  object TOW =  integer
    description: (*
        TOW stands for Time of Week.  This field represents the number of seconds since Sunday 
        at  00:00:00 GPS time for the current GPS week.
    *);
  end TOW;

  object GPSTime =  string
    description: (*
      TBD
    *);
  end GPSTime;

  object UTCOffset =  string
    description: (*
      TBD
    *);
  end UTCOffset;

  object ReceiverMode =  string
    description: (*
      TBD
    *);
  end ReceiverMode;

  object Bias =  string
    description: (*
      TBD
    *);
  end Bias;

  object BiasUncertainty =  string
    description: (*
      TBD
    *);
  end BiasUncertainty;

  object DriftRate =  string
    description: (*
      TBD
    *);
  end DriftRate;

  object DriftUncertainty =  string
    description: (*
      TBD
    *);
  end DriftUncertainty;

  object SatList =  Sat*
    description: (*
      TBD: why is a satelite shown in this collection of sats on the ATP dialog?
    *);
  end SatList;

  object Sat =  integer
    description: (*
      Satelite in a list of Satelites in the ATP dialog.
    *);
  end Sat;

  object VelocityAndPositioning
    components: ECEFVelocity and ECEFPosition and ENUVelocity and LLAPosition;
    description: (*
      Dialog Title: Velocity And Positioning
      <p>
      This command displays additional velocity and positioning packets.  The 
      packets displayed depend on the I/O options set for the receiver and the 
      receiver mode.  To change the I/O options choose Packet Masks and Options 
      under the Setup menu.  To change the receiver mode choose GPS Settings 
      under the Setup menu.
      <p>
      Packets that may be displayed in this window include:<br>
      XYZ ECEF Velocity (0x43)  <br>
    	ENU Velocity (0x56)<br>
    	Single Precision LLA Position (0x4A)<br>
    	Double Precision LLA Position (0x84)<br>
    	Single Precision XYZ ECEF Position (0x42)<br>
    	Double Precision XYZ ECEF Position (0x83)
      <p>
      TSIP Packets: 0x42, 0x43, 0x4A, 0x56, 0x83, 0x84
    *);
  end VelocityAndPositioning;

  object ECEFVelocity
    components: XVel and YVel and ZVel and ECEFBiasRate;
    description: (*
      Displays the current velocity data obtained from the receiver in ECEF format.
      <p>
      TSIP Packet: 0x43
    *);
  end ECEFVelocity;

  object XVel =  real
    description: (*
      The current "X" velocity from the receiver.
    *);
  end XVel;

  object YVel =  real
    description: (*
      The current "Y" velocity from the receiver.
    *);
  end YVel;

  object ZVel =  real
    description: (*
      The current "Y" velocity from the receiver.
    *);
  end ZVel;

  object ECEFBiasRate =  real
    description: (*
      TBD
    *);
  end ECEFBiasRate;

  object ECEFPosition
    components: XPos and YPos and ZPos and ECEFBias;
    description: (*
      Displays the current position data obtained from the receiver in ECEF format.
      <p>
      TSIP Packets: 0x42, 0x83
    *);
  end ECEFPosition;

  object XPos =  real
    description: (*
      The current "X" position from the receiver.
    *);
  end XPos;

  object YPos =  real
    description: (*
      The current "Y" position from the receiver.
   *);
  end YPos;

  object ZPos =  real
    description: (*
      The current "Z" position from the receiver.
    *);
  end ZPos;

  object ECEFBias =  real
    description: (*
      TBD
    *);
  end ECEFBias;

  object ENUVelocity
    components: East and North and Up and ENUBiasRate;
    description: (*
      Displays the current velocity data obtained from the receiver in ENU format.
      <p>
      TSIP Packet: 0x56
    *);
  end ENUVelocity;

  object East =  real
    description: (*
      The current "X" velocity from the receiver.
    *);
  end East;

  object North =  real
    description: (*
      The current "Y" velocity from the receiver.
    *);
  end North;

  object Up =  real
    description: (*
      The current "Z" velocity from the receiver.
    *);
  end Up;

  object ENUBiasRate =  real
    description: (*
      TBD
    *);
  end ENUBiasRate;

  object LLAPosition
    components: Latitude and Longitude and Altitude and LLABias;
    description: (*
      Displays the current position data obtained from the receiver in ECEF format.
      <p>
      TSIP Packets: 0x4A, 0x84
    *);
  end ECEFVelocity;

  object Latitude =  real
    description: (*
      The current "X" position from the receiver.
    *);
  end Latitude;

  object Longitude =  real
    description: (*
      The current "Y" position from the receiver.
    *);
  end Longitude;

  object Altitude =  real
    description: (*
      The current "Z" position from the receiver.
    *);
  end Altitude;

  object LLABias =  real
    description: (*
      TBD
    *);
  end LLABias;

  object TrackStatus
    components: StatusFieldList and SVSelectionList and PDOP and HDOP and VDOP 
                and VDOP;
    description: (*
      Dialog Title: Tracking Status
      <p>
      This command displays information about the satellites the receiver is 
      tracking, a list of satellites being used in the fix, and PDOP, HDOP, 
      VDOP, and TDOP information.
      <p>
      TSIP Packets: 0x5C, 0x6D
    *);
  end TrackStatus;

  object StatusFieldList =  StatusField*
    description: (*
      A collection of StatusField objects that display information about satelites
      the receiver is tracking.
    *);
  end StatusFieldList;

  object StatusField =  string
    description: (*
      Displays the SV, Chan, Acq, Eph, AMU, Time, Elev, and Azim information of 
      a single satelite.
    *);
  end StatusField;

  object SVSelectionList =  string
    description: (*
      Displays the list of satelites that the receiver is currently tracking.
      <p>TBD: is this true?
    *);
  end SVSelectionList;

  object PDOP =  real
    description: (*
      Displays the current Position Dilution of Precision.
    *);
  end PDOP;

  object HDOP =  real
    description: (*
      Displays the current Horizontal Dilution of Precision.
    *);
  end HDOP;

  object VDOP =  real
    description: (*
      Displays the current Vertical Dilution of Precision.
    *);
  end VDOP;

  object TDOP =  real
    description: (*
      Displays the current Time Dilution of Precision.
    *);
  end TDOP;

  object EEPROMSegmentStatus
    description: (*
      This command displays the EEPROM segment status for all segments.  A yellow 
      LED indicates that the EEPROM segment was found to be corrupt at reset and 
      had to be set to its factory default setting.  Exercising this command 
      clears the EEPROM status minor alarm bit in packet 0x8F-AC, causing the 
      EEPROM Invalid LED on the Minor Alarms section of the main screen to be set 
      to green.
      <p>
      The LEDs on this dialog display:
      <p>
      Manufacturing parameters<br>
      Production Parameters<br>
      Receiver configuration<br>
      Packet I/O control<br>
      Serial port configuration<br>
      Timing output configuration<br>
      Accurate position<br>
      Self-survey configuration<br>
      NMEA configuration<br>
      UTC information
      <p>
      TSIP Packets:  0x3F-11
    *);
  end EEPROMSegmentStatus;

  object RawMeasurementData
    components: RawSateliteDataList;
    description: (*
      Dialog Title: Raw Measurement Data
      <p>
      This command displays raw GPS measurement data for all satellites the 
      receiver is tracking.  If the Raw Measurement option in the Auxiliary 
      section of I/O Options packet 0x35 is turned on, this data will be updated 
      each second.  To turn on the option choose Packet Masks and Options under 
      the Setup menu.
      <p>
      Note: This packet provides the raw satellite signal measurement information 
      used in computing a fix.
      <p>
      TSIP Packets: 0x5A
    *);
  end RawMeasurementData;

  object RawSateliteDataList =  RawSateliteData*
    description: (*
      The collection of raw information from each satelite the receiver is tracking.
    *);
  end RawSateliteDataList;

  object RawSateliteData
    components: SampleLength and SignalLevel and Doppler and CodePhase and 
                TimeofMeasurement;
    description: (*
      Displays the Sample Length, Signal Level, Soppler, Code PHase, and Time of 
      Measurement data for a satelite.
    *);
  end RawSateliteData;

  object SampleLength =  integer
    description: (*
      The sample length of the satelite, displayed in milliseconds.
    *);
  end SampleLength;

  object SignalLevel =  real
    description: (*
      The Signal Level of the saetlite, displayed in AMU.
    *);
  end SignalLevel;

  object Doppler =  real
    description: (*
      The Doppler information of the satelite, displayed in 1/16 chip.
    *);
  end Doppler;

  object CodePhase =  real
    description: (*
      The Code Phase of the satelite, displayed in Hertz.
    *);
  end CodePhase;

  object TimeofMeasurement =  integer
    description: (*
      The Time of the measurement, displayed in seconds.
    *);
  end TimeofMeasurement;

  object EphemerisStatus
    components: SateliteEphemerisStatusList;
    description: (*
      Dialog Title: Ephemeris Status
      <p>
      This command displays the status of the ephemeris in the receiver for 
      each satellite.  The information is updated when the refresh button is 
      clicked or when a new ephemeris is received.
      <p>
      TSIP Packet: 0x5B
    *);
  end EphemerisStatus;

  object SateliteEphemerisStatusList =  SateliteEphemerisStatus*
    description: (*
      The collection of Ephemeris Statuses for each satelite.
    *);
  end RawSateliteDataList;

  object SateliteEphemerisStatus
    operations: RefreshEphemeris;
    components: TimeOfCollection and Health and IODE and toe and 
                FitIntervalFlag and Accuracy;
    description: (*
      Displays the TimeOfCollection, Health, IODE, toe, and Fit Interval Flag 
      and Accuracy (AMU) information for a satelite.
    *);
  end SateliteEphemerisStatus;

  object TimeOfCollection =  integer
    description: (*
      The time that the ephemeris was collected, displayed in seconds.
    *);
  end TimeOfCollection;

  object Health =  string
    description: (*
      The health of the saetlite.
    *);
  end Health;

  object IODE =  string
    description: (*
      The IODE of the satelite.
    *);
  end IODE;

  object toe =  integer
    description: (*
      The toe of the satelite, displayed in seconds.
    *);
  end toe;

  object FitIntervalFlag =  string
    description: (*
      The Fir Interval Flag of the satelite.
    *);
  end FitIntervalFlag;

  object Accuracy =  real
    description: (*
      The Accuracy of the URA, displayed in meters.
    *);
  end Accuracy;

  operation RefreshEphemeris
    description: (*
      Manually rephreshes the ephemeris data for the displayed satelite.
    *);
  end RefreshEphemeris;

  object Testing
    description: (* Testing *);
  end Testing;

  object ProductInfo
    description: (*
    The command displays software version information, manufacturing parameters, and production parameters for the receiver.  The Product Info screen can alternatively be accessed by clicking on the firmware version number in the status bar of the main screen.
<p>
TSIP Packet: 0x45 (software version), 0x8F-41 (manufacturing parameters), 0x8F-42 (production parameters)
    *);
  end ProductInfo;

  object AlmanacData
    description: (*
    This command displays almanac information for each satellite.
<p>
TSIP Packet: 0x40    *);
  end AlmanacData;
    
  object AlmanacHealthPage
    description: (*
    This command displays health information for each satellite.  A value "0" indicates that the satellite is healthy; all other values indicate that the satellite is unhealthy.
<p>
TSIP Packet: 0x49
    *);
  end AlmanacHealthPage;

  object UTCParameters
    description: (*
    This command displays the UTC information broadcast by the GPS system.  For details on the meanings of the parameters, consult ICD-200, sections 20.3.3.5.2.4, 20.3.3.5.1.8, and Table 20-IX.  On the simplest level, to get UTC time from GPS time, subtract DTLS seconds.  The other information displayed in this packet indicates when the next leap second is set to occur.
<p>
TSIP Packet: 0x4F
    *);
  end UTCParameters;

end Window;