コード例 #1
0
        private void ProcessDocketDisplay()
        {
            string casenum = PACER.GetCaseNumberFromUrl(this.previous);

            if (!String.IsNullOrEmpty(casenum))
            {
                string filename = PACER.GetBaseNameFromUrl(this.url).Replace(".pl", ".html");
                UploadDocket(this.court, casenum, filename, "text/html", this.document.documentElement.innerHTML, (success) => {
                    if (success)
                    {
                        this.ShowUploadNotification("Docket uploaded to the public archive.");
                    }
                });
            }
        }
コード例 #2
0
        private void ProcessDocketQuery()
        {
            GetAvailabilityForDocket(this.court, PACER.GetCaseNumberFromUrl(url), (responseData) => {
                CaseQueryResponse caseQueryResponse = (CaseQueryResponse)responseData;
                if (!String.IsNullOrEmpty(caseQueryResponse.docket_url))
                {
                    // <a title="..." href="..."><img src="..."/> ... </a>
                    IHTMLElement a = this.document.createElement("a");
                    a.setAttribute("title", "Docket is available for free from RECAP.");
                    a.setAttribute("href", caseQueryResponse.docket_url);

                    IHTMLElement img = this.document.createElement("img");
                    img.setAttribute("src", "file://" + Path.Combine(typeof(RECAP).Assembly.Location, "icon-16.png"));

                    a.innerText = " Get this docket as of " + caseQueryResponse.timestamp + " for free from RECAP.";
                    ((HTMLAnchorElement)a).insertAdjacentElement("afterBegin", img);

                    // <br/>
                    IHTMLElement br = this.document.createElement("br");

                    // <small> ... </small>
                    IHTMLElement small = this.document.createElement("small");
                    small.innerText    = "Note that archived dockets may be out of date.";

                    // <div class="recap-banner">
                    //   <a> ... </a>
                    //   <br/>
                    //   <small> ... </small>
                    // </div>
                    IHTMLElement div = this.document.createElement("div");
                    div.setAttribute("className", "recap-banner");
                    ((HTMLDivElement)div).insertAdjacentElement("beforeEnd", a);
                    ((HTMLDivElement)div).insertAdjacentElement("beforeEnd", br);
                    ((HTMLDivElement)div).insertAdjacentElement("beforeEnd", small);

                    // <form><div> ... </div></form>
                    foreach (IHTMLElement form in this.document.getElementsByTagName("form"))
                    {
                        ((HTMLFormElement)form).insertAdjacentElement("beforeEnd", div);
                    }
                }
            });
        }