JavaGenerationParameters params = getJavaGenerationParameters(); String elementName = StringConversions.capitalize(elementType); String converted = getConverter().makeATermToBuiltinConversion(elementType, "elementAt(index)"); println("  public " + elementTypeName + " get" + elementName + "At(int index) {"); println("    return (" + elementTypeName + ") " + converted + ";"); println("  }"); }
String elementName = StringConversions.capitalize(elementType); String converted = getConverter().makeATermToBuiltinConversion(elementType, "elementAt(index)"); println("  public " + elementTypeName + " get" + elementName + "At(int index) {"); println("    return (" + elementTypeName + ") " + converted + ";"); println("  }"); }
    private void genElementAtMethod() {        JavaGenerationParameters params = getJavaGenerationParameters();        String elementName = StringConversions.capitalize(elementType);        String converted = getConverter().makeATermToBuiltinConversion(elementType, "elementAt(index)");        println("  public " + elementTypeName + " get" + elementName + "At(int index) {");        println("    return (" + elementTypeName + ") " + converted + ";");        println("  }");    }