public CodeHighlightInfo(CodeHighlightInfo source) { if (source == null) { throw new ArgumentNullException("source", "The source parameter cannot be null (or Nothing)."); } }
public CodeHighlightInfo Clone() { CodeHighlightInfo codeInfo = new CodeHighlightInfo(this); return(codeInfo); }