/*
 * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved.
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
 *
 * This code is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License version 2 only, as
 * published by the Free Software Foundation.
 *
 * This code is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 * version 2 for more details (a copy is included in the LICENSE file that
 * accompanied this code).
 *
 * You should have received a copy of the GNU General Public License version
 * 2 along with this work; if not, write to the Free Software Foundation,
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 *
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 * or visit www.oracle.com if you need additional information or have any
 * questions.
 */
package com.oracle.graal.truffle.nodes;

import com.oracle.graal.api.code.*;
import com.oracle.graal.truffle.*;

public class AssumptionValidAssumption extends Assumptions.Assumption {

    private static final long serialVersionUID = 2010244979610891262L;

    private OptimizedAssumption assumption;

    public AssumptionValidAssumption(OptimizedAssumption assumption) {
        this.assumption = assumption;
    }

    public OptimizedAssumption getAssumption() {
        return assumption;
    }
}

@@ -1164,16 +1164,22 @@
 %0Apublic 
+final 
 class As
@@ -1235,16 +1235,16 @@
 ption %7B%0A
-
 %0A    pri
@@ -1320,16 +1320,22 @@
 private 
+final 
 Optimize
@@ -1464,24 +1464,59 @@
 assumption;%0A
+        assert assumption != null;%0A
     %7D%0A%0A    p
@@ -1555,24 +1555,24 @@
 umption() %7B%0A
-
         retu
@@ -1591,11 +1591,477 @@
 n;%0A    %7D
+%0A%0A    @Override%0A    public int hashCode() %7B%0A        return 31 + assumption.hashCode();%0A    %7D%0A%0A    @Override%0A    public boolean equals(Object obj) %7B%0A        if (obj instanceof AssumptionValidAssumption) %7B%0A            AssumptionValidAssumption other = (AssumptionValidAssumption) obj;%0A            return other.assumption == this.assumption;%0A        %7D%0A        return false;%0A    %7D%0A%0A    @Override%0A    public String toString() %7B%0A        return assumption.toString();%0A    %7D
 %0A%7D%0A

implement equals() and hashCode() to avoid duplicate registration.