changeset 9841:e9d8f135f203

Assumptions: initialize list in constructor and add getter
author Bernhard Urban <bernhard.urban@jku.at>
date Wed, 29 May 2013 15:28:36 +0200
parents e6df511677da
children 1cd5e2a6f038
files graal/com.oracle.graal.api.code/src/com/oracle/graal/api/code/Assumptions.java
diffstat 1 files changed, 5 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.api.code/src/com/oracle/graal/api/code/Assumptions.java	Fri May 17 18:05:58 2013 +0200
+++ b/graal/com.oracle.graal.api.code/src/com/oracle/graal/api/code/Assumptions.java	Wed May 29 15:28:36 2013 +0200
@@ -259,6 +259,7 @@
 
     public Assumptions(boolean useOptimisticAssumptions) {
         this.useOptimisticAssumptions = useOptimisticAssumptions;
+        list = new Assumption[4];
     }
 
     /**
@@ -362,6 +363,10 @@
         count++;
     }
 
+    public Assumption[] getAssumptions() {
+        return list;
+    }
+
     public void record(Assumptions assumptions) {
         for (int i = 0; i < assumptions.count; i++) {
             record(assumptions.list[i]);