1
  
2
  
3
  
4
  
5
  
6
  
7
  
8
  
9
  
10
  
11
  
12
  
13
  
14
  
15
  
16
  
17
  
18
  
19
  
20
  
21
  
22
  
23
  
24
  
25
  
26
  
27
  
28
  
29
  
30
  
31
  
32
  
33
  
34
  
35
  
36
  
37
  
38
  
39
  
40
  
41
  
42
  
43
  
44
  
45
  
46
  
47
  
48
  
49
  
50
  
51
  
52
  
53
  
54
  
55
  
56
  
57
  
58
  
59
  
60
  
61
  
62
  
63
  
64
  
65
  
66
  
67
  
68
  
69
  
70
  
71
  
72
  
73
  
74
  
75
  
76
  
77
  
78
  
79
  
80
  
81
  
82
  
83
  
84
  
85
  
86
  
87
  
88
  
89
  
90
  
91
  
92
  
93
  
94
  
95
  
96
  
97
  
98
  
99
  
100
  
101
  
102
  
103
  
104
  
105
  
106
  
107
  
108
  
109
  
110
  
111
  
112
  
113
  
114
  
115
  
116
  
117
  
118
  
119
  
120
  
121
  
122
  
123
  
124
  
125
  
126
  
127
  
128
  
129
  
130
  
131
  
132
  
133
  
134
  
135
  
136
  
137
  
138
  
139
  
140
  
141
  
142
  
143
  
144
  
145
  
146
  
147
  
148
  
149
  
150
  
151
  
152
  
153
  
154
  
155
  
156
  
157
  
158
  
159
  
160
  
161
  
162
  
163
  
164
  
165
  
166
  
167
  
168
  
169
  
170
  
171
  
172
  
173
  
174
  
175
  
176
  
177
  
178
  
179
  
180
  
181
  
182
  
183
  
184
  
185
  
186
  
187
  
188
  
189
  
190
  
191
  
192
  
193
  
194
  
195
  
196
  
197
  
198
  
199
  
200
  
201
  
202
  
203
  
204
  
205
  
206
  
207
  
208
  
209
  
210
  
211
  
212
  
213
  
214
  
215
  
216
  
217
  
218
  
219
  
220
  
221
  
222
  
223
  
224
  
225
  
226
  
227
  
228
  
229
  
230
  
231
  
232
  
233
  
234
  
235
  
236
  
237
  
238
  
239
  
240
  
241
  
242
  
243
  
244
  
245
  
246
  
247
  
248
  
249
  
250
  
251
  
252
  
253
  
254
  
255
  
256
  
257
  
258
  
259
  
260
  
261
  
262
  
263
  
264
  
265
  
266
  
267
  
268
  
269
  
270
  
271
  
272
  
273
  
274
  
275
  
276
  
277
  
278
  
279
  
280
  
281
  
282
  
283
  
284
  
285
  
286
  
287
  
288
  
289
  
290
  
291
  
292
  
293
  
294
  
295
  
296
  
297
  
298
  
299
  
300
  
301
  
302
  
303
  
304
  
305
  
306
  
307
  
308
  
#include "sass.hpp" 
#include "bind.hpp" 
#include "ast.hpp" 
#include "context.hpp" 
#include "eval.hpp" 
#include <map> 
#include <iostream> 
#include <sstream> 
 
namespace Sass { 
 
