package org.jacorb.idl; /* * JacORB - a free Java ORB * * Copyright (C) 1997-2014 Gerald Brose / The JacORB Team. * * This library is free software; you can redistribute it and/or * modify it under the terms of the GNU Library General Public * License as published by the Free Software Foundation; either * version 2 of the License, or (at your option) any later version. * * This library 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 * Library General Public License for more details. * * You should have received a copy of the GNU Library General Public * License along with this library; if not, write to the Free * Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */ import java.io.PrintWriter; import java.util.Enumeration; import java.util.Vector; /** * @author Gerald Brose */ public class SymbolList extends IdlSymbol { Vector v; public SymbolList( int num ) { super( num ); v = new Vector(); } /** * Constructs a new SymbolList with a single element. */ public SymbolList (SimpleDeclarator element) { this (new_num()); v.add (element); } public void setPackage( String s ) { s = parser.pack_replace( s ); if( pack_name.length() > 0 ) pack_name = s + "." + pack_name; else pack_name = s; Enumeration e = v.elements(); for( ; e.hasMoreElements(); ) ( (IdlSymbol)e.nextElement() ).setPackage( s ); } public int size() { return v.size(); } public Enumeration elements() { return v.elements(); } public void parse() { Enumeration e = v.elements(); for( ; e.hasMoreElements(); ) ( (IdlSymbol)e.nextElement() ).parse(); } public void print( PrintWriter ps ) { Enumeration e = v.elements(); if( e.hasMoreElements() ) ( (IdlSymbol)e.nextElement() ).print( ps ); for( ; e.hasMoreElements(); ) { ps.print( "," ); ( (IdlSymbol)e.nextElement() ).print( ps ); } } public String toString() { StringBuffer sb = new StringBuffer(); Enumeration e = v.elements(); if( e.hasMoreElements() ) sb.append( e.nextElement() ); for( ; e.hasMoreElements(); ) { sb.append( "," + e.nextElement() ); } return sb.toString(); } }