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) { 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); }