changeset 17034:86749331247a

Truffle/API: TruffleScriptEngineFactory.engineCreated() is now final Contributed-By: Michael Van De Vanter <michael.van.de.vanter@oracle.com>
author Gilles Duboscq <duboscq@ssw.jku.at>
date Wed, 03 Sep 2014 12:00:41 +0200
parents 2d6dd2eebd51
children 7b2e6171f455
files graal/com.oracle.truffle.api/src/com/oracle/truffle/api/script/TruffleScriptEngineFactory.java
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.truffle.api/src/com/oracle/truffle/api/script/TruffleScriptEngineFactory.java	Tue Sep 02 21:42:37 2014 -0700
+++ b/graal/com.oracle.truffle.api/src/com/oracle/truffle/api/script/TruffleScriptEngineFactory.java	Wed Sep 03 12:00:41 2014 +0200
@@ -38,7 +38,7 @@
      *
      * @param engine a just-created engine
      */
-    protected void engineCreated(ScriptEngine engine) {
+    protected final void engineCreated(ScriptEngine engine) {
     }
 
 }