1.1 restoration

[mir.git] / source / mir / util / GeneratorDateTimeFunctions.java

diff --git a/source/mir/util/GeneratorDateTimeFunctions.java b/source/mir/util/GeneratorDateTimeFunctions.java
index e535f1a..d7d88be 100755 (executable)
--- a/source/mir/util/GeneratorDateTimeFunctions.java
+++ b/source/mir/util/GeneratorDateTimeFunctions.java
@@ -42,7 +42,7 @@ public class GeneratorDateTimeFunctions {
   private GeneratorDateTimeFunctions() {
   }
 
-  public static class FormatDateFunction implements Generator.GeneratorFunction {
+  public static class FormatDateFunction implements Generator.Function {
     private String defaultTimezone;
 
     public FormatDateFunction(String aDefaultTimeZone) {
@@ -96,13 +96,13 @@ public class GeneratorDateTimeFunctions {
 
   public static class DateTimeFunctions  {
     private String defaultTimezone;
-    private Generator.GeneratorFunction formatDate;
+    private Generator.Function formatDate;
 
     public DateTimeFunctions(String aDefaultTimezone) {
       defaultTimezone = aDefaultTimezone;
     }
 
-    public Generator.GeneratorFunction getFormatDate() {
+    public Generator.Function getFormatDate() {
       if (formatDate == null) {
         formatDate = new FormatDateFunction(defaultTimezone);
       }