/**
 * Replication Benchmarker
 * https://github.com/score-team/replication-benchmarker/
 * Copyright (C) 2013 LORIA / Inria / SCORE Team
 *
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * This program 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 for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */
package jbenchmarker.sim;

import crdt.PreconditionException;
import crdt.simulator.TraceOperation;
import crdt.simulator.random.RandomTrace;
import crdt.simulator.random.StandardSeqOpProfile;
import crdt.simulator.CausalSimulator;
import crdt.simulator.IncorrectTraceException;
import java.io.IOException;
import java.util.Enumeration;
import jbenchmarker.trace.CausalCheckerFactory;
import org.junit.Test;
import static org.junit.Assert.*;

/**
 * Test of random trace
 * @author urso
 */
public class RandomTraceTest {
    

    /**
     * Test of next method, of class RandomTrace.
     */
    @Test
    public void testNext() {
        System.out.println("next");
        RandomTrace instance = new RandomTrace(42, RandomTrace.FLAT, new StandardSeqOpProfile(0.5, 0.5, 10, 1.0), 1.0, 10, 1.0, 13);
        Enumeration<TraceOperation> en = instance.enumeration();
        assertTrue(en.hasMoreElements());
        int n = 0;
        while (en.hasMoreElements()) {
            n++;
            en.nextElement();
        }
        assertEquals(42, n);
    }
    
    /**
     * Test of causality, of class RandomTrace.
     */
    @Test
    public void Causality() throws PreconditionException, IncorrectTraceException, IOException, Exception {
        System.out.println("causality");
        RandomTrace instance = new RandomTrace(240, RandomTrace.FLAT, new StandardSeqOpProfile(0.5, 0.5, 10, 1.0), 0.2, 10, 3.0, 13);
        CausalSimulator cd = new CausalSimulator(new CausalCheckerFactory());
        cd.run(instance);
    }    
}