src/main/java/net/onrc/onos/api/newintent/IntentManager.java - spring-open - Gitiles

 package net.onrc.onos.api.newintent;

 /**
  * An interface, which mixes Intent Service and Intent Extension Service.
  */
 public interface IntentManager extends IntentService, IntentExtensionService {
 }
	package net.onrc.onos.api.newintent;

	/**
	* An interface, which mixes Intent Service and Intent Extension Service.
	*/
	public interface IntentManager extends IntentService, IntentExtensionService {
	}