package org.laughingpanda.ejb_migration_example;

import jdave.Specification;
import jdave.contract.EqualsHashCodeContract;
import jdave.junit4.JDaveRunner;
import org.junit.runner.RunWith;

/**
 * @author Timo Rantalaiho
 */
@RunWith(JDaveRunner.class)
public class SearchParametersSpec extends Specification<SearchParameters> {
    public class Any {
        private final String searchTerm = "searchTerm";

        public SearchParameters create() {
            return new SearchParameters(searchTerm);
        }

        public void usesSearchTermForEquals() {
            specify(context, satisfies(new EqualsHashCodeContract<SearchParameters>() {
                protected SearchParameters equal() {
                    return new SearchParameters(searchTerm);
                }

                protected SearchParameters nonEqual() {
                    return new SearchParameters("other searchterm");
                }

                protected SearchParameters subType() {
                    return new SearchParameters(searchTerm) {};
                }
            }));
        }
    }
}