Beispiel #1
0
        public void Save(string filename)
        {
            string ext = System.IO.Path.GetExtension(filename).ToLower();

            if (ext != ".vdx")
            {
                throw new System.ArgumentException("only .vdx extension is supported", nameof(filename));
            }
            var vdxWriter = new VDXWriter();

            vdxWriter.CreateVDX(this, this.dom, filename);
        }
Beispiel #2
0
 public void Save(string filename)
 {
     string ext = System.IO.Path.GetExtension(filename).ToLower();
     if (ext!=".vdx")
     {
         throw new System.ArgumentException("only .vdx extension is supported",nameof(filename));
     }
     var vdxWriter = new VDXWriter();
     vdxWriter.CreateVDX(this, this.dom, filename);
 }
 public void Save(string filename)
 {
     var vdxWriter = new VDXWriter();
     vdxWriter.CreateVDX(this, this.dom, filename);
 }