/******************************************************************************* * * Copyright (C) 2008 Fujitsu Services Ltd. * * Author: Nick Battle * * This file is part of VDMJ. * * VDMJ is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by * the Free Software Foundation, either version 3 of the License, or * (at your option) any later version. * * VDMJ is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with VDMJ. If not, see <http://www.gnu.org/licenses/>. * ******************************************************************************/ package org.overture.interpreter.values; import java.util.Vector; import org.overture.ast.intf.lex.ILexNameToken; import org.overture.ast.util.Utils; @SuppressWarnings("serial") public class NameValuePairList extends Vector<NameValuePair> { public NameValuePairList() { super(); } public NameValuePairList(NameValuePair nv) { add(nv); } public boolean add(ILexNameToken name, Value value) { return super.add(new NameValuePair(name, value)); } @Override public boolean add(NameValuePair nv) { return super.add(nv); } public NameValuePairList getUpdatable(ValueListenerList listeners) { NameValuePairList nlist = new NameValuePairList(); for (NameValuePair nvp : this) { nlist.add(nvp.name, nvp.value.getUpdatable(listeners)); } return nlist; } @Override public String toString() { return Utils.listToString("[", this, ", ", "]"); } }