Home | History | Annotate | Download | only in src

Lines Matching refs:scope_index

1952   var scope_index = 0;
1954     scope_index = %ToNumber(request.arguments.number);
1955     if (scope_index < 0 || scope_holder.scopeCount() <= scope_index) {
1960   response.body = scope_holder.scope(scope_index);
2018   var scope_index = %ToNumber(scope_description.number);
2020   var scope = scope_holder.scope(scope_index);