package org.liveontologies.proof.util;

/*-
 * #%L
 * OWL API Proof Extension
 * $Id:$
 * $HeadURL:$
 * %%
 * Copyright (C) 2014 - 2016 Live Ontologies Project
 * %%
 * 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.
 * #L%
 */

/**
 * A general interface for object through which objects of a particular types
 * can be produced
 * 
 * @author Yevgeny Kazakov
 *
 * @param <O>
 *            the types of objects that can be produced by this {@link Producer}
 */
public interface Producer<O> {

	void produce(O object);

}

@@ -1019,12 +1019,316 @@
 object);
+%0A%09%0A%09static class Dummy%3CO%3E implements Producer%3CO%3E %7B%0A%09%09%0A%09%09private static Producer%3CObject%3E INSTANCE_ = new Dummy%3CObject%3E();%0A%0A%09%09@SuppressWarnings(%22unchecked%22)%0A%09%09public static %3CO%3E Producer%3CO%3E get() %7B%0A%09%09%09return (Producer%3CO%3E) INSTANCE_;%0A%09%09%7D%0A%09%09%0A%09%09@Override%0A%09%09public void produce(O object) %7B%0A%09%09%09// no-op%0A%09%09%7D%0A%09%09%0A%09%7D
 %0A%0A%7D%0A

Add dummy producer