blob: 1791fc5e1dcebd50d86694138c9dda14b7bdd631 [file] [log] [blame]
/*
* Copyright 2007 Google Inc.
*
* Licensed under the Apache License, Version 2.0 (the "License"); you may not
* use this file except in compliance with the License. You may obtain a copy of
* the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
* WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
* License for the specific language governing permissions and limitations under
* the License.
*/
package com.google.gwt.dev.js.ast;
import java.util.Iterator;
import java.util.NoSuchElementException;
/**
* A special scope used only for catch blocks. It only holds a single symbol:
* the catch argument's name.
*/
public class JsCatchScope extends JsScope {
private final JsName name;
public JsCatchScope(JsScope parent, String ident) {
super(parent, "Catch scope");
this.name = new JsName(this, ident, ident);
}
@Override
public JsName declareName(String ident) {
// Declare into parent scope!
return getParent().declareName(ident);
}
@Override
public JsName declareName(String ident, String shortIdent) {
// Declare into parent scope!
return getParent().declareName(ident, shortIdent);
}
@Override
public Iterator<JsName> getAllNames() {
return new Iterator<JsName>() {
private boolean didIterate = false;
public boolean hasNext() {
return !didIterate;
}
public JsName next() {
if (didIterate) {
throw new NoSuchElementException();
}
didIterate = true;
return name;
}
public void remove() {
throw new UnsupportedOperationException();
}
};
}
@Override
protected JsName doCreateName(String ident, String shortIdent) {
throw new UnsupportedOperationException(
"Cannot create a name in a catch scope");
}
@Override
protected JsName findExistingNameNoRecurse(String ident) {
if (name.getIdent().equals(ident)) {
return name;
} else {
return null;
}
}
}