//
//  MapEnumerator.java
//  
//
//  Created by Maria Eugenia Occhiuto on Fri Jul 04 2003.
//  Copyright (c) 2003 __MyCompanyName__. All rights reserved.
//

import java.util.*;
import java.lang.reflect.*;
import java.lang.*;


public class MapEnumerator extends Enumerator {
private String s;
private Enumerator dom;
public MapEnumerator (String f, Enumerator d ){s=f;dom=d;}

public boolean hasMoreElements(){return dom.hasMoreElements();}

public Object nextElement() 
 {
    try{
        Object o=dom.nextElement();
        Class [] Parm={};
        Method m=o.getClass().getMethod(s,Parm);
        return m.invoke(o,Parm);}


catch(Exception e){System.out.println(e);}
throw new NoSuchElementException();
}}