// Path: statefulj-framework/statefulj-framework-core/src/main/java/org/statefulj/framework/core/model/StatefulFSM.java
// public interface StatefulFSM<T> {
// 	
// 	/**
// 	 * Pass an event to the FSM for a non-existent Stateful Entity.  The StatefulJ framework will instiate a 
// 	 * new Stateful Event by invoking the {@link Factory}
// 	 * 
// 	 * @param event the Event
// 	 * @param parms Optional parameters passed into the Action method
// 	 * @return the returned Object from the Action Method
// 	 * @throws TooBusyException thrown if the FSM cannot process the event
// 	 */
// 	Object onEvent(String event, Object... parms)  throws TooBusyException ;
// 
// 	/**
// 	 * Pass an event to the FSM for existing Stateful Entity
// 	 * 
// 	 * @param stateful the Stateful Entity
// 	 * @param event the Event
// 	 * @param parms Optional parameters passed into the Action method
// 	 * @return the returned Object from the Action Method
// 	 * @throws TooBusyException thrown if the FSM cannot process the event
// 	 */
// 	Object onEvent(T stateful, String event, Object... parms)  throws TooBusyException ;
// 
// }
// 
// Path: statefulj-framework/statefulj-framework-tests/src/test/java/org/statefulj/framework/tests/dao/UserRepository.java
// public interface UserRepository extends CrudRepository<User, Long> {
// 
// }
// 
// Path: statefulj-framework/statefulj-framework-tests/src/test/java/org/statefulj/framework/tests/model/User.java
// @Entity
// @Table(name="users")
// public class User extends StatefulEntity {
// 	
// 	// States
// 	//
// 	public static final String ONE_STATE = "one";
// 	public static final String TWO_STATE = "two";
// 	public static final String THREE_STATE = "three";
// 	public static final String FOUR_STATE = "four";
// 	public static final String FIVE_STATE = "five";
// 	public static final String SIX_STATE = "six";
// 	public static final String SEVEN_STATE = "seven";
// 	
// 	@Id
// 	@GeneratedValue(strategy=GenerationType.SEQUENCE)
// 	Long id;
// 
// 	public Long getId() {
// 		return id;
// 	}
// 
// 	public void setId(Long id) {
// 		this.id = id;
// 	}
// }
// 
// Path: statefulj-fsm/src/main/java/org/statefulj/fsm/TooBusyException.java
// public class TooBusyException extends Exception {
// 
// 	private static final long serialVersionUID = 1L;
// 
// }


import org.statefulj.framework.tests.model.User;
import org.statefulj.fsm.TooBusyException;
import javax.annotation.Resource;
import org.junit.Test;
import org.junit.runner.RunWith;
import static org.junit.Assert.*;
import org.springframework.test.context.ContextConfiguration;
import org.springframework.test.context.junit4.SpringJUnit4ClassRunner;
import org.statefulj.framework.core.annotations.FSM;
import org.statefulj.framework.core.model.StatefulFSM;
import org.statefulj.framework.tests.dao.UserRepository;
/***
 * 
 * Copyright 2014 Andrew Hall
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 * 
 *   http://www.apache.org/licenses/LICENSE-2.0
 * 
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 * 
 */
package org.statefulj.framework.tests;






@RunWith(SpringJUnit4ClassRunner.class)
@ContextConfiguration({"/applicationContext-StatefulControllerTests.xml"})
public class NonDeterminsticControllerTest {
	
	@Resource
	UserRepository userRepo;
	
	@FSM("nonDetermisticController")
	StatefulFSM<User> nonDetermisticFSM;

