--- a/graal/com.oracle.graal.api.meta/src/com/oracle/graal/api/meta/Remote.java	Thu Nov 06 13:19:25 2014 +0100
+++ b/graal/com.oracle.graal.api.meta/src/com/oracle/graal/api/meta/Remote.java	Thu Nov 06 13:22:00 2014 +0100
@@ -22,9 +22,19 @@
  */
 package com.oracle.graal.api.meta;
 
+import java.lang.annotation.*;
+
 /**
  * Marker interface for classes whose values are proxied during replay compilation capture or remote
  * compilation.
  */
 public interface Remote {
+
+    /**
+     * Denotes a method whose return value is determined solely by its parameter values.
+     */
+    @Retention(RetentionPolicy.RUNTIME)
+    @Target(ElementType.METHOD)
+    public @interface PureFunction {
+    }
 }