# HG changeset patch
# User Stefan Marr <stefan.marr@jku.at>
# Date 1448373228 -3600
# Node ID bc1e026ef5b1ab8a1f68a3e78437e48f2d91fd91
# Parent  e7c2d89ddf201d88838b8a64370ec90e7c162af6
Document @CompilationFinal semantics for arrays.

diff -r e7c2d89ddf20 -r bc1e026ef5b1 truffle/com.oracle.truffle.api/src/com/oracle/truffle/api/CompilerDirectives.java
--- a/truffle/com.oracle.truffle.api/src/com/oracle/truffle/api/CompilerDirectives.java	Mon Nov 23 19:29:26 2015 +0100
+++ b/truffle/com.oracle.truffle.api/src/com/oracle/truffle/api/CompilerDirectives.java	Tue Nov 24 14:53:48 2015 +0100
@@ -180,7 +180,8 @@
 
     /**
      * Marks fields that should be considered final for a Truffle compilation although they are not
-     * final while executing in the interpreter.
+     * final while executing in the interpreter. If the field type is an array type, the compiler
+     * considers reads with a constant index as constants.
      */
     @Retention(RetentionPolicy.RUNTIME)
     @Target({ElementType.FIELD})