UmInterDecl.java

import java.util.*;
import java.io.*;

public class UmInterDecl  {

    public void reduce2java( AstProperties props ) {

	    String depth = (String) props.getProperty("inside");

		 // rename only the outer-most interface
		 if (depth == null) {
          if (arg[0] instanceof NameId) {
             String n = arg[0].tok[0].getTokenName();
             arg[0].tok[0].setTokenName(n + kernelConstants.renameId);
          }
			 props.setProperty("inside", "");
          super.reduce2java(props);
			 props.removeProperty("inside");
		 }
		 else {
		    // inside outer-most interface, increment length of depth
			 // which indicates the level of nesting, then decrement
			 props.setProperty("inside", depth + " ");
			 super.reduce2java(props);
			 props.setProperty("inside", depth);
		 }
	 }
}