	@Test
	public void testNonDeterministicTransitions() throws TooBusyException {

		final User user = userRepo.save(new User());

		String retVal = (String)nonDetermisticFSM.onEvent(user, "non-determinstic", true);
				
// Path: statefulj-framework/statefulj-framework-core/src/main/java/org/statefulj/framework/core/model/StatefulFSM.java
// public interface StatefulFSM<T> {
// 	
// 	/**
// 	 * Pass an event to the FSM for a non-existent Stateful Entity.  The StatefulJ framework will instiate a 
// 	 * new Stateful Event by invoking the {@link Factory}
// 	 * 
// 	 * @param event the Event
// 	 * @param parms Optional parameters passed into the Action method
// 	 * @return the returned Object from the Action Method
// 	 * @throws TooBusyException thrown if the FSM cannot process the event
// 	 */
// 	Object onEvent(String event, Object... parms)  throws TooBusyException ;
// 
// 	/**
// 	 * Pass an event to the FSM for existing Stateful Entity
// 	 * 
// 	 * @param stateful the Stateful Entity
// 	 * @param event the Event
// 	 * @param parms Optional parameters passed into the Action method
// 	 * @return the returned Object from the Action Method
// 	 * @throws TooBusyException thrown if the FSM cannot process the event
// 	 */
// 	Object onEvent(T stateful, String event, Object... parms)  throws TooBusyException ;
// 
// }
// 
// Path: statefulj-framework/statefulj-framework-tests/src/test/java/org/statefulj/framework/tests/dao/UserRepository.java
// public interface UserRepository extends CrudRepository<User, Long> {
// 
// }
// 
// Path: statefulj-framework/statefulj-framework-tests/src/test/java/org/statefulj/framework/tests/model/User.java
// @Entity
// @Table(name="users")
// public class User extends StatefulEntity {
// 	
// 	// States
// 	//
// 	public static final String ONE_STATE = "one";
// 	public static final String TWO_STATE = "two";
// 	public static final String THREE_STATE = "three";
// 	public static final String FOUR_STATE = "four";
// 	public static final String FIVE_STATE = "five";
// 	public static final String SIX_STATE = "six";
// 	public static final String SEVEN_STATE = "seven";
// 	
// 	@Id
// 	@GeneratedValue(strategy=GenerationType.SEQUENCE)
// 	Long id;
// 
// 	public Long getId() {
// 		return id;
// 	}
// 
// 	public void setId(Long id) {
// 		this.id = id;
// 	}
// }
// 
// Path: statefulj-fsm/src/main/java/org/statefulj/fsm/TooBusyException.java
// public class TooBusyException extends Exception {
// 
// 	private static final long serialVersionUID = 1L;
// 
// }


// Path: statefulj-framework/statefulj-framework-tests/src/test/java/org/statefulj/framework/tests/NonDeterminsticControllerTest.java
import org.statefulj.framework.tests.model.User;
import org.statefulj.fsm.TooBusyException;
import javax.annotation.Resource;
import org.junit.Test;
import org.junit.runner.RunWith;
import static org.junit.Assert.*;
import org.springframework.test.context.ContextConfiguration;
import org.springframework.test.context.junit4.SpringJUnit4ClassRunner;
import org.statefulj.framework.core.annotations.FSM;
import org.statefulj.framework.core.model.StatefulFSM;
import org.statefulj.framework.tests.dao.UserRepository;

/***
 * 
 * Copyright 2014 Andrew Hall
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 * 
 *   http://www.apache.org/licenses/LICENSE-2.0
 * 
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 * 
 */
package org.statefulj.framework.tests;






@RunWith(SpringJUnit4ClassRunner.class)
@ContextConfiguration({"/applicationContext-StatefulControllerTests.xml"})
public class NonDeterminsticControllerTest {
	
	@Resource
	UserRepository userRepo;
	
	@FSM("nonDetermisticController")
	StatefulFSM<User> nonDetermisticFSM;

	@Test
	public void testNonDeterministicTransitions() throws TooBusyException {

		final User user = userRepo.save(new User());

		String retVal = (String)nonDetermisticFSM.onEvent(user, "non-determinstic", true);
				
		assertEquals("onTrue", retVal);