2014-05-26 00:27:36 +01:00
|
|
|
// Copyright 2012-2014 The Rust Project Developers. See the COPYRIGHT
|
2012-12-03 16:48:01 -08:00
|
|
|
// file at the top-level directory of this distribution and at
|
|
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
2014-11-25 21:17:11 -05:00
|
|
|
//! Support for parsing unsupported, old syntaxes, for the purpose of reporting errors. Parsing of
|
|
|
|
//! these syntaxes is tested by compile-test/obsolete-syntax.rs.
|
|
|
|
//!
|
|
|
|
//! Obsolete syntax that becomes too hard to parse can be removed.
|
2012-09-08 15:50:29 -07:00
|
|
|
|
2014-11-09 16:14:15 +01:00
|
|
|
use ast::{Expr, ExprTup};
|
|
|
|
use codemap::Span;
|
2014-05-26 00:27:36 +01:00
|
|
|
use parse::parser;
|
2012-12-23 17:41:37 -05:00
|
|
|
use parse::token;
|
2014-09-13 19:06:01 +03:00
|
|
|
use ptr::P;
|
2014-05-16 00:16:13 -07:00
|
|
|
|
2012-09-08 15:50:29 -07:00
|
|
|
/// The specific types of unsupported syntax
|
2015-03-30 09:38:59 -04:00
|
|
|
#[derive(Copy, Clone, PartialEq, Eq, Hash)]
|
2012-09-08 15:50:29 -07:00
|
|
|
pub enum ObsoleteSyntax {
|
2015-02-03 11:34:05 -05:00
|
|
|
ClosureKind,
|
2015-03-19 15:39:03 -07:00
|
|
|
ExternCrateString,
|
2012-09-19 18:00:26 -07:00
|
|
|
}
|
2012-09-08 15:50:29 -07:00
|
|
|
|
2013-06-14 18:21:47 -07:00
|
|
|
pub trait ParserObsoleteMethods {
|
|
|
|
/// Reports an obsolete syntax non-fatal error.
|
2013-12-30 14:04:00 -08:00
|
|
|
fn obsolete(&mut self, sp: Span, kind: ObsoleteSyntax);
|
2014-06-09 13:12:30 -07:00
|
|
|
/// Reports an obsolete syntax non-fatal error, and returns
|
|
|
|
/// a placeholder expression
|
2014-09-13 19:06:01 +03:00
|
|
|
fn obsolete_expr(&mut self, sp: Span, kind: ObsoleteSyntax) -> P<Expr>;
|
2013-12-30 14:04:00 -08:00
|
|
|
fn report(&mut self,
|
2013-08-31 18:13:04 +02:00
|
|
|
sp: Span,
|
2013-06-14 18:21:47 -07:00
|
|
|
kind: ObsoleteSyntax,
|
|
|
|
kind_str: &str,
|
2015-02-18 14:48:57 -05:00
|
|
|
desc: &str,
|
|
|
|
error: bool);
|
2013-12-30 14:04:00 -08:00
|
|
|
fn is_obsolete_ident(&mut self, ident: &str) -> bool;
|
|
|
|
fn eat_obsolete_ident(&mut self, ident: &str) -> bool;
|
2013-06-14 18:21:47 -07:00
|
|
|
}
|
|
|
|
|
2014-05-26 00:27:36 +01:00
|
|
|
impl<'a> ParserObsoleteMethods for parser::Parser<'a> {
|
2012-09-08 15:50:29 -07:00
|
|
|
/// Reports an obsolete syntax non-fatal error.
|
2013-12-30 14:04:00 -08:00
|
|
|
fn obsolete(&mut self, sp: Span, kind: ObsoleteSyntax) {
|
2015-02-18 14:47:14 -05:00
|
|
|
let (kind_str, desc, error) = match kind {
|
2015-02-03 11:34:05 -05:00
|
|
|
ObsoleteSyntax::ClosureKind => (
|
2015-02-06 16:24:13 +02:00
|
|
|
"`:`, `&mut:`, or `&:`",
|
2015-02-18 14:48:57 -05:00
|
|
|
"rely on inference instead",
|
2015-02-18 14:47:14 -05:00
|
|
|
true,
|
2015-02-03 11:34:05 -05:00
|
|
|
),
|
2015-03-19 15:39:03 -07:00
|
|
|
ObsoleteSyntax::ExternCrateString => (
|
|
|
|
"\"crate-name\"",
|
|
|
|
"use an identifier not in quotes instead",
|
|
|
|
false, // warning for now
|
|
|
|
),
|
2012-09-08 15:50:29 -07:00
|
|
|
};
|
|
|
|
|
2015-02-18 14:47:14 -05:00
|
|
|
self.report(sp, kind, kind_str, desc, error);
|
2012-09-08 15:50:29 -07:00
|
|
|
}
|
|
|
|
|
2014-06-09 13:12:30 -07:00
|
|
|
/// Reports an obsolete syntax non-fatal error, and returns
|
|
|
|
/// a placeholder expression
|
2014-09-13 19:06:01 +03:00
|
|
|
fn obsolete_expr(&mut self, sp: Span, kind: ObsoleteSyntax) -> P<Expr> {
|
2012-09-08 15:50:29 -07:00
|
|
|
self.obsolete(sp, kind);
|
2014-11-09 16:14:15 +01:00
|
|
|
self.mk_expr(sp.lo, sp.hi, ExprTup(vec![]))
|
2012-09-08 15:50:29 -07:00
|
|
|
}
|
|
|
|
|
2013-12-30 14:04:00 -08:00
|
|
|
fn report(&mut self,
|
2013-08-31 18:13:04 +02:00
|
|
|
sp: Span,
|
2013-05-31 15:17:22 -07:00
|
|
|
kind: ObsoleteSyntax,
|
|
|
|
kind_str: &str,
|
2015-02-18 14:47:14 -05:00
|
|
|
desc: &str,
|
|
|
|
error: bool) {
|
|
|
|
if error {
|
2015-02-20 14:08:14 -05:00
|
|
|
self.span_err(sp, &format!("obsolete syntax: {}", kind_str));
|
2015-02-18 14:47:14 -05:00
|
|
|
} else {
|
2015-02-20 14:08:14 -05:00
|
|
|
self.span_warn(sp, &format!("obsolete syntax: {}", kind_str));
|
2015-02-18 14:47:14 -05:00
|
|
|
}
|
2012-09-08 15:50:29 -07:00
|
|
|
|
2013-03-21 15:41:37 -04:00
|
|
|
if !self.obsolete_set.contains(&kind) {
|
2014-05-16 10:45:16 -07:00
|
|
|
self.sess
|
|
|
|
.span_diagnostic
|
|
|
|
.handler()
|
2015-02-20 14:08:14 -05:00
|
|
|
.note(&format!("{}", desc));
|
2013-03-21 15:41:37 -04:00
|
|
|
self.obsolete_set.insert(kind);
|
2012-09-08 15:50:29 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-12-30 15:09:41 -08:00
|
|
|
fn is_obsolete_ident(&mut self, ident: &str) -> bool {
|
|
|
|
match self.token {
|
2014-10-27 19:22:52 +11:00
|
|
|
token::Ident(sid, _) => {
|
2014-11-20 20:25:27 -05:00
|
|
|
token::get_ident(sid) == ident
|
2012-09-08 15:50:29 -07:00
|
|
|
}
|
|
|
|
_ => false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-12-30 14:04:00 -08:00
|
|
|
fn eat_obsolete_ident(&mut self, ident: &str) -> bool {
|
2012-09-08 15:50:29 -07:00
|
|
|
if self.is_obsolete_ident(ident) {
|
|
|
|
self.bump();
|
|
|
|
true
|
|
|
|
} else {
|
|
|
|
false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|