  void bind(std::string type, std::string name, Parameters_Obj ps, Arguments_Obj as, Context* ctx, Env* env, Eval* eval) 
  { 
    std::string callee(type + " " + name); 
 
    std::map<std::string, Parameter_Obj> param_map; 
    List_Obj varargs = SASS_MEMORY_NEW(List, as->pstate()); 
    varargs->is_arglist(true); // enable keyword size handling 
 
    for (size_t i = 0, L = as->length(); i < L; ++i) { 
      if (auto str = Cast<String_Quoted>((*as)[i]->value())) { 
        // force optional quotes (only if needed) 
        if (str->quote_mark()) { 
          str->quote_mark('*'); 
        } 
      } 
    } 
 
    // Set up a map to ensure named arguments refer to actual parameters. Also 
    // eval each default value left-to-right, wrt env, populating env as we go. 
    for (size_t i = 0, L = ps->length(); i < L; ++i) { 
      Parameter_Obj  p = ps->at(i); 
      param_map[p->name()] = p; 
      // if (p->default_value()) { 
      //   env->local_frame()[p->name()] = p->default_value()->perform(eval->with(env)); 
      // } 
    } 
 
    // plug in all args; if we have leftover params, deal with it later 
    size_t ip = 0, LP = ps->length(); 
    size_t ia = 0, LA = as->length(); 
    while (ia < LA) { 
      Argument_Obj a = as->at(ia); 
      if (ip >= LP) { 
        // skip empty rest arguments 
        if (a->is_rest_argument()) { 
          if (List_Obj l = Cast<List>(a->value())) { 
            if (l->length() == 0) { 
              ++ ia; continue; 
            } 
          } 
        } 
        std::stringstream msg; 
        msg << "wrong number of arguments (" << LA << " for " << LP << ")"; 
        msg << " for `" << name << "'"; 
        return error(msg.str(), as->pstate()); 
      } 
      Parameter_Obj p = ps->at(ip); 
 
      // If the current parameter is the rest parameter, process and break the loop 
      if (p->is_rest_parameter()) { 
        // The next argument by coincidence provides a rest argument 
        if (a->is_rest_argument()) { 
 
          // We should always get a list for rest arguments 
          if (List_Obj rest = Cast<List>(a->value())) { 
              // create a new list object for wrapped items 
              List_Ptr arglist = SASS_MEMORY_NEW(List, 
                                              p->pstate(), 
                                              0, 
                                              rest->separator(), 
                                              true); 
              // wrap each item from list as an argument 
              for (Expression_Obj item : rest->elements()) { 
                if (Argument_Obj arg = Cast<Argument>(item)) { 
                  arglist->append(SASS_MEMORY_COPY(arg)); // copy 
                } else { 
                  arglist->append(SASS_MEMORY_NEW(Argument, 
                                                  item->pstate(), 
                                                  item, 
                                                  "", 
                                                  false, 
                                                  false)); 
                } 
              } 
              // assign new arglist to environment 
              env->local_frame()[p->name()] = arglist; 
            } 
          // invalid state 
          else { 
            throw std::runtime_error("invalid state"); 
          } 
        } else if (a->is_keyword_argument()) { 
 
          // expand keyword arguments into their parameters 
          List_Ptr arglist = SASS_MEMORY_NEW(List, p->pstate(), 0, SASS_COMMA, true); 
          env->local_frame()[p->name()] = arglist; 
          Map_Obj argmap = Cast<Map>(a->value()); 
          for (auto key : argmap->keys()) { 
            if (String_Constant_Obj str = Cast<String_Constant>(key)) { 
              std::string param = unquote(str->value()); 
              arglist->append(SASS_MEMORY_NEW(Argument, 
                                              key->pstate(), 
                                              argmap->at(key), 
                                              "$" + param, 
                                              false, 
                                              false)); 
            } else { 
              throw Exception::InvalidVarKwdType(key->pstate(), key->inspect(), a); 
            } 
          } 
 
        } else { 
 
          // create a new list object for wrapped items 
          List_Obj arglist = SASS_MEMORY_NEW(List, 
                                          p->pstate(), 
                                          0, 
                                          SASS_COMMA, 
                                          true); 
          // consume the next args 
          while (ia < LA) { 
            // get and post inc 
            a = (*as)[ia++]; 
            // maybe we have another list as argument 
            List_Obj ls = Cast<List>(a->value()); 
            // skip any list completely if empty 
            if (ls && ls->empty() && a->is_rest_argument()) continue; 
 
            Expression_Obj value = a->value(); 
            if (Argument_Obj arg = Cast<Argument>(value)) { 
              arglist->append(arg); 
            } 
            // check if we have rest argument 
            else if (a->is_rest_argument()) { 
              // preserve the list separator from rest args 
              if (List_Obj rest = Cast<List>(a->value())) { 
                arglist->separator(rest->separator()); 
 
                for (size_t i = 0, L = rest->length(); i < L; ++i) { 
                  Expression_Obj obj = rest->value_at_index(i); 
                  arglist->append(SASS_MEMORY_NEW(Argument, 
                                                obj->pstate(), 
                                                obj, 
                                                "", 
                                                false, 
                                                false)); 
                } 
              } 
              // no more arguments 
              break; 
            } 
            // wrap all other value types into Argument 
            else { 
              arglist->append(SASS_MEMORY_NEW(Argument, 
                                            a->pstate(), 
                                            a->value(), 
                                            a->name(), 
                                            false, 
                                            false)); 
            } 
          } 
          // assign new arglist to environment 
          env->local_frame()[p->name()] = arglist; 
        } 
        // consumed parameter 
        ++ip; 
        // no more paramaters 
        break; 
      } 
 
      // If the current argument is the rest argument, extract a value for processing 
      else if (a->is_rest_argument()) { 
        // normal param and rest arg 
        List_Obj arglist = Cast<List>(a->value()); 
        if (!arglist) { 
          if (Expression_Obj arg = Cast<Expression>(a->value())) { 
            arglist = SASS_MEMORY_NEW(List, a->pstate(), 1); 
            arglist->append(arg); 
          } 
        } 
 
        // empty rest arg - treat all args as default values 
        if (!arglist || !arglist->length()) { 
          break; 
        } else { 
          if (arglist->length() > LP - ip && !ps->has_rest_parameter()) { 
            size_t arg_count = (arglist->length() + LA - 1); 
            std::stringstream msg; 
            msg << callee << " takes " << LP; 
            msg << (LP == 1 ? " argument" : " arguments"); 
            msg << " but " << arg_count; 
            msg << (arg_count == 1 ? " was passed" : " were passed."); 
            deprecated_bind(msg.str(), as->pstate()); 
 
            while (arglist->length() > LP - ip) { 
              arglist->elements().erase(arglist->elements().end() - 1); 
            } 
          } 
        } 
        // otherwise move one of the rest args into the param, converting to argument if necessary 
        Expression_Obj obj = arglist->at(0); 
        if (!(a = Cast<Argument>(obj))) { 
          Expression_Ptr a_to_convert = obj; 
          a = SASS_MEMORY_NEW(Argument, 
                              a_to_convert->pstate(), 
                              a_to_convert, 
                              "", 
                              false, 
                              false); 
        } 
        arglist->elements().erase(arglist->elements().begin()); 
        if (!arglist->length() || (!arglist->is_arglist() && ip + 1 == LP)) { 
          ++ia; 
        } 
 
      } else if (a->is_keyword_argument()) { 
        Map_Obj argmap = Cast<Map>(a->value()); 
 
        for (auto key : argmap->keys()) { 
          String_Constant_Ptr val = Cast<String_Constant>(key); 
          if (val == NULL) throw Exception::InvalidVarKwdType(key->pstate(), key->inspect(), a); 
          std::string param = "$" + unquote(val->value()); 
 
          if (!param_map.count(param)) { 
            std::stringstream msg; 
            msg << callee << " has no parameter named " << param; 
            error(msg.str(), a->pstate()); 
          } 
          env->local_frame()[param] = argmap->at(key); 
        } 
        ++ia; 
        continue; 
      } else { 
        ++ia; 
      } 
 
      if (a->name().empty()) { 
        if (env->has_local(p->name())) { 
          std::stringstream msg; 
          msg << "parameter " << p->name() 
          << " provided more than once in call to " << callee; 
          error(msg.str(), a->pstate()); 
        } 
        // ordinal arg -- bind it to the next param 
        env->local_frame()[p->name()] = a->value(); 
        ++ip; 
      } 
      else { 
        // named arg -- bind it to the appropriately named param 
        if (!param_map.count(a->name())) { 
          if (ps->has_rest_parameter()) { 
            varargs->append(a); 
          } else { 
            std::stringstream msg; 
            msg << callee << " has no parameter named " << a->name(); 
            error(msg.str(), a->pstate()); 
          } 
        } 
        if (param_map[a->name()]) { 
          if (param_map[a->name()]->is_rest_parameter()) { 
            std::stringstream msg; 
            msg << "argument " << a->name() << " of " << callee 
                << "cannot be used as named argument"; 
            error(msg.str(), a->pstate()); 
          } 
        } 
        if (env->has_local(a->name())) { 
          std::stringstream msg; 
          msg << "parameter " << p->name() 
              << "provided more than once in call to " << callee; 
          error(msg.str(), a->pstate()); 
        } 
        env->local_frame()[a->name()] = a->value(); 
      } 
    } 
    // EO while ia 
 
    // If we make it here, we're out of args but may have leftover params. 
    // That's only okay if they have default values, or were already bound by 
    // named arguments, or if it's a single rest-param. 
    for (size_t i = ip; i < LP; ++i) { 
      Parameter_Obj leftover = ps->at(i); 
      // cerr << "env for default params:" << endl; 
      // env->print(); 
      // cerr << "********" << endl; 
      if (!env->has_local(leftover->name())) { 
        if (leftover->is_rest_parameter()) { 
          env->local_frame()[leftover->name()] = varargs; 
        } 
        else if (leftover->default_value()) { 
          Expression_Ptr dv = leftover->default_value()->perform(eval); 
          env->local_frame()[leftover->name()] = dv; 
        } 
        else { 
          // param is unbound and has no default value -- error 
          throw Exception::MissingArgument(as->pstate(), name, leftover->name(), type); 
        } 
      } 
    } 
 
    return; 
  } 
 
 
}