de.unisb.cs.st.javalanche.mutation.run.task.RandomTaskCreator.java Source code

Introduction

Here is the source code for de.unisb.cs.st.javalanche.mutation.run.task.RandomTaskCreator.java

Source

/*
* Copyright (C) 2011 Saarland University
* 
* This file is part of Javalanche.
* 
* Javalanche is free software: you can redistribute it and/or modify
* it under the terms of the GNU Lesser Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
* 
* Javalanche 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 Public License for more details.
* 
* You should have received a copy of the GNU Lesser Public License
* along with Javalanche.  If not, see <http://www.gnu.org/licenses/>.
*/
package de.unisb.cs.st.javalanche.mutation.run.task;

import java.io.File;
import java.io.IOException;
import java.util.ArrayList;
import java.util.HashSet;
import java.util.List;
import java.util.Random;
import java.util.Set;

import org.apache.commons.io.FileUtils;

import de.unisb.cs.st.javalanche.mutation.properties.ConfigurationLocator;
import de.unisb.cs.st.javalanche.mutation.properties.PropertyUtil;
import de.unisb.cs.st.javalanche.mutation.results.MutationCoverageFile;

public class RandomTaskCreator {

    private static final String SEED_KEY = "javalanche.seed";

    private static void createRandomTask() throws IOException {
        String seedString = PropertyUtil.getProperty(SEED_KEY);
        int seed = Integer.parseInt(seedString);
        String numString = PropertyUtil.getProperty(MutationTaskCreator.MUTATION_PER_TASK_KEY);
        int numberOfMutations = Integer.parseInt(numString);
        String fileName = PropertyUtil.getProperty(MutationTaskCreator.TASK_FILENAME_KEY);
        createTaskRandomSelection(numberOfMutations, seed, fileName);
    }

    public static void createTaskRandomSelection(int numberOfMutations, int seed, String fileName)
            throws IOException {
        Random r = new Random(seed);
        Set<Long> coveredSet = MutationCoverageFile.getCoveredMutations();
        List<Long> covered = new ArrayList<Long>(coveredSet);
        Set<Long> selected = new HashSet<Long>();
        List<String> lines = new ArrayList<String>();
        for (int i = 0; i < numberOfMutations && covered.size() > 0; i++) {
            int index = r.nextInt(covered.size());
            Long id = covered.get(index);
            covered.remove(index);
            selected.add(id);
            lines.add(id + "");
        }
        // List<Mutation> mutations = QueryManager.getMutationsByIds(selected
        // .toArray(new Long[0]));
        // Collections.sort(mutations);
        File file = new File(fileName);
        FileUtils.writeLines(file, lines);

    }

    public static void main(String[] args) throws IOException {
        String projectPrefix = ConfigurationLocator.getJavalancheConfiguration().getProjectPrefix();
        if (projectPrefix == null) {
            throw new RuntimeException("Project prefix not specified");
        }
        createRandomTask();
    }

}