changeset 9495:6ad0bdcd76aa

make Node.getDebugProperties() final
author Lukas Stadler <lukas.stadler@jku.at>
date Thu, 25 Apr 2013 17:09:40 +0200
parents 82b2a2c652bb
children 13978836b7e2
files graal/com.oracle.graal.graph/src/com/oracle/graal/graph/Node.java
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.graph/src/com/oracle/graal/graph/Node.java	Thu May 02 10:55:11 2013 +0200
+++ b/graal/com.oracle.graal.graph/src/com/oracle/graal/graph/Node.java	Thu Apr 25 17:09:40 2013 +0200
@@ -458,7 +458,7 @@
      * Provides a {@link Map} of properties of this node for use in debugging (e.g., to view in the
      * ideal graph visualizer).
      */
-    public Map<Object, Object> getDebugProperties() {
+    public final Map<Object, Object> getDebugProperties() {
         return getDebugProperties(new HashMap<>());
     }