<commit_before>/*
 * FindBugs - Find Bugs in Java programs
 * Copyright (C) 2006, University of Maryland
 * 
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
 * version 2.1 of the License, or (at your option) any later version.
 * 
 * This library 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
 * Lesser General Public License for more details.
 * 
 * You should have received a copy of the GNU Lesser General Public
 * License along with this library; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 */

package edu.umd.cs.findbugs.ba.npe;

import java.util.Collection;
import java.util.Iterator;
import java.util.LinkedList;

import edu.umd.cs.findbugs.annotations.CheckForNull;
import edu.umd.cs.findbugs.ba.Location;
import edu.umd.cs.findbugs.ba.vna.ValueNumber;
import edu.umd.cs.findbugs.util.MultiMap;

/**
 * @author pugh
 */
public class UsagesRequiringNonNullValues {

    public static class Pair {
        public final ValueNumber vn;
        public final PointerUsageRequiringNonNullValue pu;

        Pair(ValueNumber vn, PointerUsageRequiringNonNullValue pu) {
            this.vn = vn;
            this.pu = pu;
        }

        @Override
        public String toString() {
            return vn.toString();
        }
    }

    MultiMap<Location, Pair> map = new MultiMap<Location, Pair>(LinkedList.class);
    
    public String toString() {
        StringBuffer buf = new StringBuffer();
        for(Location loc : map.keySet()) {
            buf.append(loc.getHandle().getPosition() + ":" + loc.getHandle().getInstruction() +"\n");
            for(Pair p : getPairs(loc)) {
                buf.append("  ").append(p.vn).append("\n");
            }
        }
        return buf.toString();
    }

    public void add(Location loc, ValueNumber vn, PointerUsageRequiringNonNullValue usage) {
        Pair p = new Pair(vn, usage);
        if (DerefFinder.DEBUG)
            System.out.println("At " + loc + " adding dereference " + p);

        map.add(loc, p);
    }

    public @CheckForNull
    PointerUsageRequiringNonNullValue get(Location loc, ValueNumber vn) {
        PointerUsageRequiringNonNullValue secondBest = null;
        for (Pair p : map.get(loc)) {
            if (p.vn.equals(vn))
                return p.pu;
            else secondBest = p.pu;
        }
        return secondBest;
    }

    public Collection<? extends Pair> getPairs(Location loc) {
        return map.get(loc);
    }

    public Iterable<ValueNumber> getValueNumbers(final Location loc) {
        return new Iterable<ValueNumber>() {
            final Collection<Pair> values = map.get(loc);

            public Iterator<ValueNumber> iterator() {
                return new Iterator<ValueNumber>() {
                    Iterator<Pair> i = values.iterator();

                    public boolean hasNext() {
                        return i.hasNext();
                    }

                    public ValueNumber next() {
                        return i.next().vn;
                    }

                    public void remove() {
                        throw new UnsupportedOperationException();

                    }
                };
            }
        };
    }

}<commit_msg>fix 1.5 dependency on Iterable<commit_after>/*
 * FindBugs - Find Bugs in Java programs
 * Copyright (C) 2006, University of Maryland
 * 
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
 * version 2.1 of the License, or (at your option) any later version.
 * 
 * This library 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
 * Lesser General Public License for more details.
 * 
 * You should have received a copy of the GNU Lesser General Public
 * License along with this library; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 */

package edu.umd.cs.findbugs.ba.npe;

import java.util.Collection;
import java.util.Iterator;
import java.util.LinkedList;

import edu.umd.cs.findbugs.annotations.CheckForNull;
import edu.umd.cs.findbugs.ba.Location;
import edu.umd.cs.findbugs.ba.vna.ValueNumber;
import edu.umd.cs.findbugs.util.MultiMap;

/**
 * @author pugh
 */
public class UsagesRequiringNonNullValues {

    public static class Pair {
        public final ValueNumber vn;
        public final PointerUsageRequiringNonNullValue pu;

        Pair(ValueNumber vn, PointerUsageRequiringNonNullValue pu) {
            this.vn = vn;
            this.pu = pu;
        }

        @Override
        public String toString() {
            return vn.toString();
        }
    }

    MultiMap<Location, Pair> map = new MultiMap<Location, Pair>(LinkedList.class);
    
    public String toString() {
        StringBuffer buf = new StringBuffer();
        for(Location loc : map.keySet()) {
            buf.append(loc.getHandle().getPosition() + ":" + loc.getHandle().getInstruction() +"\n");
            for(Pair p : getPairs(loc)) {
                buf.append("  ").append(p.vn).append("\n");
            }
        }
        return buf.toString();
    }

    public void add(Location loc, ValueNumber vn, PointerUsageRequiringNonNullValue usage) {
        Pair p = new Pair(vn, usage);
        if (DerefFinder.DEBUG)
            System.out.println("At " + loc + " adding dereference " + p);

        map.add(loc, p);
    }

    public @CheckForNull
    PointerUsageRequiringNonNullValue get(Location loc, ValueNumber vn) {
        PointerUsageRequiringNonNullValue secondBest = null;
        for (Pair p : map.get(loc)) {
            if (p.vn.equals(vn))
                return p.pu;
            else secondBest = p.pu;
        }
        return secondBest;
    }

    public Collection<? extends Pair> getPairs(Location loc) {
        return map.get(loc);
    }

   

}
{'fraction_non_alphanumeric': 0.09527559055118111, 'fraction_numerical': 0.006614173228346456, 'mean_word_length': 2.30609057782405, 'pattern_counts': {'":': 2, '<': 15, '<?xml version=': 0, '>': 15, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '832790', 'n_tokens_mistral': 1830, 'n_tokens_neox': 1743, 'n_words': 551}