Revert "Encode meta tags in the crate and start sketching enhanced logic for resolving crate "use" directives." due to tree bustage

This reverts commit ab3635eebe.
This commit is contained in:
Patrick Walton
2011-06-09 18:15:13 -07:00
parent 60706f1e35
commit 40e3a9fcbc
6 changed files with 35 additions and 146 deletions

View File

@@ -279,7 +279,7 @@ mod write {
*/ */
iter crate_export_metas(&ast::crate c) -> @ast::meta_item { iter crate_export_metas(ast::crate c) -> @ast::meta_item {
for (@ast::crate_directive cdir in c.node.directives) { for (@ast::crate_directive cdir in c.node.directives) {
alt (cdir.node) { alt (cdir.node) {
case (ast::cdir_meta(?v, ?mis)) { case (ast::cdir_meta(?v, ?mis)) {
@@ -293,30 +293,12 @@ iter crate_export_metas(&ast::crate c) -> @ast::meta_item {
} }
} }
} }
fn get_crate_meta(&session::session sess,
&ast::crate c, str k, str default,
iter crate_local_metas(&ast::crate c) -> @ast::meta_item { bool warn_default) -> str {
for (@ast::crate_directive cdir in c.node.directives) {
alt (cdir.node) {
case (ast::cdir_meta(?v, ?mis)) {
if (v == ast::local_meta) {
for (@ast::meta_item mi in mis) {
put mi;
}
}
}
case (_) {}
}
}
}
fn get_crate_meta_export(&session::session sess,
&ast::crate c, str k, str default,
bool warn_default) -> str {
let vec[@ast::meta_item] v = []; let vec[@ast::meta_item] v = [];
for each (@ast::meta_item mi in crate_export_metas(c)) { for each (@ast::meta_item mi in crate_export_metas(c)) {
if (mi.node.key == k) { if (mi.node.name == k) {
v += [mi]; v += [mi];
} }
} }
@@ -341,7 +323,7 @@ fn get_crate_meta_export(&session::session sess,
fn crate_meta_extras_hash(sha1 sha, &ast::crate crate) -> str { fn crate_meta_extras_hash(sha1 sha, &ast::crate crate) -> str {
fn lteq(&@ast::meta_item ma, fn lteq(&@ast::meta_item ma,
&@ast::meta_item mb) -> bool { &@ast::meta_item mb) -> bool {
ret ma.node.key <= mb.node.key; ret ma.node.name <= mb.node.name;
} }
fn len_and_str(&str s) -> str { fn len_and_str(&str s) -> str {
@@ -350,8 +332,8 @@ fn crate_meta_extras_hash(sha1 sha, &ast::crate crate) -> str {
let vec[mutable @ast::meta_item] v = [mutable]; let vec[mutable @ast::meta_item] v = [mutable];
for each (@ast::meta_item mi in crate_export_metas(crate)) { for each (@ast::meta_item mi in crate_export_metas(crate)) {
if (mi.node.key != "name" && if (mi.node.name != "name" &&
mi.node.key != "vers") { mi.node.name != "vers") {
v += [mutable mi]; v += [mutable mi];
} }
} }
@@ -359,7 +341,7 @@ fn crate_meta_extras_hash(sha1 sha, &ast::crate crate) -> str {
sha.reset(); sha.reset();
for (@ast::meta_item m_ in v) { for (@ast::meta_item m_ in v) {
auto m = m_; auto m = m_;
sha.input_str(len_and_str(m.node.key)); sha.input_str(len_and_str(m.node.name));
sha.input_str(len_and_str(m.node.value)); sha.input_str(len_and_str(m.node.value));
} }
ret truncated_sha1_result(sha); ret truncated_sha1_result(sha);
@@ -370,13 +352,13 @@ fn crate_meta_name(&session::session sess, &ast::crate crate,
auto os = str::split(fs::basename(output), '.' as u8); auto os = str::split(fs::basename(output), '.' as u8);
assert vec::len(os) >= 2u; assert vec::len(os) >= 2u;
vec::pop(os); vec::pop(os);
ret get_crate_meta_export(sess, crate, "name", str::connect(os, "."), ret get_crate_meta(sess, crate, "name", str::connect(os, "."),
sess.get_opts().shared); sess.get_opts().shared);
} }
fn crate_meta_vers(&session::session sess, &ast::crate crate) -> str { fn crate_meta_vers(&session::session sess, &ast::crate crate) -> str {
ret get_crate_meta_export(sess, crate, "vers", "0.0", ret get_crate_meta(sess, crate, "vers", "0.0",
sess.get_opts().shared); sess.get_opts().shared);
} }
fn truncated_sha1_result(sha1 sha) -> str { fn truncated_sha1_result(sha1 sha) -> str {

View File

@@ -97,7 +97,7 @@ type crate_directive = spanned[crate_directive_];
type meta_item = spanned[meta_item_]; type meta_item = spanned[meta_item_];
type meta_item_ = rec(ident key, str value); type meta_item_ = rec(ident name, str value);
type block = spanned[block_]; type block = spanned[block_];
type block_ = rec(vec[@stmt] stmts, type block_ = rec(vec[@stmt] stmts,

View File

@@ -502,75 +502,24 @@ fn get_metadata_section(str filename) -> option::t[vec[u8]] {
} }
fn metadata_matches(&vec[u8] data, fn load_crate(session::session sess,
&vec[@ast::meta_item] metas) -> bool { int cnum,
ret true; ast::ident ident,
} vec[str] library_search_paths) {
auto filename = parser::default_native_name(sess, ident);
fn find_library_crate(&session::session sess,
&ast::ident ident,
&vec[@ast::meta_item] metas,
&vec[str] library_search_paths)
-> option::t[tup(str, vec[u8])] {
let str crate_name = ident;
for (@ast::meta_item mi in metas) {
if (mi.node.key == "name") {
crate_name = mi.node.value;
break;
}
}
auto nn = parser::default_native_lib_naming(sess);
let str prefix = nn.prefix + crate_name;
// FIXME: we could probably use a 'glob' function in std::fs but it will
// be much easier to write once the unsafe module knows more about FFI
// tricks. Currently the glob(3) interface is a bit more than we can
// stomach from here, and writing a C++ wrapper is more work than just
// manually filtering fs::list_dir here.
for (str library_search_path in library_search_paths) { for (str library_search_path in library_search_paths) {
auto path = fs::connect(library_search_path, filename);
for (str path in fs::list_dir(library_search_path)) { alt (get_metadata_section(path)) {
case (option::some(?cvec)) {
let str f = fs::basename(path); sess.set_external_crate(cnum, rec(name=ident, data=cvec));
if (! (str::starts_with(f, prefix) && ret;
str::ends_with(f, nn.suffix))) {
log #fmt("skipping %s, doesn't look like %s*%s",
path, prefix, nn.suffix);
cont;
}
alt (get_metadata_section(path)) {
case (option::some(?cvec)) {
if (!metadata_matches(cvec, metas)) {
log #fmt("skipping %s, metadata doesn't match", path);
cont;
}
log #fmt("found %s with matching metadata", path);
ret some(tup(path, cvec));
}
case (_) {}
} }
case (_) {}
} }
} }
ret none;
}
fn load_library_crate(&session::session sess, log_err #fmt("can't open crate '%s' (looked for '%s' in lib search path)",
&int cnum, ident, filename);
&ast::ident ident,
&vec[@ast::meta_item] metas,
&vec[str] library_search_paths) {
alt (find_library_crate(sess, ident, metas, library_search_paths)) {
case (some(?t)) {
sess.set_external_crate(cnum, rec(name=ident,
data=t._1));
ret;
}
case (_) {}
}
log_err #fmt("can't find crate for '%s'", ident);
fail; fail;
} }
@@ -588,8 +537,8 @@ fn visit_view_item(env e, &@ast::view_item i) {
auto cnum; auto cnum;
if (!e.crate_cache.contains_key(ident)) { if (!e.crate_cache.contains_key(ident)) {
cnum = e.next_crate_num; cnum = e.next_crate_num;
load_library_crate(e.sess, cnum, ident, meta_items, load_crate(e.sess, cnum, ident,
e.library_search_paths); e.library_search_paths);
e.crate_cache.insert(ident, e.next_crate_num); e.crate_cache.insert(ident, e.next_crate_num);
e.next_crate_num += 1; e.next_crate_num += 1;
} else { } else {

View File

@@ -1992,26 +1992,20 @@ fn parse_native_mod_items(&parser p, &str native_name,
items=items); items=items);
} }
fn default_native_lib_naming(session::session sess) fn default_native_name(session::session sess, str id) -> str {
-> rec(str prefix, str suffix) {
alt (sess.get_targ_cfg().os) { alt (sess.get_targ_cfg().os) {
case (session::os_win32) { case (session::os_win32) {
ret rec(prefix="", suffix=".dll"); ret id + ".dll";
} }
case (session::os_macos) { case (session::os_macos) {
ret rec(prefix="lib", suffix=".dylib"); ret "lib" + id + ".dylib";
} }
case (session::os_linux) { case (session::os_linux) {
ret rec(prefix="lib", suffix=".so"); ret "lib" + id + ".so";
} }
} }
} }
fn default_native_name(session::session sess, str id) -> str {
auto n = default_native_lib_naming(sess);
ret n.prefix + id + n.suffix;
}
fn parse_item_native_mod(&parser p) -> @ast::item { fn parse_item_native_mod(&parser p) -> @ast::item {
auto lo = p.get_last_lo_pos(); auto lo = p.get_last_lo_pos();
auto abi = ast::native_abi_cdecl; auto abi = ast::native_abi_cdecl;
@@ -2200,7 +2194,7 @@ fn parse_meta_item(&parser p) -> @ast::meta_item {
case (token::LIT_STR(?s)) { case (token::LIT_STR(?s)) {
auto hi = p.get_hi_pos(); auto hi = p.get_hi_pos();
p.bump(); p.bump();
ret @spanned(lo, hi, rec(key = ident, ret @spanned(lo, hi, rec(name = ident,
value = p.get_str(s))); value = p.get_str(s)));
} }
case (_) { case (_) {

View File

@@ -14,7 +14,6 @@ import middle::trans;
import middle::ty; import middle::ty;
import middle::ty::path_to_str; import middle::ty::path_to_str;
import back::x86; import back::x86;
import back::link;
import util::common; import util::common;
import pretty::ppaux::lit_to_str; import pretty::ppaux::lit_to_str;
@@ -47,12 +46,6 @@ const uint tag_index_buckets_bucket = 0x13u;
const uint tag_index_buckets_bucket_elt = 0x14u; const uint tag_index_buckets_bucket_elt = 0x14u;
const uint tag_index_table = 0x15u; const uint tag_index_table = 0x15u;
const uint tag_meta_export = 0x16u;
const uint tag_meta_local = 0x17u;
const uint tag_meta_item = 0x18u;
const uint tag_meta_item_key = 0x19u;
const uint tag_meta_item_value = 0x20u;
// Type encoding // Type encoding
// Compact string representation for ty.t values. API ty_str & parse_from_str. // Compact string representation for ty.t values. API ty_str & parse_from_str.
@@ -718,41 +711,12 @@ fn write_int(&io::writer writer, &int n) {
} }
fn encode_meta_items(&ebml::writer ebml_w, &ast::crate crate) {
fn encode_meta_item(&ebml::writer ebml_w, &ast::meta_item mi) {
ebml::start_tag(ebml_w, tag_meta_item);
ebml::start_tag(ebml_w, tag_meta_item_key);
ebml_w.writer.write(str::bytes(mi.node.key));
ebml::end_tag(ebml_w);
ebml::start_tag(ebml_w, tag_meta_item_value);
ebml_w.writer.write(str::bytes(mi.node.value));
ebml::end_tag(ebml_w);
ebml::end_tag(ebml_w);
}
ebml::start_tag(ebml_w, tag_meta_export);
for each (@ast::meta_item mi in link::crate_export_metas(crate)) {
encode_meta_item(ebml_w, *mi);
}
ebml::end_tag(ebml_w);
ebml::start_tag(ebml_w, tag_meta_local);
for each (@ast::meta_item mi in link::crate_local_metas(crate)) {
encode_meta_item(ebml_w, *mi);
}
ebml::end_tag(ebml_w);
}
fn encode_metadata(&@trans::crate_ctxt cx, &@ast::crate crate) fn encode_metadata(&@trans::crate_ctxt cx, &@ast::crate crate)
-> ValueRef { -> ValueRef {
auto string_w = io::string_writer(); auto string_w = io::string_writer();
auto buf_w = string_w.get_writer().get_buf_writer(); auto buf_w = string_w.get_writer().get_buf_writer();
auto ebml_w = ebml::create_writer(buf_w); auto ebml_w = ebml::create_writer(buf_w);
// Encode the meta items
encode_meta_items(ebml_w, *crate);
// Encode and index the paths. // Encode and index the paths.
ebml::start_tag(ebml_w, tag_paths); ebml::start_tag(ebml_w, tag_paths);
auto paths_index = encode_item_paths(ebml_w, crate); auto paths_index = encode_item_paths(ebml_w, crate);

View File

@@ -1000,7 +1000,7 @@ fn print_view_item(&ps s, &@ast::view_item item) {
popen(s); popen(s);
fn print_meta(&ps s, &@ast::meta_item item) { fn print_meta(&ps s, &@ast::meta_item item) {
ibox(s, indent_unit); ibox(s, indent_unit);
word_space(s, item.node.key); word_space(s, item.node.name);
word_space(s, "="); word_space(s, "=");
print_string(s, item.node.value); print_string(s, item.node.value);
end(s); end(s);