2021-11-03 16:34:05 +08:00
|
|
|
// File automatically generated by ast/asdl_rs.py.
|
|
|
|
|
|
|
|
pub use crate::location::Location;
|
2021-11-03 16:35:16 +08:00
|
|
|
pub use crate::constant::*;
|
|
|
|
|
|
|
|
use std::{fmt, collections::HashMap, cell::RefCell};
|
|
|
|
use parking_lot::{Mutex, MutexGuard};
|
|
|
|
use string_interner::{DefaultBackend, DefaultSymbol, StringInterner, symbol::SymbolU32};
|
|
|
|
use fxhash::FxBuildHasher;
|
|
|
|
|
|
|
|
pub type Interner = StringInterner<DefaultSymbol, DefaultBackend<DefaultSymbol>, FxBuildHasher>;
|
|
|
|
lazy_static! {
|
|
|
|
static ref INTERNER: Mutex<Interner> = Mutex::new(StringInterner::with_hasher(FxBuildHasher::default()));
|
|
|
|
}
|
|
|
|
|
|
|
|
thread_local! {
|
|
|
|
static LOCAL_INTERNER: RefCell<HashMap<String, StrRef>> = Default::default();
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Eq, PartialEq, Copy, Clone, Hash)]
|
|
|
|
pub struct StrRef(SymbolU32);
|
|
|
|
|
|
|
|
impl fmt::Debug for StrRef {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
|
|
|
let s: String = (*self).into();
|
|
|
|
write!(f, "{:?}", s)
|
|
|
|
}
|
|
|
|
}
|
2021-11-03 16:34:05 +08:00
|
|
|
|
2021-11-03 16:35:16 +08:00
|
|
|
impl fmt::Display for StrRef {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
|
|
|
let s: String = (*self).into();
|
|
|
|
write!(f, "{}", s)
|
|
|
|
}
|
|
|
|
}
|
2021-11-03 16:34:05 +08:00
|
|
|
|
2021-11-03 16:35:16 +08:00
|
|
|
impl From<String> for StrRef {
|
|
|
|
fn from(s: String) -> Self {
|
|
|
|
get_str_ref(&mut get_str_ref_lock(), &s)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl From<&str> for StrRef {
|
|
|
|
fn from(s: &str) -> Self {
|
|
|
|
// thread local cache
|
|
|
|
LOCAL_INTERNER.with(|local| {
|
|
|
|
let mut local = local.borrow_mut();
|
|
|
|
local.get(s).copied().unwrap_or_else(|| {
|
2021-11-06 23:00:18 +08:00
|
|
|
let r = get_str_ref(&mut get_str_ref_lock(), s);
|
2021-11-03 16:35:16 +08:00
|
|
|
local.insert(s.to_string(), r);
|
|
|
|
r
|
|
|
|
})
|
|
|
|
})
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl From<StrRef> for String{
|
|
|
|
fn from(s: StrRef) -> Self {
|
|
|
|
get_str_from_ref(&get_str_ref_lock(), s).to_string()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn get_str_ref_lock<'a>() -> MutexGuard<'a, Interner> {
|
|
|
|
INTERNER.lock()
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn get_str_ref(lock: &mut MutexGuard<Interner>, str: &str) -> StrRef {
|
|
|
|
StrRef(lock.get_or_intern(str))
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn get_str_from_ref<'a>(lock: &'a MutexGuard<Interner>, id: StrRef) -> &'a str {
|
|
|
|
lock.resolve(id.0).unwrap()
|
|
|
|
}
|
|
|
|
|
2021-11-04 15:01:50 +08:00
|
|
|
pub type Ident = StrRef;
|
2021-11-03 16:35:16 +08:00
|
|
|
|
|
|
|
#[derive(Clone, Debug, PartialEq)]
|
2021-11-03 16:34:05 +08:00
|
|
|
pub struct Located<T, U = ()> {
|
|
|
|
pub location: Location,
|
|
|
|
pub custom: U,
|
|
|
|
pub node: T,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<T> Located<T> {
|
|
|
|
pub fn new(location: Location, node: T) -> Self {
|
2021-11-03 16:35:16 +08:00
|
|
|
Self { location, custom: (), node }
|
2021-11-03 16:34:05 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-11-03 16:35:16 +08:00
|
|
|
#[derive(Clone, Debug, PartialEq)]
|
2021-11-03 16:34:05 +08:00
|
|
|
pub enum Mod<U = ()> {
|
|
|
|
Module {
|
|
|
|
body: Vec<Stmt<U>>,
|
|
|
|
type_ignores: Vec<TypeIgnore>,
|
|
|
|
},
|
|
|
|
Interactive {
|
|
|
|
body: Vec<Stmt<U>>,
|
|
|
|
},
|
|
|
|
Expression {
|
|
|
|
body: Box<Expr<U>>,
|
|
|
|
},
|
|
|
|
FunctionType {
|
|
|
|
argtypes: Vec<Expr<U>>,
|
|
|
|
returns: Box<Expr<U>>,
|
|
|
|
},
|
|
|
|
}
|
|
|
|
|
2021-11-03 16:35:16 +08:00
|
|
|
#[derive(Clone, Debug, PartialEq)]
|
2021-11-03 16:34:05 +08:00
|
|
|
pub enum StmtKind<U = ()> {
|
|
|
|
FunctionDef {
|
|
|
|
name: Ident,
|
|
|
|
args: Box<Arguments<U>>,
|
|
|
|
body: Vec<Stmt<U>>,
|
|
|
|
decorator_list: Vec<Expr<U>>,
|
|
|
|
returns: Option<Box<Expr<U>>>,
|
|
|
|
type_comment: Option<String>,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Vec<Ident>,
|
2021-11-03 16:34:05 +08:00
|
|
|
},
|
|
|
|
AsyncFunctionDef {
|
|
|
|
name: Ident,
|
|
|
|
args: Box<Arguments<U>>,
|
|
|
|
body: Vec<Stmt<U>>,
|
|
|
|
decorator_list: Vec<Expr<U>>,
|
|
|
|
returns: Option<Box<Expr<U>>>,
|
|
|
|
type_comment: Option<String>,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Vec<Ident>,
|
2021-11-03 16:34:05 +08:00
|
|
|
},
|
|
|
|
ClassDef {
|
|
|
|
name: Ident,
|
|
|
|
bases: Vec<Expr<U>>,
|
|
|
|
keywords: Vec<Keyword<U>>,
|
|
|
|
body: Vec<Stmt<U>>,
|
|
|
|
decorator_list: Vec<Expr<U>>,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Vec<Ident>,
|
2021-11-03 16:34:05 +08:00
|
|
|
},
|
|
|
|
Return {
|
|
|
|
value: Option<Box<Expr<U>>>,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Vec<Ident>,
|
2021-11-03 16:34:05 +08:00
|
|
|
},
|
|
|
|
Delete {
|
|
|
|
targets: Vec<Expr<U>>,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Vec<Ident>,
|
2021-11-03 16:34:05 +08:00
|
|
|
},
|
|
|
|
Assign {
|
|
|
|
targets: Vec<Expr<U>>,
|
|
|
|
value: Box<Expr<U>>,
|
|
|
|
type_comment: Option<String>,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Vec<Ident>,
|
2021-11-03 16:34:05 +08:00
|
|
|
},
|
|
|
|
AugAssign {
|
|
|
|
target: Box<Expr<U>>,
|
|
|
|
op: Operator,
|
|
|
|
value: Box<Expr<U>>,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Vec<Ident>,
|
2021-11-03 16:34:05 +08:00
|
|
|
},
|
|
|
|
AnnAssign {
|
|
|
|
target: Box<Expr<U>>,
|
|
|
|
annotation: Box<Expr<U>>,
|
|
|
|
value: Option<Box<Expr<U>>>,
|
|
|
|
simple: bool,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Vec<Ident>,
|
2021-11-03 16:34:05 +08:00
|
|
|
},
|
|
|
|
For {
|
|
|
|
target: Box<Expr<U>>,
|
|
|
|
iter: Box<Expr<U>>,
|
|
|
|
body: Vec<Stmt<U>>,
|
|
|
|
orelse: Vec<Stmt<U>>,
|
|
|
|
type_comment: Option<String>,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Vec<Ident>,
|
2021-11-03 16:34:05 +08:00
|
|
|
},
|
|
|
|
AsyncFor {
|
|
|
|
target: Box<Expr<U>>,
|
|
|
|
iter: Box<Expr<U>>,
|
|
|
|
body: Vec<Stmt<U>>,
|
|
|
|
orelse: Vec<Stmt<U>>,
|
|
|
|
type_comment: Option<String>,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Vec<Ident>,
|
2021-11-03 16:34:05 +08:00
|
|
|
},
|
|
|
|
While {
|
|
|
|
test: Box<Expr<U>>,
|
|
|
|
body: Vec<Stmt<U>>,
|
|
|
|
orelse: Vec<Stmt<U>>,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Vec<Ident>,
|
2021-11-03 16:34:05 +08:00
|
|
|
},
|
|
|
|
If {
|
|
|
|
test: Box<Expr<U>>,
|
|
|
|
body: Vec<Stmt<U>>,
|
|
|
|
orelse: Vec<Stmt<U>>,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Vec<Ident>,
|
2021-11-03 16:34:05 +08:00
|
|
|
},
|
|
|
|
With {
|
|
|
|
items: Vec<Withitem<U>>,
|
|
|
|
body: Vec<Stmt<U>>,
|
|
|
|
type_comment: Option<String>,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Vec<Ident>,
|
2021-11-03 16:34:05 +08:00
|
|
|
},
|
|
|
|
AsyncWith {
|
|
|
|
items: Vec<Withitem<U>>,
|
|
|
|
body: Vec<Stmt<U>>,
|
|
|
|
type_comment: Option<String>,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Vec<Ident>,
|
2021-11-03 16:34:05 +08:00
|
|
|
},
|
|
|
|
Raise {
|
|
|
|
exc: Option<Box<Expr<U>>>,
|
|
|
|
cause: Option<Box<Expr<U>>>,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Vec<Ident>,
|
2021-11-03 16:34:05 +08:00
|
|
|
},
|
|
|
|
Try {
|
|
|
|
body: Vec<Stmt<U>>,
|
|
|
|
handlers: Vec<Excepthandler<U>>,
|
|
|
|
orelse: Vec<Stmt<U>>,
|
|
|
|
finalbody: Vec<Stmt<U>>,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Vec<Ident>,
|
2021-11-03 16:34:05 +08:00
|
|
|
},
|
|
|
|
Assert {
|
|
|
|
test: Box<Expr<U>>,
|
|
|
|
msg: Option<Box<Expr<U>>>,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Vec<Ident>,
|
2021-11-03 16:34:05 +08:00
|
|
|
},
|
|
|
|
Import {
|
|
|
|
names: Vec<Alias>,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Vec<Ident>,
|
2021-11-03 16:34:05 +08:00
|
|
|
},
|
|
|
|
ImportFrom {
|
|
|
|
module: Option<Ident>,
|
|
|
|
names: Vec<Alias>,
|
|
|
|
level: usize,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Vec<Ident>,
|
2021-11-03 16:34:05 +08:00
|
|
|
},
|
|
|
|
Global {
|
|
|
|
names: Vec<Ident>,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Vec<Ident>,
|
2021-11-03 16:34:05 +08:00
|
|
|
},
|
|
|
|
Nonlocal {
|
|
|
|
names: Vec<Ident>,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Vec<Ident>,
|
2021-11-03 16:34:05 +08:00
|
|
|
},
|
|
|
|
Expr {
|
|
|
|
value: Box<Expr<U>>,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Vec<Ident>,
|
|
|
|
},
|
|
|
|
Pass {
|
|
|
|
config_comment: Vec<Ident>,
|
|
|
|
},
|
|
|
|
Break {
|
|
|
|
config_comment: Vec<Ident>,
|
|
|
|
},
|
|
|
|
Continue {
|
|
|
|
config_comment: Vec<Ident>,
|
2021-11-03 16:34:05 +08:00
|
|
|
},
|
|
|
|
}
|
|
|
|
pub type Stmt<U = ()> = Located<StmtKind<U>, U>;
|
|
|
|
|
2021-11-03 16:35:16 +08:00
|
|
|
#[derive(Clone, Debug, PartialEq)]
|
2021-11-03 16:34:05 +08:00
|
|
|
pub enum ExprKind<U = ()> {
|
|
|
|
BoolOp {
|
|
|
|
op: Boolop,
|
|
|
|
values: Vec<Expr<U>>,
|
|
|
|
},
|
|
|
|
NamedExpr {
|
|
|
|
target: Box<Expr<U>>,
|
|
|
|
value: Box<Expr<U>>,
|
|
|
|
},
|
|
|
|
BinOp {
|
|
|
|
left: Box<Expr<U>>,
|
|
|
|
op: Operator,
|
|
|
|
right: Box<Expr<U>>,
|
|
|
|
},
|
|
|
|
UnaryOp {
|
|
|
|
op: Unaryop,
|
|
|
|
operand: Box<Expr<U>>,
|
|
|
|
},
|
|
|
|
Lambda {
|
|
|
|
args: Box<Arguments<U>>,
|
|
|
|
body: Box<Expr<U>>,
|
|
|
|
},
|
|
|
|
IfExp {
|
|
|
|
test: Box<Expr<U>>,
|
|
|
|
body: Box<Expr<U>>,
|
|
|
|
orelse: Box<Expr<U>>,
|
|
|
|
},
|
|
|
|
Dict {
|
|
|
|
keys: Vec<Option<Box<Expr<U>>>>,
|
|
|
|
values: Vec<Expr<U>>,
|
|
|
|
},
|
|
|
|
Set {
|
|
|
|
elts: Vec<Expr<U>>,
|
|
|
|
},
|
|
|
|
ListComp {
|
|
|
|
elt: Box<Expr<U>>,
|
|
|
|
generators: Vec<Comprehension<U>>,
|
|
|
|
},
|
|
|
|
SetComp {
|
|
|
|
elt: Box<Expr<U>>,
|
|
|
|
generators: Vec<Comprehension<U>>,
|
|
|
|
},
|
|
|
|
DictComp {
|
|
|
|
key: Box<Expr<U>>,
|
|
|
|
value: Box<Expr<U>>,
|
|
|
|
generators: Vec<Comprehension<U>>,
|
|
|
|
},
|
|
|
|
GeneratorExp {
|
|
|
|
elt: Box<Expr<U>>,
|
|
|
|
generators: Vec<Comprehension<U>>,
|
|
|
|
},
|
|
|
|
Await {
|
|
|
|
value: Box<Expr<U>>,
|
|
|
|
},
|
|
|
|
Yield {
|
|
|
|
value: Option<Box<Expr<U>>>,
|
|
|
|
},
|
|
|
|
YieldFrom {
|
|
|
|
value: Box<Expr<U>>,
|
|
|
|
},
|
|
|
|
Compare {
|
|
|
|
left: Box<Expr<U>>,
|
|
|
|
ops: Vec<Cmpop>,
|
|
|
|
comparators: Vec<Expr<U>>,
|
|
|
|
},
|
|
|
|
Call {
|
|
|
|
func: Box<Expr<U>>,
|
|
|
|
args: Vec<Expr<U>>,
|
|
|
|
keywords: Vec<Keyword<U>>,
|
|
|
|
},
|
|
|
|
FormattedValue {
|
|
|
|
value: Box<Expr<U>>,
|
|
|
|
conversion: Option<ConversionFlag>,
|
|
|
|
format_spec: Option<Box<Expr<U>>>,
|
|
|
|
},
|
|
|
|
JoinedStr {
|
|
|
|
values: Vec<Expr<U>>,
|
|
|
|
},
|
|
|
|
Constant {
|
|
|
|
value: Constant,
|
|
|
|
kind: Option<String>,
|
|
|
|
},
|
|
|
|
Attribute {
|
|
|
|
value: Box<Expr<U>>,
|
|
|
|
attr: Ident,
|
|
|
|
ctx: ExprContext,
|
|
|
|
},
|
|
|
|
Subscript {
|
|
|
|
value: Box<Expr<U>>,
|
|
|
|
slice: Box<Expr<U>>,
|
|
|
|
ctx: ExprContext,
|
|
|
|
},
|
|
|
|
Starred {
|
|
|
|
value: Box<Expr<U>>,
|
|
|
|
ctx: ExprContext,
|
|
|
|
},
|
|
|
|
Name {
|
|
|
|
id: Ident,
|
|
|
|
ctx: ExprContext,
|
|
|
|
},
|
|
|
|
List {
|
|
|
|
elts: Vec<Expr<U>>,
|
|
|
|
ctx: ExprContext,
|
|
|
|
},
|
|
|
|
Tuple {
|
|
|
|
elts: Vec<Expr<U>>,
|
|
|
|
ctx: ExprContext,
|
|
|
|
},
|
|
|
|
Slice {
|
|
|
|
lower: Option<Box<Expr<U>>>,
|
|
|
|
upper: Option<Box<Expr<U>>>,
|
|
|
|
step: Option<Box<Expr<U>>>,
|
|
|
|
},
|
|
|
|
}
|
|
|
|
pub type Expr<U = ()> = Located<ExprKind<U>, U>;
|
|
|
|
|
2021-11-03 16:35:16 +08:00
|
|
|
#[derive(Clone, Debug, PartialEq)]
|
2021-11-03 16:34:05 +08:00
|
|
|
pub enum ExprContext {
|
|
|
|
Load,
|
|
|
|
Store,
|
|
|
|
Del,
|
|
|
|
}
|
|
|
|
|
2021-11-03 16:35:16 +08:00
|
|
|
#[derive(Clone, Debug, PartialEq)]
|
2021-11-03 16:34:05 +08:00
|
|
|
pub enum Boolop {
|
|
|
|
And,
|
|
|
|
Or,
|
|
|
|
}
|
|
|
|
|
2021-11-03 16:35:16 +08:00
|
|
|
#[derive(Clone, Debug, PartialEq)]
|
2021-11-03 16:34:05 +08:00
|
|
|
pub enum Operator {
|
|
|
|
Add,
|
|
|
|
Sub,
|
|
|
|
Mult,
|
|
|
|
MatMult,
|
|
|
|
Div,
|
|
|
|
Mod,
|
|
|
|
Pow,
|
|
|
|
LShift,
|
|
|
|
RShift,
|
|
|
|
BitOr,
|
|
|
|
BitXor,
|
|
|
|
BitAnd,
|
|
|
|
FloorDiv,
|
|
|
|
}
|
|
|
|
|
2021-11-03 16:35:16 +08:00
|
|
|
#[derive(Clone, Debug, PartialEq)]
|
2021-11-03 16:34:05 +08:00
|
|
|
pub enum Unaryop {
|
|
|
|
Invert,
|
|
|
|
Not,
|
|
|
|
UAdd,
|
|
|
|
USub,
|
|
|
|
}
|
|
|
|
|
2021-11-03 16:35:16 +08:00
|
|
|
#[derive(Clone, Debug, PartialEq)]
|
2021-11-03 16:34:05 +08:00
|
|
|
pub enum Cmpop {
|
|
|
|
Eq,
|
|
|
|
NotEq,
|
|
|
|
Lt,
|
|
|
|
LtE,
|
|
|
|
Gt,
|
|
|
|
GtE,
|
|
|
|
Is,
|
|
|
|
IsNot,
|
|
|
|
In,
|
|
|
|
NotIn,
|
|
|
|
}
|
|
|
|
|
2021-11-03 16:35:16 +08:00
|
|
|
#[derive(Clone, Debug, PartialEq)]
|
2021-11-03 16:34:05 +08:00
|
|
|
pub struct Comprehension<U = ()> {
|
|
|
|
pub target: Box<Expr<U>>,
|
|
|
|
pub iter: Box<Expr<U>>,
|
|
|
|
pub ifs: Vec<Expr<U>>,
|
|
|
|
pub is_async: bool,
|
|
|
|
}
|
|
|
|
|
2021-11-03 16:35:16 +08:00
|
|
|
#[derive(Clone, Debug, PartialEq)]
|
2021-11-03 16:34:05 +08:00
|
|
|
pub enum ExcepthandlerKind<U = ()> {
|
|
|
|
ExceptHandler {
|
|
|
|
type_: Option<Box<Expr<U>>>,
|
|
|
|
name: Option<Ident>,
|
|
|
|
body: Vec<Stmt<U>>,
|
|
|
|
},
|
|
|
|
}
|
|
|
|
pub type Excepthandler<U = ()> = Located<ExcepthandlerKind<U>, U>;
|
|
|
|
|
2021-11-03 16:35:16 +08:00
|
|
|
#[derive(Clone, Debug, PartialEq)]
|
2021-11-03 16:34:05 +08:00
|
|
|
pub struct Arguments<U = ()> {
|
|
|
|
pub posonlyargs: Vec<Arg<U>>,
|
|
|
|
pub args: Vec<Arg<U>>,
|
|
|
|
pub vararg: Option<Box<Arg<U>>>,
|
|
|
|
pub kwonlyargs: Vec<Arg<U>>,
|
|
|
|
pub kw_defaults: Vec<Option<Box<Expr<U>>>>,
|
|
|
|
pub kwarg: Option<Box<Arg<U>>>,
|
|
|
|
pub defaults: Vec<Expr<U>>,
|
|
|
|
}
|
|
|
|
|
2021-11-03 16:35:16 +08:00
|
|
|
#[derive(Clone, Debug, PartialEq)]
|
2021-11-03 16:34:05 +08:00
|
|
|
pub struct ArgData<U = ()> {
|
|
|
|
pub arg: Ident,
|
|
|
|
pub annotation: Option<Box<Expr<U>>>,
|
|
|
|
pub type_comment: Option<String>,
|
|
|
|
}
|
|
|
|
pub type Arg<U = ()> = Located<ArgData<U>, U>;
|
|
|
|
|
2021-11-03 16:35:16 +08:00
|
|
|
#[derive(Clone, Debug, PartialEq)]
|
2021-11-03 16:34:05 +08:00
|
|
|
pub struct KeywordData<U = ()> {
|
|
|
|
pub arg: Option<Ident>,
|
|
|
|
pub value: Box<Expr<U>>,
|
|
|
|
}
|
|
|
|
pub type Keyword<U = ()> = Located<KeywordData<U>, U>;
|
|
|
|
|
2021-11-03 16:35:16 +08:00
|
|
|
#[derive(Clone, Debug, PartialEq)]
|
2021-11-03 16:34:05 +08:00
|
|
|
pub struct Alias {
|
|
|
|
pub name: Ident,
|
|
|
|
pub asname: Option<Ident>,
|
|
|
|
}
|
|
|
|
|
2021-11-03 16:35:16 +08:00
|
|
|
#[derive(Clone, Debug, PartialEq)]
|
2021-11-03 16:34:05 +08:00
|
|
|
pub struct Withitem<U = ()> {
|
|
|
|
pub context_expr: Box<Expr<U>>,
|
|
|
|
pub optional_vars: Option<Box<Expr<U>>>,
|
|
|
|
}
|
|
|
|
|
2021-11-03 16:35:16 +08:00
|
|
|
#[derive(Clone, Debug, PartialEq)]
|
2021-11-03 16:34:05 +08:00
|
|
|
pub enum TypeIgnore {
|
2021-11-03 16:35:16 +08:00
|
|
|
TypeIgnore {
|
|
|
|
lineno: usize,
|
|
|
|
tag: String,
|
|
|
|
},
|
2021-11-03 16:34:05 +08:00
|
|
|
}
|
|
|
|
|
2021-11-03 16:35:16 +08:00
|
|
|
|
2021-11-03 16:34:05 +08:00
|
|
|
#[cfg(feature = "fold")]
|
|
|
|
pub mod fold {
|
|
|
|
use super::*;
|
|
|
|
use crate::fold_helpers::Foldable;
|
|
|
|
pub trait Fold<U> {
|
|
|
|
type TargetU;
|
|
|
|
type Error;
|
2021-11-03 16:35:16 +08:00
|
|
|
fn map_user(&mut self, user: U) -> Result<Self::TargetU, Self::Error>;
|
|
|
|
fn fold_mod(&mut self, node: Mod<U>) -> Result<Mod<Self::TargetU>, Self::Error> {
|
|
|
|
fold_mod(self, node)
|
|
|
|
}
|
|
|
|
fn fold_stmt(&mut self, node: Stmt<U>) -> Result<Stmt<Self::TargetU>, Self::Error> {
|
|
|
|
fold_stmt(self, node)
|
|
|
|
}
|
|
|
|
fn fold_expr(&mut self, node: Expr<U>) -> Result<Expr<Self::TargetU>, Self::Error> {
|
|
|
|
fold_expr(self, node)
|
|
|
|
}
|
|
|
|
fn fold_expr_context(&mut self, node: ExprContext) -> Result<ExprContext, Self::Error> {
|
|
|
|
fold_expr_context(self, node)
|
|
|
|
}
|
|
|
|
fn fold_boolop(&mut self, node: Boolop) -> Result<Boolop, Self::Error> {
|
|
|
|
fold_boolop(self, node)
|
|
|
|
}
|
|
|
|
fn fold_operator(&mut self, node: Operator) -> Result<Operator, Self::Error> {
|
|
|
|
fold_operator(self, node)
|
|
|
|
}
|
|
|
|
fn fold_unaryop(&mut self, node: Unaryop) -> Result<Unaryop, Self::Error> {
|
|
|
|
fold_unaryop(self, node)
|
|
|
|
}
|
|
|
|
fn fold_cmpop(&mut self, node: Cmpop) -> Result<Cmpop, Self::Error> {
|
|
|
|
fold_cmpop(self, node)
|
|
|
|
}
|
|
|
|
fn fold_comprehension(&mut self, node: Comprehension<U>) -> Result<Comprehension<Self::TargetU>, Self::Error> {
|
|
|
|
fold_comprehension(self, node)
|
|
|
|
}
|
|
|
|
fn fold_excepthandler(&mut self, node: Excepthandler<U>) -> Result<Excepthandler<Self::TargetU>, Self::Error> {
|
|
|
|
fold_excepthandler(self, node)
|
|
|
|
}
|
|
|
|
fn fold_arguments(&mut self, node: Arguments<U>) -> Result<Arguments<Self::TargetU>, Self::Error> {
|
|
|
|
fold_arguments(self, node)
|
|
|
|
}
|
|
|
|
fn fold_arg(&mut self, node: Arg<U>) -> Result<Arg<Self::TargetU>, Self::Error> {
|
|
|
|
fold_arg(self, node)
|
|
|
|
}
|
|
|
|
fn fold_keyword(&mut self, node: Keyword<U>) -> Result<Keyword<Self::TargetU>, Self::Error> {
|
|
|
|
fold_keyword(self, node)
|
|
|
|
}
|
|
|
|
fn fold_alias(&mut self, node: Alias) -> Result<Alias, Self::Error> {
|
|
|
|
fold_alias(self, node)
|
|
|
|
}
|
|
|
|
fn fold_withitem(&mut self, node: Withitem<U>) -> Result<Withitem<Self::TargetU>, Self::Error> {
|
|
|
|
fold_withitem(self, node)
|
|
|
|
}
|
|
|
|
fn fold_type_ignore(&mut self, node: TypeIgnore) -> Result<TypeIgnore, Self::Error> {
|
|
|
|
fold_type_ignore(self, node)
|
|
|
|
}
|
2021-11-03 16:34:05 +08:00
|
|
|
}
|
2021-11-03 16:35:16 +08:00
|
|
|
fn fold_located<U, F: Fold<U> + ?Sized, T, MT>(folder: &mut F, node: Located<T, U>, f: impl FnOnce(&mut F, T) -> Result<MT, F::Error>) -> Result<Located<MT, F::TargetU>, F::Error> {
|
|
|
|
Ok(Located { custom: folder.map_user(node.custom)?, location: node.location, node: f(folder, node.node)? })
|
2021-11-03 16:34:05 +08:00
|
|
|
}
|
|
|
|
impl<T, U> Foldable<T, U> for Mod<T> {
|
|
|
|
type Mapped = Mod<U>;
|
2021-11-03 16:35:16 +08:00
|
|
|
fn fold<F: Fold<T, TargetU = U> + ?Sized>(self, folder: &mut F) -> Result<Self::Mapped, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
folder.fold_mod(self)
|
|
|
|
}
|
|
|
|
}
|
2021-11-03 16:35:16 +08:00
|
|
|
pub fn fold_mod<U, F: Fold<U> + ?Sized>(#[allow(unused)] folder: &mut F, node: Mod<U>) -> Result<Mod<F::TargetU>, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
match node {
|
2021-11-03 16:35:16 +08:00
|
|
|
Mod::Module { body,type_ignores } => {
|
|
|
|
Ok(Mod::Module {
|
|
|
|
body: Foldable::fold(body, folder)?,
|
|
|
|
type_ignores: Foldable::fold(type_ignores, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Mod::Interactive { body } => {
|
|
|
|
Ok(Mod::Interactive {
|
|
|
|
body: Foldable::fold(body, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Mod::Expression { body } => {
|
|
|
|
Ok(Mod::Expression {
|
|
|
|
body: Foldable::fold(body, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Mod::FunctionType { argtypes,returns } => {
|
|
|
|
Ok(Mod::FunctionType {
|
|
|
|
argtypes: Foldable::fold(argtypes, folder)?,
|
|
|
|
returns: Foldable::fold(returns, folder)?,
|
|
|
|
})
|
|
|
|
}
|
2021-11-03 16:34:05 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
impl<T, U> Foldable<T, U> for Stmt<T> {
|
|
|
|
type Mapped = Stmt<U>;
|
2021-11-03 16:35:16 +08:00
|
|
|
fn fold<F: Fold<T, TargetU = U> + ?Sized>(self, folder: &mut F) -> Result<Self::Mapped, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
folder.fold_stmt(self)
|
|
|
|
}
|
|
|
|
}
|
2021-11-03 16:35:16 +08:00
|
|
|
pub fn fold_stmt<U, F: Fold<U> + ?Sized>(#[allow(unused)] folder: &mut F, node: Stmt<U>) -> Result<Stmt<F::TargetU>, F::Error> {
|
|
|
|
fold_located(folder, node, |folder, node| {
|
|
|
|
match node {
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::FunctionDef { name,args,body,decorator_list,returns,type_comment,config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::FunctionDef {
|
|
|
|
name: Foldable::fold(name, folder)?,
|
|
|
|
args: Foldable::fold(args, folder)?,
|
|
|
|
body: Foldable::fold(body, folder)?,
|
|
|
|
decorator_list: Foldable::fold(decorator_list, folder)?,
|
|
|
|
returns: Foldable::fold(returns, folder)?,
|
|
|
|
type_comment: Foldable::fold(type_comment, folder)?,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::AsyncFunctionDef { name,args,body,decorator_list,returns,type_comment,config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::AsyncFunctionDef {
|
|
|
|
name: Foldable::fold(name, folder)?,
|
|
|
|
args: Foldable::fold(args, folder)?,
|
|
|
|
body: Foldable::fold(body, folder)?,
|
|
|
|
decorator_list: Foldable::fold(decorator_list, folder)?,
|
|
|
|
returns: Foldable::fold(returns, folder)?,
|
|
|
|
type_comment: Foldable::fold(type_comment, folder)?,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::ClassDef { name,bases,keywords,body,decorator_list,config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::ClassDef {
|
|
|
|
name: Foldable::fold(name, folder)?,
|
|
|
|
bases: Foldable::fold(bases, folder)?,
|
|
|
|
keywords: Foldable::fold(keywords, folder)?,
|
|
|
|
body: Foldable::fold(body, folder)?,
|
|
|
|
decorator_list: Foldable::fold(decorator_list, folder)?,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::Return { value,config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::Return {
|
|
|
|
value: Foldable::fold(value, folder)?,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::Delete { targets,config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::Delete {
|
|
|
|
targets: Foldable::fold(targets, folder)?,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::Assign { targets,value,type_comment,config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::Assign {
|
|
|
|
targets: Foldable::fold(targets, folder)?,
|
|
|
|
value: Foldable::fold(value, folder)?,
|
|
|
|
type_comment: Foldable::fold(type_comment, folder)?,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::AugAssign { target,op,value,config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::AugAssign {
|
|
|
|
target: Foldable::fold(target, folder)?,
|
|
|
|
op: Foldable::fold(op, folder)?,
|
|
|
|
value: Foldable::fold(value, folder)?,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::AnnAssign { target,annotation,value,simple,config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::AnnAssign {
|
|
|
|
target: Foldable::fold(target, folder)?,
|
|
|
|
annotation: Foldable::fold(annotation, folder)?,
|
|
|
|
value: Foldable::fold(value, folder)?,
|
|
|
|
simple: Foldable::fold(simple, folder)?,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::For { target,iter,body,orelse,type_comment,config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::For {
|
|
|
|
target: Foldable::fold(target, folder)?,
|
|
|
|
iter: Foldable::fold(iter, folder)?,
|
|
|
|
body: Foldable::fold(body, folder)?,
|
|
|
|
orelse: Foldable::fold(orelse, folder)?,
|
|
|
|
type_comment: Foldable::fold(type_comment, folder)?,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::AsyncFor { target,iter,body,orelse,type_comment,config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::AsyncFor {
|
|
|
|
target: Foldable::fold(target, folder)?,
|
|
|
|
iter: Foldable::fold(iter, folder)?,
|
|
|
|
body: Foldable::fold(body, folder)?,
|
|
|
|
orelse: Foldable::fold(orelse, folder)?,
|
|
|
|
type_comment: Foldable::fold(type_comment, folder)?,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::While { test,body,orelse,config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::While {
|
|
|
|
test: Foldable::fold(test, folder)?,
|
|
|
|
body: Foldable::fold(body, folder)?,
|
|
|
|
orelse: Foldable::fold(orelse, folder)?,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::If { test,body,orelse,config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::If {
|
|
|
|
test: Foldable::fold(test, folder)?,
|
|
|
|
body: Foldable::fold(body, folder)?,
|
|
|
|
orelse: Foldable::fold(orelse, folder)?,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::With { items,body,type_comment,config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::With {
|
|
|
|
items: Foldable::fold(items, folder)?,
|
|
|
|
body: Foldable::fold(body, folder)?,
|
|
|
|
type_comment: Foldable::fold(type_comment, folder)?,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::AsyncWith { items,body,type_comment,config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::AsyncWith {
|
|
|
|
items: Foldable::fold(items, folder)?,
|
|
|
|
body: Foldable::fold(body, folder)?,
|
|
|
|
type_comment: Foldable::fold(type_comment, folder)?,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::Raise { exc,cause,config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::Raise {
|
|
|
|
exc: Foldable::fold(exc, folder)?,
|
|
|
|
cause: Foldable::fold(cause, folder)?,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::Try { body,handlers,orelse,finalbody,config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::Try {
|
|
|
|
body: Foldable::fold(body, folder)?,
|
|
|
|
handlers: Foldable::fold(handlers, folder)?,
|
|
|
|
orelse: Foldable::fold(orelse, folder)?,
|
|
|
|
finalbody: Foldable::fold(finalbody, folder)?,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::Assert { test,msg,config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::Assert {
|
|
|
|
test: Foldable::fold(test, folder)?,
|
|
|
|
msg: Foldable::fold(msg, folder)?,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::Import { names,config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::Import {
|
|
|
|
names: Foldable::fold(names, folder)?,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::ImportFrom { module,names,level,config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::ImportFrom {
|
|
|
|
module: Foldable::fold(module, folder)?,
|
|
|
|
names: Foldable::fold(names, folder)?,
|
|
|
|
level: Foldable::fold(level, folder)?,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::Global { names,config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::Global {
|
|
|
|
names: Foldable::fold(names, folder)?,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::Nonlocal { names,config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::Nonlocal {
|
|
|
|
names: Foldable::fold(names, folder)?,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::Expr { value,config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::Expr {
|
|
|
|
value: Foldable::fold(value, folder)?,
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::Pass { config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::Pass {
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::Break { config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::Break {
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
2021-11-04 15:01:50 +08:00
|
|
|
StmtKind::Continue { config_comment } => {
|
2021-11-03 16:35:16 +08:00
|
|
|
Ok(StmtKind::Continue {
|
2021-11-04 15:01:50 +08:00
|
|
|
config_comment: Foldable::fold(config_comment, folder)?,
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
|
|
|
}
|
|
|
|
}
|
|
|
|
})
|
2021-11-03 16:34:05 +08:00
|
|
|
}
|
|
|
|
impl<T, U> Foldable<T, U> for Expr<T> {
|
|
|
|
type Mapped = Expr<U>;
|
2021-11-03 16:35:16 +08:00
|
|
|
fn fold<F: Fold<T, TargetU = U> + ?Sized>(self, folder: &mut F) -> Result<Self::Mapped, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
folder.fold_expr(self)
|
|
|
|
}
|
|
|
|
}
|
2021-11-03 16:35:16 +08:00
|
|
|
pub fn fold_expr<U, F: Fold<U> + ?Sized>(#[allow(unused)] folder: &mut F, node: Expr<U>) -> Result<Expr<F::TargetU>, F::Error> {
|
|
|
|
fold_located(folder, node, |folder, node| {
|
|
|
|
match node {
|
|
|
|
ExprKind::BoolOp { op,values } => {
|
|
|
|
Ok(ExprKind::BoolOp {
|
|
|
|
op: Foldable::fold(op, folder)?,
|
|
|
|
values: Foldable::fold(values, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::NamedExpr { target,value } => {
|
|
|
|
Ok(ExprKind::NamedExpr {
|
|
|
|
target: Foldable::fold(target, folder)?,
|
|
|
|
value: Foldable::fold(value, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::BinOp { left,op,right } => {
|
|
|
|
Ok(ExprKind::BinOp {
|
|
|
|
left: Foldable::fold(left, folder)?,
|
|
|
|
op: Foldable::fold(op, folder)?,
|
|
|
|
right: Foldable::fold(right, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::UnaryOp { op,operand } => {
|
|
|
|
Ok(ExprKind::UnaryOp {
|
|
|
|
op: Foldable::fold(op, folder)?,
|
|
|
|
operand: Foldable::fold(operand, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::Lambda { args,body } => {
|
|
|
|
Ok(ExprKind::Lambda {
|
|
|
|
args: Foldable::fold(args, folder)?,
|
|
|
|
body: Foldable::fold(body, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::IfExp { test,body,orelse } => {
|
|
|
|
Ok(ExprKind::IfExp {
|
|
|
|
test: Foldable::fold(test, folder)?,
|
|
|
|
body: Foldable::fold(body, folder)?,
|
|
|
|
orelse: Foldable::fold(orelse, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::Dict { keys,values } => {
|
|
|
|
Ok(ExprKind::Dict {
|
|
|
|
keys: Foldable::fold(keys, folder)?,
|
|
|
|
values: Foldable::fold(values, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::Set { elts } => {
|
|
|
|
Ok(ExprKind::Set {
|
|
|
|
elts: Foldable::fold(elts, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::ListComp { elt,generators } => {
|
|
|
|
Ok(ExprKind::ListComp {
|
|
|
|
elt: Foldable::fold(elt, folder)?,
|
|
|
|
generators: Foldable::fold(generators, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::SetComp { elt,generators } => {
|
|
|
|
Ok(ExprKind::SetComp {
|
|
|
|
elt: Foldable::fold(elt, folder)?,
|
|
|
|
generators: Foldable::fold(generators, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::DictComp { key,value,generators } => {
|
|
|
|
Ok(ExprKind::DictComp {
|
|
|
|
key: Foldable::fold(key, folder)?,
|
|
|
|
value: Foldable::fold(value, folder)?,
|
|
|
|
generators: Foldable::fold(generators, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::GeneratorExp { elt,generators } => {
|
|
|
|
Ok(ExprKind::GeneratorExp {
|
|
|
|
elt: Foldable::fold(elt, folder)?,
|
|
|
|
generators: Foldable::fold(generators, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::Await { value } => {
|
|
|
|
Ok(ExprKind::Await {
|
|
|
|
value: Foldable::fold(value, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::Yield { value } => {
|
|
|
|
Ok(ExprKind::Yield {
|
|
|
|
value: Foldable::fold(value, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::YieldFrom { value } => {
|
|
|
|
Ok(ExprKind::YieldFrom {
|
|
|
|
value: Foldable::fold(value, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::Compare { left,ops,comparators } => {
|
|
|
|
Ok(ExprKind::Compare {
|
|
|
|
left: Foldable::fold(left, folder)?,
|
|
|
|
ops: Foldable::fold(ops, folder)?,
|
|
|
|
comparators: Foldable::fold(comparators, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::Call { func,args,keywords } => {
|
|
|
|
Ok(ExprKind::Call {
|
|
|
|
func: Foldable::fold(func, folder)?,
|
|
|
|
args: Foldable::fold(args, folder)?,
|
|
|
|
keywords: Foldable::fold(keywords, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::FormattedValue { value,conversion,format_spec } => {
|
|
|
|
Ok(ExprKind::FormattedValue {
|
|
|
|
value: Foldable::fold(value, folder)?,
|
|
|
|
conversion: Foldable::fold(conversion, folder)?,
|
|
|
|
format_spec: Foldable::fold(format_spec, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::JoinedStr { values } => {
|
|
|
|
Ok(ExprKind::JoinedStr {
|
|
|
|
values: Foldable::fold(values, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::Constant { value,kind } => {
|
|
|
|
Ok(ExprKind::Constant {
|
|
|
|
value: Foldable::fold(value, folder)?,
|
|
|
|
kind: Foldable::fold(kind, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::Attribute { value,attr,ctx } => {
|
|
|
|
Ok(ExprKind::Attribute {
|
|
|
|
value: Foldable::fold(value, folder)?,
|
|
|
|
attr: Foldable::fold(attr, folder)?,
|
|
|
|
ctx: Foldable::fold(ctx, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::Subscript { value,slice,ctx } => {
|
|
|
|
Ok(ExprKind::Subscript {
|
|
|
|
value: Foldable::fold(value, folder)?,
|
|
|
|
slice: Foldable::fold(slice, folder)?,
|
|
|
|
ctx: Foldable::fold(ctx, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::Starred { value,ctx } => {
|
|
|
|
Ok(ExprKind::Starred {
|
|
|
|
value: Foldable::fold(value, folder)?,
|
|
|
|
ctx: Foldable::fold(ctx, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::Name { id,ctx } => {
|
|
|
|
Ok(ExprKind::Name {
|
|
|
|
id: Foldable::fold(id, folder)?,
|
|
|
|
ctx: Foldable::fold(ctx, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::List { elts,ctx } => {
|
|
|
|
Ok(ExprKind::List {
|
|
|
|
elts: Foldable::fold(elts, folder)?,
|
|
|
|
ctx: Foldable::fold(ctx, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::Tuple { elts,ctx } => {
|
|
|
|
Ok(ExprKind::Tuple {
|
|
|
|
elts: Foldable::fold(elts, folder)?,
|
|
|
|
ctx: Foldable::fold(ctx, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprKind::Slice { lower,upper,step } => {
|
|
|
|
Ok(ExprKind::Slice {
|
|
|
|
lower: Foldable::fold(lower, folder)?,
|
|
|
|
upper: Foldable::fold(upper, folder)?,
|
|
|
|
step: Foldable::fold(step, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
}
|
|
|
|
})
|
2021-11-03 16:34:05 +08:00
|
|
|
}
|
|
|
|
impl<T, U> Foldable<T, U> for ExprContext {
|
|
|
|
type Mapped = ExprContext;
|
2021-11-03 16:35:16 +08:00
|
|
|
fn fold<F: Fold<T, TargetU = U> + ?Sized>(self, folder: &mut F) -> Result<Self::Mapped, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
folder.fold_expr_context(self)
|
|
|
|
}
|
|
|
|
}
|
2021-11-03 16:35:16 +08:00
|
|
|
pub fn fold_expr_context<U, F: Fold<U> + ?Sized>(#[allow(unused)] folder: &mut F, node: ExprContext) -> Result<ExprContext, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
match node {
|
2021-11-03 16:35:16 +08:00
|
|
|
ExprContext::Load { } => {
|
|
|
|
Ok(ExprContext::Load {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprContext::Store { } => {
|
|
|
|
Ok(ExprContext::Store {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ExprContext::Del { } => {
|
|
|
|
Ok(ExprContext::Del {
|
|
|
|
})
|
|
|
|
}
|
2021-11-03 16:34:05 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
impl<T, U> Foldable<T, U> for Boolop {
|
|
|
|
type Mapped = Boolop;
|
2021-11-03 16:35:16 +08:00
|
|
|
fn fold<F: Fold<T, TargetU = U> + ?Sized>(self, folder: &mut F) -> Result<Self::Mapped, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
folder.fold_boolop(self)
|
|
|
|
}
|
|
|
|
}
|
2021-11-03 16:35:16 +08:00
|
|
|
pub fn fold_boolop<U, F: Fold<U> + ?Sized>(#[allow(unused)] folder: &mut F, node: Boolop) -> Result<Boolop, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
match node {
|
2021-11-03 16:35:16 +08:00
|
|
|
Boolop::And { } => {
|
|
|
|
Ok(Boolop::And {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Boolop::Or { } => {
|
|
|
|
Ok(Boolop::Or {
|
|
|
|
})
|
|
|
|
}
|
2021-11-03 16:34:05 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
impl<T, U> Foldable<T, U> for Operator {
|
|
|
|
type Mapped = Operator;
|
2021-11-03 16:35:16 +08:00
|
|
|
fn fold<F: Fold<T, TargetU = U> + ?Sized>(self, folder: &mut F) -> Result<Self::Mapped, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
folder.fold_operator(self)
|
|
|
|
}
|
|
|
|
}
|
2021-11-03 16:35:16 +08:00
|
|
|
pub fn fold_operator<U, F: Fold<U> + ?Sized>(#[allow(unused)] folder: &mut F, node: Operator) -> Result<Operator, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
match node {
|
2021-11-03 16:35:16 +08:00
|
|
|
Operator::Add { } => {
|
|
|
|
Ok(Operator::Add {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Operator::Sub { } => {
|
|
|
|
Ok(Operator::Sub {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Operator::Mult { } => {
|
|
|
|
Ok(Operator::Mult {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Operator::MatMult { } => {
|
|
|
|
Ok(Operator::MatMult {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Operator::Div { } => {
|
|
|
|
Ok(Operator::Div {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Operator::Mod { } => {
|
|
|
|
Ok(Operator::Mod {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Operator::Pow { } => {
|
|
|
|
Ok(Operator::Pow {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Operator::LShift { } => {
|
|
|
|
Ok(Operator::LShift {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Operator::RShift { } => {
|
|
|
|
Ok(Operator::RShift {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Operator::BitOr { } => {
|
|
|
|
Ok(Operator::BitOr {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Operator::BitXor { } => {
|
|
|
|
Ok(Operator::BitXor {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Operator::BitAnd { } => {
|
|
|
|
Ok(Operator::BitAnd {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Operator::FloorDiv { } => {
|
|
|
|
Ok(Operator::FloorDiv {
|
|
|
|
})
|
|
|
|
}
|
2021-11-03 16:34:05 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
impl<T, U> Foldable<T, U> for Unaryop {
|
|
|
|
type Mapped = Unaryop;
|
2021-11-03 16:35:16 +08:00
|
|
|
fn fold<F: Fold<T, TargetU = U> + ?Sized>(self, folder: &mut F) -> Result<Self::Mapped, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
folder.fold_unaryop(self)
|
|
|
|
}
|
|
|
|
}
|
2021-11-03 16:35:16 +08:00
|
|
|
pub fn fold_unaryop<U, F: Fold<U> + ?Sized>(#[allow(unused)] folder: &mut F, node: Unaryop) -> Result<Unaryop, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
match node {
|
2021-11-03 16:35:16 +08:00
|
|
|
Unaryop::Invert { } => {
|
|
|
|
Ok(Unaryop::Invert {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Unaryop::Not { } => {
|
|
|
|
Ok(Unaryop::Not {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Unaryop::UAdd { } => {
|
|
|
|
Ok(Unaryop::UAdd {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Unaryop::USub { } => {
|
|
|
|
Ok(Unaryop::USub {
|
|
|
|
})
|
|
|
|
}
|
2021-11-03 16:34:05 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
impl<T, U> Foldable<T, U> for Cmpop {
|
|
|
|
type Mapped = Cmpop;
|
2021-11-03 16:35:16 +08:00
|
|
|
fn fold<F: Fold<T, TargetU = U> + ?Sized>(self, folder: &mut F) -> Result<Self::Mapped, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
folder.fold_cmpop(self)
|
|
|
|
}
|
|
|
|
}
|
2021-11-03 16:35:16 +08:00
|
|
|
pub fn fold_cmpop<U, F: Fold<U> + ?Sized>(#[allow(unused)] folder: &mut F, node: Cmpop) -> Result<Cmpop, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
match node {
|
2021-11-03 16:35:16 +08:00
|
|
|
Cmpop::Eq { } => {
|
|
|
|
Ok(Cmpop::Eq {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Cmpop::NotEq { } => {
|
|
|
|
Ok(Cmpop::NotEq {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Cmpop::Lt { } => {
|
|
|
|
Ok(Cmpop::Lt {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Cmpop::LtE { } => {
|
|
|
|
Ok(Cmpop::LtE {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Cmpop::Gt { } => {
|
|
|
|
Ok(Cmpop::Gt {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Cmpop::GtE { } => {
|
|
|
|
Ok(Cmpop::GtE {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Cmpop::Is { } => {
|
|
|
|
Ok(Cmpop::Is {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Cmpop::IsNot { } => {
|
|
|
|
Ok(Cmpop::IsNot {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Cmpop::In { } => {
|
|
|
|
Ok(Cmpop::In {
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Cmpop::NotIn { } => {
|
|
|
|
Ok(Cmpop::NotIn {
|
|
|
|
})
|
|
|
|
}
|
2021-11-03 16:34:05 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
impl<T, U> Foldable<T, U> for Comprehension<T> {
|
|
|
|
type Mapped = Comprehension<U>;
|
2021-11-03 16:35:16 +08:00
|
|
|
fn fold<F: Fold<T, TargetU = U> + ?Sized>(self, folder: &mut F) -> Result<Self::Mapped, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
folder.fold_comprehension(self)
|
|
|
|
}
|
|
|
|
}
|
2021-11-03 16:35:16 +08:00
|
|
|
pub fn fold_comprehension<U, F: Fold<U> + ?Sized>(#[allow(unused)] folder: &mut F, node: Comprehension<U>) -> Result<Comprehension<F::TargetU>, F::Error> {
|
|
|
|
let Comprehension { target,iter,ifs,is_async } = node;
|
2021-11-03 16:34:05 +08:00
|
|
|
Ok(Comprehension {
|
|
|
|
target: Foldable::fold(target, folder)?,
|
|
|
|
iter: Foldable::fold(iter, folder)?,
|
|
|
|
ifs: Foldable::fold(ifs, folder)?,
|
|
|
|
is_async: Foldable::fold(is_async, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
impl<T, U> Foldable<T, U> for Excepthandler<T> {
|
|
|
|
type Mapped = Excepthandler<U>;
|
2021-11-03 16:35:16 +08:00
|
|
|
fn fold<F: Fold<T, TargetU = U> + ?Sized>(self, folder: &mut F) -> Result<Self::Mapped, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
folder.fold_excepthandler(self)
|
|
|
|
}
|
|
|
|
}
|
2021-11-03 16:35:16 +08:00
|
|
|
pub fn fold_excepthandler<U, F: Fold<U> + ?Sized>(#[allow(unused)] folder: &mut F, node: Excepthandler<U>) -> Result<Excepthandler<F::TargetU>, F::Error> {
|
|
|
|
fold_located(folder, node, |folder, node| {
|
|
|
|
match node {
|
|
|
|
ExcepthandlerKind::ExceptHandler { type_,name,body } => {
|
2021-11-03 16:34:05 +08:00
|
|
|
Ok(ExcepthandlerKind::ExceptHandler {
|
|
|
|
type_: Foldable::fold(type_, folder)?,
|
|
|
|
name: Foldable::fold(name, folder)?,
|
|
|
|
body: Foldable::fold(body, folder)?,
|
|
|
|
})
|
|
|
|
}
|
2021-11-03 16:35:16 +08:00
|
|
|
}
|
|
|
|
})
|
2021-11-03 16:34:05 +08:00
|
|
|
}
|
|
|
|
impl<T, U> Foldable<T, U> for Arguments<T> {
|
|
|
|
type Mapped = Arguments<U>;
|
2021-11-03 16:35:16 +08:00
|
|
|
fn fold<F: Fold<T, TargetU = U> + ?Sized>(self, folder: &mut F) -> Result<Self::Mapped, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
folder.fold_arguments(self)
|
|
|
|
}
|
|
|
|
}
|
2021-11-03 16:35:16 +08:00
|
|
|
pub fn fold_arguments<U, F: Fold<U> + ?Sized>(#[allow(unused)] folder: &mut F, node: Arguments<U>) -> Result<Arguments<F::TargetU>, F::Error> {
|
|
|
|
let Arguments { posonlyargs,args,vararg,kwonlyargs,kw_defaults,kwarg,defaults } = node;
|
2021-11-03 16:34:05 +08:00
|
|
|
Ok(Arguments {
|
|
|
|
posonlyargs: Foldable::fold(posonlyargs, folder)?,
|
|
|
|
args: Foldable::fold(args, folder)?,
|
|
|
|
vararg: Foldable::fold(vararg, folder)?,
|
|
|
|
kwonlyargs: Foldable::fold(kwonlyargs, folder)?,
|
|
|
|
kw_defaults: Foldable::fold(kw_defaults, folder)?,
|
|
|
|
kwarg: Foldable::fold(kwarg, folder)?,
|
|
|
|
defaults: Foldable::fold(defaults, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
impl<T, U> Foldable<T, U> for Arg<T> {
|
|
|
|
type Mapped = Arg<U>;
|
2021-11-03 16:35:16 +08:00
|
|
|
fn fold<F: Fold<T, TargetU = U> + ?Sized>(self, folder: &mut F) -> Result<Self::Mapped, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
folder.fold_arg(self)
|
|
|
|
}
|
|
|
|
}
|
2021-11-03 16:35:16 +08:00
|
|
|
pub fn fold_arg<U, F: Fold<U> + ?Sized>(#[allow(unused)] folder: &mut F, node: Arg<U>) -> Result<Arg<F::TargetU>, F::Error> {
|
|
|
|
fold_located(folder, node, |folder, node| {
|
|
|
|
let ArgData { arg,annotation,type_comment } = node;
|
|
|
|
Ok(ArgData {
|
|
|
|
arg: Foldable::fold(arg, folder)?,
|
|
|
|
annotation: Foldable::fold(annotation, folder)?,
|
|
|
|
type_comment: Foldable::fold(type_comment, folder)?,
|
2021-11-03 16:34:05 +08:00
|
|
|
})
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
2021-11-03 16:34:05 +08:00
|
|
|
}
|
|
|
|
impl<T, U> Foldable<T, U> for Keyword<T> {
|
|
|
|
type Mapped = Keyword<U>;
|
2021-11-03 16:35:16 +08:00
|
|
|
fn fold<F: Fold<T, TargetU = U> + ?Sized>(self, folder: &mut F) -> Result<Self::Mapped, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
folder.fold_keyword(self)
|
|
|
|
}
|
|
|
|
}
|
2021-11-03 16:35:16 +08:00
|
|
|
pub fn fold_keyword<U, F: Fold<U> + ?Sized>(#[allow(unused)] folder: &mut F, node: Keyword<U>) -> Result<Keyword<F::TargetU>, F::Error> {
|
|
|
|
fold_located(folder, node, |folder, node| {
|
|
|
|
let KeywordData { arg,value } = node;
|
|
|
|
Ok(KeywordData {
|
|
|
|
arg: Foldable::fold(arg, folder)?,
|
|
|
|
value: Foldable::fold(value, folder)?,
|
2021-11-03 16:34:05 +08:00
|
|
|
})
|
2021-11-03 16:35:16 +08:00
|
|
|
})
|
2021-11-03 16:34:05 +08:00
|
|
|
}
|
|
|
|
impl<T, U> Foldable<T, U> for Alias {
|
|
|
|
type Mapped = Alias;
|
2021-11-03 16:35:16 +08:00
|
|
|
fn fold<F: Fold<T, TargetU = U> + ?Sized>(self, folder: &mut F) -> Result<Self::Mapped, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
folder.fold_alias(self)
|
|
|
|
}
|
|
|
|
}
|
2021-11-03 16:35:16 +08:00
|
|
|
pub fn fold_alias<U, F: Fold<U> + ?Sized>(#[allow(unused)] folder: &mut F, node: Alias) -> Result<Alias, F::Error> {
|
|
|
|
let Alias { name,asname } = node;
|
2021-11-03 16:34:05 +08:00
|
|
|
Ok(Alias {
|
|
|
|
name: Foldable::fold(name, folder)?,
|
|
|
|
asname: Foldable::fold(asname, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
impl<T, U> Foldable<T, U> for Withitem<T> {
|
|
|
|
type Mapped = Withitem<U>;
|
2021-11-03 16:35:16 +08:00
|
|
|
fn fold<F: Fold<T, TargetU = U> + ?Sized>(self, folder: &mut F) -> Result<Self::Mapped, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
folder.fold_withitem(self)
|
|
|
|
}
|
|
|
|
}
|
2021-11-03 16:35:16 +08:00
|
|
|
pub fn fold_withitem<U, F: Fold<U> + ?Sized>(#[allow(unused)] folder: &mut F, node: Withitem<U>) -> Result<Withitem<F::TargetU>, F::Error> {
|
|
|
|
let Withitem { context_expr,optional_vars } = node;
|
2021-11-03 16:34:05 +08:00
|
|
|
Ok(Withitem {
|
|
|
|
context_expr: Foldable::fold(context_expr, folder)?,
|
|
|
|
optional_vars: Foldable::fold(optional_vars, folder)?,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
impl<T, U> Foldable<T, U> for TypeIgnore {
|
|
|
|
type Mapped = TypeIgnore;
|
2021-11-03 16:35:16 +08:00
|
|
|
fn fold<F: Fold<T, TargetU = U> + ?Sized>(self, folder: &mut F) -> Result<Self::Mapped, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
folder.fold_type_ignore(self)
|
|
|
|
}
|
|
|
|
}
|
2021-11-03 16:35:16 +08:00
|
|
|
pub fn fold_type_ignore<U, F: Fold<U> + ?Sized>(#[allow(unused)] folder: &mut F, node: TypeIgnore) -> Result<TypeIgnore, F::Error> {
|
2021-11-03 16:34:05 +08:00
|
|
|
match node {
|
2021-11-03 16:35:16 +08:00
|
|
|
TypeIgnore::TypeIgnore { lineno,tag } => {
|
|
|
|
Ok(TypeIgnore::TypeIgnore {
|
|
|
|
lineno: Foldable::fold(lineno, folder)?,
|
|
|
|
tag: Foldable::fold(tag, folder)?,
|
|
|
|
})
|
|
|
|
}
|
2021-11-03 16:34:05 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2021-11-03 16:35:16 +08:00
|
|
|
|