@@ -0,0 +1,1719 @@
+/*%0A * Copyright (c) 2012 Mateusz Parzonka, Eric Bodden%0A * All rights reserved. This program and the accompanying materials%0A * are made available under the terms of the Eclipse Public License v1.0%0A * which accompanies this distribution, and is available at%0A * http://www.eclipse.org/legal/epl-v10.html%0A *%0A * Contributors:%0A * Mateusz Parzonka - initial API and implementation%0A */%0Apackage prm4j.spec;%0A%0Aimport static org.junit.Assert.*;%0Aimport static org.junit.Assert.assertArrayEquals;%0Aimport static org.junit.Assert.assertEquals;%0Aimport static prm4j.Util.set;%0Aimport static prm4j.Util.tuple;%0A%0Aimport java.util.Arrays;%0Aimport java.util.HashSet;%0Aimport java.util.Set;%0A%0Aimport org.junit.Before;%0Aimport org.junit.Test;%0A%0Aimport com.google.common.collect.HashMultimap;%0Aimport com.google.common.collect.SetMultimap;%0A%0Aimport prm4j.AbstractTest;%0Aimport prm4j.Util;%0Aimport prm4j.Util.Tuple;%0Aimport prm4j.api.BaseEvent;%0Aimport prm4j.api.Parameter;%0Aimport prm4j.api.fsm.FSMSpec;%0Aimport prm4j.spec.FiniteParametricProperty;%0A%0Apublic class FiniteParametricPropertyHasNextTest extends AbstractTest %7B%0A%0A    FSM_HasNext fsm;%0A    FiniteParametricProperty fpp;%0A    @Before%0A    public void init() %7B%0A%09fsm = new FSM_HasNext();%0A%09fpp = new FiniteParametricProperty(new FSMSpec(fsm.fsm));%0A    %7D%0A%0A    @Test%0A    public void getMonitorSetData() throws Exception %7B%0A%09SetMultimap%3CSet%3CParameter%3C?%3E%3E, Tuple%3CSet%3CParameter%3C?%3E%3E, Boolean%3E%3E actual = fpp.getMonitorSetData();%0A%09SetMultimap%3CSet%3CParameter%3C?%3E%3E, Tuple%3CSet%3CParameter%3C?%3E%3E, Boolean%3E%3E expected = HashMultimap.create();%0A%0A%09System.out.println(fpp.getMonitorSetData());%0A%09System.out.println(fpp.getChainData());%0A%09System.out.println(fpp.getJoinData());%0A%09System.out.println(fpp.getCreationEvents());%0A%0A    %7D%0A%0A%0A%7D%0A

Add test for FiniteParametricProperty based on HasNext