2021-02-26 22:55:08 +00:00
|
|
|
//@ edition:2018
|
|
|
|
|
2024-07-19 16:50:47 +02:00
|
|
|
//@ is "$.index[*][?(@.name=='mod1')].inner.module.is_stripped" "true"
|
2021-02-26 22:55:08 +00:00
|
|
|
mod mod1 {
|
|
|
|
extern "C" {
|
2024-07-19 16:50:47 +02:00
|
|
|
//@ set public_fn_id = "$.index[*][?(@.name=='public_fn')].id"
|
2021-02-26 22:55:08 +00:00
|
|
|
pub fn public_fn();
|
2024-07-19 16:50:47 +02:00
|
|
|
//@ !has "$.index[*][?(@.name=='private_fn')]"
|
2021-02-26 22:55:08 +00:00
|
|
|
fn private_fn();
|
|
|
|
}
|
2024-07-19 16:50:47 +02:00
|
|
|
//@ ismany "$.index[*][?(@.name=='mod1')].inner.module.items[*]" $public_fn_id
|
|
|
|
//@ set mod1_id = "$.index[*][?(@.name=='mod1')].id"
|
2021-02-26 22:55:08 +00:00
|
|
|
}
|
|
|
|
|
2024-08-05 00:44:35 +01:00
|
|
|
//@ is "$.index[*][?(@.inner.use)].inner.use.is_glob" true
|
|
|
|
//@ is "$.index[*][?(@.inner.use)].inner.use.id" $mod1_id
|
|
|
|
//@ set use_id = "$.index[*][?(@.inner.use)].id"
|
2024-07-19 16:50:47 +02:00
|
|
|
//@ ismany "$.index[*][?(@.name=='glob_extern')].inner.module.items[*]" $use_id
|
2021-02-26 22:55:08 +00:00
|
|
|
pub use mod1::*;
|