blob: 47aae14cfdbddf559cc2a52f74758b89f0b1c077 [file] [log] [blame]
David Tolnaya83301c2020-04-30 20:32:37 -07001use crate::syntax::check::Check;
David Tolnay8faec772020-11-02 00:18:19 -08002use crate::syntax::{error, Api, Pair};
David Tolnay7db73692019-10-20 14:51:12 -04003use proc_macro2::Ident;
David Tolnay7db73692019-10-20 14:51:12 -04004
David Tolnay6b6423e2020-04-30 20:46:24 -07005fn check(cx: &mut Check, ident: &Ident) {
David Tolnay7db73692019-10-20 14:51:12 -04006 let s = ident.to_string();
David Tolnaya83301c2020-04-30 20:32:37 -07007 if s.starts_with("cxxbridge") {
8 cx.error(ident, error::CXXBRIDGE_RESERVED.msg);
9 }
David Tolnay7db73692019-10-20 14:51:12 -040010 if s.contains("__") {
David Tolnaya83301c2020-04-30 20:32:37 -070011 cx.error(ident, error::DOUBLE_UNDERSCORE.msg);
David Tolnay7db73692019-10-20 14:51:12 -040012 }
13}
14
David Tolnay8faec772020-11-02 00:18:19 -080015fn check_ident(cx: &mut Check, name: &Pair) {
16 for segment in &name.namespace {
David Tolnay6b6423e2020-04-30 20:46:24 -070017 check(cx, segment);
18 }
David Tolnay8faec772020-11-02 00:18:19 -080019 check(cx, &name.cxx);
Adrian Taylorc8713432020-10-21 18:20:55 -070020}
David Tolnay6b6423e2020-04-30 20:46:24 -070021
Adrian Taylorc8713432020-10-21 18:20:55 -070022pub(crate) fn check_all(cx: &mut Check, apis: &[Api]) {
David Tolnay7db73692019-10-20 14:51:12 -040023 for api in apis {
24 match api {
David Tolnay7e69f892020-10-03 22:20:22 -070025 Api::Include(_) | Api::Impl(_) => {}
David Tolnay7db73692019-10-20 14:51:12 -040026 Api::Struct(strct) => {
David Tolnay17a934c2020-11-02 00:40:04 -080027 check_ident(cx, &strct.name);
David Tolnay7db73692019-10-20 14:51:12 -040028 for field in &strct.fields {
David Tolnaya83301c2020-04-30 20:32:37 -070029 check(cx, &field.ident);
David Tolnay7db73692019-10-20 14:51:12 -040030 }
31 }
Joel Galensonc03402a2020-04-23 17:31:09 -070032 Api::Enum(enm) => {
David Tolnay17a934c2020-11-02 00:40:04 -080033 check_ident(cx, &enm.name);
Joel Galensonc03402a2020-04-23 17:31:09 -070034 for variant in &enm.variants {
David Tolnaye6f62142020-12-21 16:00:41 -080035 check(cx, &variant.name.rust);
Joel Galensonc03402a2020-04-23 17:31:09 -070036 }
37 }
David Tolnay7db73692019-10-20 14:51:12 -040038 Api::CxxType(ety) | Api::RustType(ety) => {
David Tolnay17a934c2020-11-02 00:40:04 -080039 check_ident(cx, &ety.name);
David Tolnay7db73692019-10-20 14:51:12 -040040 }
41 Api::CxxFunction(efn) | Api::RustFunction(efn) => {
David Tolnay17a934c2020-11-02 00:40:04 -080042 check(cx, &efn.name.rust);
David Tolnay7db73692019-10-20 14:51:12 -040043 for arg in &efn.args {
David Tolnaya83301c2020-04-30 20:32:37 -070044 check(cx, &arg.ident);
David Tolnay7db73692019-10-20 14:51:12 -040045 }
46 }
David Tolnay3118fa62020-05-07 17:10:39 -070047 Api::TypeAlias(alias) => {
David Tolnay17a934c2020-11-02 00:40:04 -080048 check_ident(cx, &alias.name);
David Tolnay3118fa62020-05-07 17:10:39 -070049 }
David Tolnay7db73692019-10-20 14:51:12 -040050 }
51 }
52}