Rash thoughts about .NET, C#, F# and Dynamics NAV.

<?xml version="1.0" encoding="utf-8" ?>
<configuration>
    <configSections>
        <sectionGroup name="userSettings" type="...">
            <section name="DBCopyService.Properties.Settings"
              type="..." 
              allowExeDefinition="MachineToLocalUser" 
              requirePermission="false" />
        </sectionGroup>
    </configSections>
    <userSettings>
        <DBCopyService.Properties.Settings>
            <setting name="ServerName" serializeAs="String">
                <value>serverName</value>
            </setting>
        </DBCopyService.Properties.Settings>
    </userSettings>    
</configuration>

<?xml version="1.0" encoding="utf-8" ?>
<configuration>
    <configSections>
      <sectionGroup name="DBCopyService">
        <section name="entrances" 
          type="DBCopyService.EntranceSection,DBCopyService" />
       </sectionGroup>
    </configSections>
    <DBCopyService>
      <entrances>
        <entrance name="entrance1" path="C:\Eingang\" 
          mailAddress="mail@server.de"  />
        <entrance name="entrance2" path="C:\Eingang2\" 
          mailAddress="mail2@server.de"  />
      </entrances>
    </DBCopyService>    
</configuration>

using System;
using System.Collections.Generic;
using System.Text;
using System.Configuration;

namespace DBCopyService
{
    public sealed class EntranceElement : ConfigurationElement
    {
        /// <summary>
        /// Gets or sets the name.
        /// </summary>
        /// <value>The name.</value>
        [ConfigurationProperty("name", IsKey = true, IsRequired = true)]
        public string Name
        {
            get { return (string)base["name"]; }
            set { base["name"] = value; }
        }

        /// <summary>
        /// Gets or sets the mail address.
        /// </summary>
        /// <value>The mail address.</value>
        [ConfigurationProperty("mailAddress", IsRequired = true)]
        public string MailAddress
        {
            get { return (string)base["mailAddress"]; }
            set { base["mailAddress"] = value; }
        }

        /// <summary>
        /// Gets or sets the path.
        /// </summary>
        /// <value>The path.</value>
        [ConfigurationProperty("path", IsRequired = true)]
        public string Path
        {
            get { return (string)base["path"]; }
            set { base["path"] = value; }
        }
    }
}

using System;
using System.Collections.Generic;
using System.Text;
using System.Configuration;

namespace DBCopyService
{
    public sealed class EntranceCollection 
      : ConfigurationElementCollection
    {
        protected override ConfigurationElement 
          CreateNewElement()
        {
            return new EntranceElement();
        }

        protected override object GetElementKey(
          ConfigurationElement element)
        {
            return ((EntranceElement)element).Name;
        }

        public override ConfigurationElementCollectionType 
          CollectionType
        {
            get
            { 
               return 
                 ConfigurationElementCollectionType.BasicMap; 
            }
        }

        protected override string ElementName
        {
            get{ return "entrance"; }
        }
    }
}

using System;
using System.Collections.Generic;
using System.Text;
using System.Configuration;

namespace DBCopyService
{
    public sealed class EntranceSection : ConfigurationSection
    {
        [ConfigurationProperty("", IsDefaultCollection = true)]
        public EntranceCollection Entrances
        {
            get { return (EntranceCollection)base[""]; }
        }
    }
}

EntranceSection entranceSection = 
  ConfigurationManager.GetSection("DBCopyService/entrances") 
    as EntranceSection;
        
foreach (EntranceElement element in entranceSection.Entrances)
  Console.WriteLine(
    string.Format("Path {0}, Mail {1}",
      element.Path,
      element.MailAddress));

using System;
using System.Collections.Generic;
using System.Text;
using System.ComponentModel;
using System.IO;
using System.Diagnostics;

namespace DBCopyService
{
    /// <summary>
    /// This BackgroundWorker copies the file async 
    /// from source to target
    /// </summary>
    public class BackgroundCopyWorker : BackgroundWorker
    {
        private string sourceFile;
        private string targetFile;

        public BackgroundCopyWorker
          (string sourceFile, string targetFile) : base()
        {
            this.sourceFile = sourceFile;
            this.targetFile = targetFile;
            DoWork += new DoWorkEventHandler(bcw_DoWork);
            RunWorkerCompleted += 
               new RunWorkerCompletedEventHandler                
                 (bcw_RunWorkerCompleted);
            RunWorkerAsync();  // Start new Thread
        }

        void bcw_RunWorkerCompleted(
          object sender, RunWorkerCompletedEventArgs e)
        {
            Trace.WriteLine(string.Format("{0} copied to {1}", 
               sourceFile, targetFileName));
        }

        void bcw_DoWork(object sender, DoWorkEventArgs e)
        {
            try
            {
                Trace.WriteLine(string.Format("Copy {0} to {1}", 
                  sourceFile, targetFile));

                FileInfo SourceFile = new FileInfo(sourceFile);
                FileInfo TargetFile = new FileInfo(targetFile);

                SourceFile.CopyTo(TargetFile.FullName, true);
            }
            catch (Exception ex)
            {
                Trace.TraceError(ex.Message);
            }
        }
    }
}

new BackgroundCopyWorker(originalFileName, targetFileName);

// Consolenstart
static void Main(string[] args)
{
    FDBWatcher fdbWatcher = new FDBWatcher();
    Console.ReadLine();  
}


class FDBWatcher
{
    private string warehousePath = @"C:\\Test\\Lager\\";
    private string originalPath = @"C:\\Test\\Original\\";
    private string targetEndingFilter = "*.fdb";

    public FDBWatcher()
    {
        FileSystemWatcher fdbWatcher = 
          new FileSystemWatcher(
            warehousePath, targetEndingFilter);
        fdbWatcher.EnableRaisingEvents = true;
        fdbWatcher.IncludeSubdirectories = false;

        fdbWatcher.Deleted +=
          new FileSystemEventHandler(fdbWatcher_Deleted);

        Console.Write("FileSystem Watcher started");
    }

    private void fdbWatcher_Deleted(object sender, 
        FileSystemEventArgs e)
    {
        Console.WriteLine("File {0} deleted", e.FullPath);
        FileInfo oldFile = new FileInfo(e.FullPath);

        FileInfo originalFile = 
          new FileInfo(originalPath + oldFile.Name);
        originalFile.CopyTo(oldFile.FullName);

        Console.WriteLine(
          "Copy {0} to {1}", originalFile, oldFile);
    }
}

IF A AND B THEN
  MESSAGE('A and B');

...

PROCEDURE A@1000000001() : Boolean;
BEGIN
  MESSAGE('A');
  EXIT(FALSE);
END;

PROCEDURE B@1000000002() : Boolean;
BEGIN
  MESSAGE('B');
  EXIT(TRUE);
END;

if (A() && B())
    MessageBox.Show("A and B";

...

bool A()
{
    MessageBox.Show("A");
    return false;
}

bool B()
{
    MessageBox.Show("B");
    return true;
}