jjrddlZddlZddlZddlZddlmZddlmZde dee fdZ de de fd Z de de fd Z y) N)Optional)WINDOWSurlreturncRd|vry|jdddjS)N:rr)splitlower)rs Z/opt/eval-harness/bench_task/venv/lib/python3.12/site-packages/pip/_internal/utils/urls.pyget_url_schemer s+ #~ 99S! Q  % % ''pathctjjtjj|}tj j dtjj|}|S)zh Convert a path to a file: URL. The path will be made absolute and have quoted path parts. file:) osrnormpathabspathurllibparseurljoinrequest pathname2url)rrs r path_to_urlrsO 77  BGGOOD1 2D ,,  w(C(CD(I JC Jrc|jds Jd|dtjj|\}}}}}|r|dk(rd}ntrd|z}nt d|tj j||z}tr9|s7t|dk\r)|d d k(r!|d tjvr |d d dvr|d d}|S)z( Convert a file: URL to a path. rz1You can only turn file: urls into filenames (not ) localhostz\\z8non-local file URIs are not supported on this platform: r/r)r z:/N) startswithrrurlsplitr ValueErrorr url2pathnamelenstring ascii_letters)r_netlocrs r url_to_pathr,s >> D :3'CD #LL11#6AvtQ V{* &Fsg N   >> & &v} 5D  IN GsN Gv++ + 1I $ABx Kr) rr( urllib.parserurllib.requesttypingrcompatrstrr rr,rr r3sT (( ( cc$S$S$r