# HG changeset patch
# User Bernhard Urban <bernhard.urban@jku.at>
# Date 1369834116 -7200
# Node ID e9d8f135f203160eea741c22ecd3d364e436d158
# Parent  e6df511677da1ccdad5bef4d5b5229d036bc7a6b
Assumptions: initialize list in constructor and add getter

diff -r e6df511677da -r e9d8f135f203 graal/com.oracle.graal.api.code/src/com/oracle/graal/api/code/Assumptions.java
--- 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]);