/// <summary>
 /// Creates a PlanetLab manager run history and saves it to a file.
 /// </summary>
 /// <param name="id">The history identifier.</param>
 /// <param name="state">The manager state.</param>
 public void Save(PlManagerHistoryId id, PlManagerState state)
 {
     // Create a new XML document.
     XDocument document = new XDocument();
 }
 /// <summary>
 /// Opens the history run with the specified identifier.
 /// </summary>
 /// <param name="id">The history identifier.</param>
 /// <returns>The manager history run.</returns>
 public PlManagerHistoryRun Open(PlManagerHistoryId id)
 {
     // Open the history from the file.
     using (FileStream file = new FileStream(id.FileName, FileMode.Open))
     {
         // Deserialize the history run.
         return file.Deserialize<PlManagerHistoryRun>();
     }
 }
        /// <summary>
        /// Adds a new manager state to the the manager history.
        /// </summary>
        /// <param name="state">The manager state.</param>
        /// <returns>The manager history identifier.</returns>
        public PlManagerHistoryId Add(PlManagerState state)
        {
            // Create a new run identifier for the specified state.
            PlManagerHistoryId id = new PlManagerHistoryId(state.Slice.Id, state.StartTime, state.FinishTime);

            // Save the history to the file.
            using (PlManagerHistoryRun run = new PlManagerHistoryRun(state))
            {
                // Ensure the file directory exists.
                if (DotNetApi.IO.Directory.EnsureFileDirectoryExists(id.FileName))
                {
                    // Create the new file.
                    using (FileStream file = new FileStream(id.FileName, FileMode.Create))
                    {
                        run.Serialize(file);
                    }
                }
            }

            // Add the history to the list.
            this.runs.Add(id);

            // Return the identifier.
            return id;
        }
Пример #4
0
 /// <summary>
 /// Adds a new run with the specified identifier.
 /// </summary>
 /// <param name="id">The history identifier.</param>
 private void OnAddHistory(PlManagerHistoryId id)
 {
     // Add the identifier to the combo box.
     this.comboBoxHistoryRun.Items.Add(id);
 }