@@ -65,7 +65,7 @@ pub fn parse_ty_closure_data<'tcx, F>(data: &[u8],
65
65
-> ty:: ClosureTy < ' tcx > where
66
66
F : FnMut ( DefIdSource , ast:: DefId ) -> ast:: DefId ,
67
67
{
68
- let mut st = PState :: new ( data, crate_num, pos, tcx, & mut conv) ;
68
+ let mut st = TyDecoder :: new ( data, crate_num, pos, tcx, & mut conv) ;
69
69
st. parse_closure_ty ( )
70
70
}
71
71
@@ -74,7 +74,7 @@ pub fn parse_ty_data<'tcx, F>(data: &[u8], crate_num: ast::CrateNum, pos: usize,
74
74
F : FnMut ( DefIdSource , ast:: DefId ) -> ast:: DefId ,
75
75
{
76
76
debug ! ( "parse_ty_data {}" , data_log_string( data, pos) ) ;
77
- let mut st = PState :: new ( data, crate_num, pos, tcx, & mut conv) ;
77
+ let mut st = TyDecoder :: new ( data, crate_num, pos, tcx, & mut conv) ;
78
78
st. parse_ty ( )
79
79
}
80
80
@@ -83,7 +83,7 @@ pub fn parse_region_data<F>(data: &[u8], crate_num: ast::CrateNum, pos: usize, t
83
83
F : FnMut ( DefIdSource , ast:: DefId ) -> ast:: DefId ,
84
84
{
85
85
debug ! ( "parse_region_data {}" , data_log_string( data, pos) ) ;
86
- let mut st = PState :: new ( data, crate_num, pos, tcx, & mut conv) ;
86
+ let mut st = TyDecoder :: new ( data, crate_num, pos, tcx, & mut conv) ;
87
87
st. parse_region ( )
88
88
}
89
89
@@ -93,7 +93,7 @@ pub fn parse_bare_fn_ty_data<'tcx, F>(data: &[u8], crate_num: ast::CrateNum, pos
93
93
F : FnMut ( DefIdSource , ast:: DefId ) -> ast:: DefId ,
94
94
{
95
95
debug ! ( "parse_bare_fn_ty_data {}" , data_log_string( data, pos) ) ;
96
- let mut st = PState :: new ( data, crate_num, pos, tcx, & mut conv) ;
96
+ let mut st = TyDecoder :: new ( data, crate_num, pos, tcx, & mut conv) ;
97
97
st. parse_bare_fn_ty ( )
98
98
}
99
99
@@ -103,7 +103,7 @@ pub fn parse_trait_ref_data<'tcx, F>(data: &[u8], crate_num: ast::CrateNum, pos:
103
103
F : FnMut ( DefIdSource , ast:: DefId ) -> ast:: DefId ,
104
104
{
105
105
debug ! ( "parse_trait_ref_data {}" , data_log_string( data, pos) ) ;
106
- let mut st = PState :: new ( data, crate_num, pos, tcx, & mut conv) ;
106
+ let mut st = TyDecoder :: new ( data, crate_num, pos, tcx, & mut conv) ;
107
107
st. parse_trait_ref ( )
108
108
}
109
109
@@ -112,7 +112,7 @@ pub fn parse_substs_data<'tcx, F>(data: &[u8], crate_num: ast::CrateNum, pos: us
112
112
F : FnMut ( DefIdSource , ast:: DefId ) -> ast:: DefId ,
113
113
{
114
114
debug ! ( "parse_substs_data{}" , data_log_string( data, pos) ) ;
115
- let mut st = PState :: new ( data, crate_num, pos, tcx, & mut conv) ;
115
+ let mut st = TyDecoder :: new ( data, crate_num, pos, tcx, & mut conv) ;
116
116
st. parse_substs ( )
117
117
}
118
118
@@ -121,7 +121,7 @@ pub fn parse_existential_bounds_data<'tcx, F>(data: &[u8], crate_num: ast::Crate
121
121
-> ty:: ExistentialBounds < ' tcx > where
122
122
F : FnMut ( DefIdSource , ast:: DefId ) -> ast:: DefId ,
123
123
{
124
- let mut st = PState :: new ( data, crate_num, pos, tcx, & mut conv) ;
124
+ let mut st = TyDecoder :: new ( data, crate_num, pos, tcx, & mut conv) ;
125
125
st. parse_existential_bounds ( )
126
126
}
127
127
@@ -130,7 +130,7 @@ pub fn parse_builtin_bounds_data<F>(data: &[u8], crate_num: ast::CrateNum,
130
130
-> ty:: BuiltinBounds where
131
131
F : FnMut ( DefIdSource , ast:: DefId ) -> ast:: DefId ,
132
132
{
133
- let mut st = PState :: new ( data, crate_num, pos, tcx, & mut conv) ;
133
+ let mut st = TyDecoder :: new ( data, crate_num, pos, tcx, & mut conv) ;
134
134
st. parse_builtin_bounds ( )
135
135
}
136
136
@@ -139,7 +139,7 @@ pub fn parse_type_param_def_data<'tcx, F>(data: &[u8], start: usize,
139
139
mut conv : F ) -> ty:: TypeParameterDef < ' tcx > where
140
140
F : FnMut ( DefIdSource , ast:: DefId ) -> ast:: DefId ,
141
141
{
142
- let mut st = PState :: new ( data, crate_num, start, tcx, & mut conv) ;
142
+ let mut st = TyDecoder :: new ( data, crate_num, start, tcx, & mut conv) ;
143
143
st. parse_type_param_def ( )
144
144
}
145
145
@@ -151,28 +151,28 @@ pub fn parse_predicate_data<'tcx, F>(data: &[u8],
151
151
-> ty:: Predicate < ' tcx > where
152
152
F : FnMut ( DefIdSource , ast:: DefId ) -> ast:: DefId ,
153
153
{
154
- let mut st = PState :: new ( data, crate_num, start, tcx, & mut conv) ;
154
+ let mut st = TyDecoder :: new ( data, crate_num, start, tcx, & mut conv) ;
155
155
st. parse_predicate ( )
156
156
}
157
157
158
158
pub type DefIdConvert < ' a > = & ' a mut FnMut ( DefIdSource , ast:: DefId ) -> ast:: DefId ;
159
159
160
- pub struct PState < ' a , ' tcx : ' a > {
160
+ pub struct TyDecoder < ' a , ' tcx : ' a > {
161
161
data : & ' a [ u8 ] ,
162
162
krate : ast:: CrateNum ,
163
163
pos : usize ,
164
164
tcx : & ' a ty:: ctxt < ' tcx > ,
165
165
conv_def_id : DefIdConvert < ' a > ,
166
166
}
167
167
168
- impl < ' a , ' tcx > PState < ' a , ' tcx > {
168
+ impl < ' a , ' tcx > TyDecoder < ' a , ' tcx > {
169
169
pub fn new ( data : & ' a [ u8 ] ,
170
170
crate_num : ast:: CrateNum ,
171
171
pos : usize ,
172
172
tcx : & ' a ty:: ctxt < ' tcx > ,
173
173
conv : DefIdConvert < ' a > )
174
- -> PState < ' a , ' tcx > {
175
- PState {
174
+ -> TyDecoder < ' a , ' tcx > {
175
+ TyDecoder {
176
176
data : data,
177
177
krate : crate_num,
178
178
pos : pos,
@@ -231,7 +231,7 @@ impl<'a,'tcx> PState<'a,'tcx> {
231
231
}
232
232
233
233
fn parse_vec_per_param_space < T , F > ( & mut self , mut f : F ) -> VecPerParamSpace < T > where
234
- F : FnMut ( & mut PState < ' a , ' tcx > ) -> T ,
234
+ F : FnMut ( & mut TyDecoder < ' a , ' tcx > ) -> T ,
235
235
{
236
236
let mut r = VecPerParamSpace :: empty ( ) ;
237
237
for & space in & subst:: ParamSpace :: all ( ) {
@@ -374,7 +374,7 @@ impl<'a,'tcx> PState<'a,'tcx> {
374
374
}
375
375
376
376
fn parse_opt < T , F > ( & mut self , f : F ) -> Option < T >
377
- where F : FnOnce ( & mut PState < ' a , ' tcx > ) -> T ,
377
+ where F : FnOnce ( & mut TyDecoder < ' a , ' tcx > ) -> T ,
378
378
{
379
379
match self . next ( ) {
380
380
'n' => None ,
@@ -503,11 +503,11 @@ impl<'a,'tcx> PState<'a,'tcx> {
503
503
None => { }
504
504
}
505
505
506
- let mut substate = PState :: new ( self . data ,
507
- self . krate ,
508
- pos,
509
- self . tcx ,
510
- self . conv_def_id ) ;
506
+ let mut substate = TyDecoder :: new ( self . data ,
507
+ self . krate ,
508
+ pos,
509
+ self . tcx ,
510
+ self . conv_def_id ) ;
511
511
let tt = substate. parse_ty ( ) ;
512
512
tcx. rcache . borrow_mut ( ) . insert ( key, tt) ;
513
513
return tt;
0 commit comments