Files
codeql/rust/ql/lib/ext/generated/rocket/repo-https-github.com-rwf2-Rocket-rocket_codegen.model.yml
2025-05-16 14:08:16 +02:00

63 lines
13 KiB
YAML

# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/rust-all
extensible: summaryModel
data:
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::Ident as crate::syn_ext::IdentExt>::with_span", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::User as crate::uri::fmt::from_uri_param::FromUriParam>::from_uri_param", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::Dynamic as crate::ops::deref::Deref>::deref", "Argument[self].Field[crate::attribute::param::Dynamic::name]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::Dynamic>::parse", "Argument[0]", "ReturnValue.Field[crate::result::Result::Err(0)].Field[crate::attribute::param::parse::Error::segment]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::Dynamic>::parse", "Argument[0]", "ReturnValue.Field[crate::result::Result::Err(0)].Field[crate::attribute::param::parse::Error::source]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::Dynamic>::parse", "Argument[1]", "ReturnValue.Field[crate::attribute::param::Parameter::Static(0)].Field[crate::name::Name::span]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::Dynamic>::parse", "Argument[1]", "ReturnValue.Field[crate::result::Result::Err(0)].Field[crate::attribute::param::parse::Error::source_span]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::Dynamic>::parse", "Argument[1]", "ReturnValue.Field[crate::result::Result::Err(0)].Field[crate::attribute::param::parse::Error::span]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::Guard as crate::ops::deref::Deref>::deref", "Argument[self].Field[crate::attribute::param::Guard::source]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::Guard>::from", "Argument[0]", "ReturnValue.Field[crate::attribute::param::Guard::source]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::Guard>::from", "Argument[1]", "ReturnValue.Field[crate::attribute::param::Guard::fn_ident]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::Guard>::from", "Argument[2]", "ReturnValue.Field[crate::attribute::param::Guard::ty]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::Parameter>::dynamic", "Argument[self].Field[crate::attribute::param::Parameter::Dynamic(0)]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::Parameter>::dynamic_mut", "Argument[self].Field[crate::attribute::param::Parameter::Dynamic(0)]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::Parameter>::guard", "Argument[self].Field[crate::attribute::param::Parameter::Guard(0)]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::Parameter>::ignored", "Argument[self].Field[crate::attribute::param::Parameter::Ignored(0)]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::Parameter>::parse", "Argument[0]", "ReturnValue.Field[crate::result::Result::Err(0)].Field[crate::attribute::param::parse::Error::segment]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::Parameter>::parse", "Argument[0]", "ReturnValue.Field[crate::result::Result::Err(0)].Field[crate::attribute::param::parse::Error::source]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::Parameter>::parse", "Argument[1]", "ReturnValue.Field[crate::result::Result::Err(0)].Field[crate::attribute::param::parse::Error::source_span]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::Parameter>::parse", "Argument[1]", "ReturnValue.Field[crate::result::Result::Err(0)].Field[crate::attribute::param::parse::Error::span]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::Parameter>::static", "Argument[self].Field[crate::attribute::param::Parameter::Static(0)]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::Parameter>::take_dynamic", "Argument[self].Field[crate::attribute::param::Parameter::Dynamic(0)]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::parse::Error>::new", "Argument[0]", "ReturnValue.Field[crate::attribute::param::parse::Error::segment]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::parse::Error>::new", "Argument[0]", "ReturnValue.Field[crate::attribute::param::parse::Error::source]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::parse::Error>::new", "Argument[1]", "ReturnValue.Field[crate::attribute::param::parse::Error::source_span]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::parse::Error>::new", "Argument[1]", "ReturnValue.Field[crate::attribute::param::parse::Error::span]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::parse::Error>::new", "Argument[2]", "ReturnValue.Field[crate::attribute::param::parse::Error::kind]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::parse::Error>::source", "Argument[0]", "Argument[self].Field[crate::attribute::param::parse::Error::source]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::parse::Error>::source", "Argument[0]", "ReturnValue.Field[crate::attribute::param::parse::Error::source]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::parse::Error>::source", "Argument[1]", "Argument[self].Field[crate::attribute::param::parse::Error::source_span]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::parse::Error>::source", "Argument[1]", "ReturnValue.Field[crate::attribute::param::parse::Error::source_span]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::param::parse::Error>::source", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::route::parse::Route>::from", "Argument[0]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::attribute::route::parse::Route::attr]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::route::parse::Route>::from", "Argument[1]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::attribute::route::parse::Route::handler]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::route::parse::Route>::upgrade_dynamic", "Argument[0]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::attribute::param::Guard::source]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::route::parse::Route>::upgrade_param", "Argument[0]", "ReturnValue.Field[crate::result::Result::Ok(0)]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::attribute::route::parse::RouteUri as crate::ops::deref::Deref>::deref", "Argument[self].Field[crate::attribute::route::parse::RouteUri::origin]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::bang::uri_parsing::ArgExpr>::as_expr", "Argument[self].Field[crate::bang::uri_parsing::ArgExpr::Expr(0)]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::bang::uri_parsing::ArgExpr>::unwrap_expr", "Argument[self].Field[crate::bang::uri_parsing::ArgExpr::Expr(0)]", "ReturnValue", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::bang::uri_parsing::UriLit as crate::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::bang::uri_parsing::UriLit as crate::ops::deref::Deref>::deref", "Argument[self].Field[crate::bang::uri_parsing::UriLit(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::derive::form_field::FieldName as crate::ops::deref::Deref>::deref", "Argument[self].Field[crate::derive::form_field::FieldName::Cased(0)]", "ReturnValue", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::derive::form_field::FieldName as crate::ops::deref::Deref>::deref", "Argument[self].Field[crate::derive::form_field::FieldName::Uncased(0)]", "ReturnValue", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::exports::StaticPath>::respanned", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::name::Name as crate::convert::AsRef>::as_ref", "Argument[self].Field[crate::name::Name::value]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::name::Name as crate::ops::deref::Deref>::deref", "Argument[self].Field[crate::name::Name::value]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::name::Name>::as_str", "Argument[self].Field[crate::name::Name::value]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::name::Name>::new", "Argument[1]", "ReturnValue.Field[crate::name::Name::span]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::name::Name>::span", "Argument[self].Field[crate::name::Name::span]", "ReturnValue", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::proc_macro_ext::Diagnostics as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[crate::proc_macro_ext::Diagnostics(0)]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::proc_macro_ext::Diagnostics>::head_err_or", "Argument[0]", "ReturnValue.Field[crate::result::Result::Ok(0)]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::proc_macro_ext::StringLit as crate::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::proc_macro_ext::StringLit as crate::ops::deref::Deref>::deref", "Argument[self].Field[crate::proc_macro_ext::StringLit(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::syn_ext::Child as crate::ops::deref::Deref>::deref", "Argument[self].Field[crate::syn_ext::Child::ty]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "<crate::ty::ReturnType as crate::syn_ext::ReturnTypeExt>::ty", "Argument[self]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
- ["repo:https://github.com/rwf2/Rocket:rocket_codegen", "crate::derive::form_field::first_duplicate", "Argument[0].Element", "Argument[1].Parameter[0].Reference", "value", "dfc-generated"]