src/libsyntax_ext/env.rs

   1 // The compiler code necessary to support the env! extension.  Eventually this
   2 // should all get sucked into either the compiler syntax extension plugin
   3 // interface.
   4 //
   5
   6 use syntax::ast::{self, Ident, GenericArg};
   7 use syntax::ext::base::{self, *};
   8 use syntax::ext::build::AstBuilder;
   9 use syntax::symbol::{kw, sym, Symbol};
  10 use syntax_pos::Span;
  11 use syntax::tokenstream;
  12
  13 use std::env;
  14
  15 pub fn expand_option_env<'cx>(cx: &'cx mut ExtCtxt<'_>,
  16                               sp: Span,
  17                               tts: &[tokenstream::TokenTree])
  18                               -> Box<dyn base::MacResult + 'cx> {
  19     let var = match get_single_str_from_tts(cx, sp, tts, "option_env!") {
  20         None => return DummyResult::expr(sp),
  21         Some(v) => v,
  22     };
  23
  24     let sp = sp.apply_mark(cx.current_expansion.id);
  25     let e = match env::var(&*var.as_str()) {
  26         Err(..) => {
  27             let lt = cx.lifetime(sp, Ident::with_empty_ctxt(kw::StaticLifetime));
  28             cx.expr_path(cx.path_all(sp,
  29                                      true,
  30                                      cx.std_path(&[sym::option, sym::Option, sym::None]),
  31                                      vec![GenericArg::Type(cx.ty_rptr(sp,
  32                                                      cx.ty_ident(sp,
  33                                                                  Ident::with_empty_ctxt(sym::str)),
  34                                                      Some(lt),
  35                                                      ast::Mutability::Immutable))],
  36                                      vec![]))
  37         }
  38         Ok(s) => {
  39             cx.expr_call_global(sp,
  40                                 cx.std_path(&[sym::option, sym::Option, sym::Some]),
  41                                 vec![cx.expr_str(sp, Symbol::intern(&s))])
  42         }
  43     };
  44     MacEager::expr(e)
  45 }
  46
  47 pub fn expand_env<'cx>(cx: &'cx mut ExtCtxt<'_>,
  48                        sp: Span,
  49                        tts: &[tokenstream::TokenTree])
  50                        -> Box<dyn base::MacResult + 'cx> {
  51     let mut exprs = match get_exprs_from_tts(cx, sp, tts) {
  52         Some(ref exprs) if exprs.is_empty() => {
  53             cx.span_err(sp, "env! takes 1 or 2 arguments");
  54             return DummyResult::expr(sp);
  55         }
  56         None => return DummyResult::expr(sp),
  57         Some(exprs) => exprs.into_iter(),
  58     };
  59
  60     let var = match expr_to_string(cx, exprs.next().unwrap(), "expected string literal") {
  61         None => return DummyResult::expr(sp),
  62         Some((v, _style)) => v,
  63     };
  64     let msg = match exprs.next() {
  65         None => Symbol::intern(&format!("environment variable `{}` not defined", var)),
  66         Some(second) => {
  67             match expr_to_string(cx, second, "expected string literal") {
  68                 None => return DummyResult::expr(sp),
  69                 Some((s, _style)) => s,
  70             }
  71         }
  72     };
  73
  74     if exprs.next().is_some() {
  75         cx.span_err(sp, "env! takes 1 or 2 arguments");
  76         return DummyResult::expr(sp);
  77     }
  78
  79     let e = match env::var(&*var.as_str()) {
  80         Err(_) => {
  81             cx.span_err(sp, &msg.as_str());
  82             return DummyResult::expr(sp);
  83         }
  84         Ok(s) => cx.expr_str(sp, Symbol::intern(&s)),
  85     };
  86     MacEager::expr(e)
  87 }