public static void CheckForDuplicateMacros(Vector macros) throws ParseAlgorithmException {
  int i=0;
  while (i < macros.size()) {
    String namei=((AST.Macro)macros.elementAt(i)).name;
    int j=i + 1;
    while (j < macros.size()) {
      if (namei.equals(((AST.Macro)macros.elementAt(j)).name)) {
        throw new ParseAlgorithmException("Multiple definitions of macro name `" + namei + "'");
      }
      j=j + 1;
    }
    i=i + 1;
  }
}

public static void CheckForDuplicateMacros ( Vector macros ) throws ParseAlgorithmException { int i = 0 ; while ( i < macros . size ( ) ) { String namei = ( ( AST . Macro ) macros . elementAt ( i ) ) . name ; int j = i + 1 ; while ( j < macros . size ( ) ) { if ( namei . equals ( ( ( AST . Macro ) macros . elementAt ( j ) ) . name ) ) { throw new ParseAlgorithmException ( "Multiple definitions of macro name `" + namei + "'" ) ; } j = j + 1 ; } i = i + 1 ; } }
macro expansion * methods for expanding macros .
