info.kwarc.sally4.mhw.base.IMathHubRepository Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of mhw-base Show documentation

Implements the interaction of assigning a MathHub document to a Worker.

The newest version!

package info.kwarc.sally4.mhw.base;

import java.util.HashMap;

public interface IMathHubRepository {
	final public static String repositoryid = "repositoryid";
	final public static String repoNameid = "repoName";
	final public static String mathHubUser= "mathHubUser";
	final public static String lmhInstance = "lmhInstance";
	final public static String mathHubWorker = "mathHubWorker";

	String getRepositoryName();
	String getAbsolutePath();
	String getRepositoryid();
	
	void addWorkflowConfig(String extension, BuildWorkflowConfig config);
	void removeWorkflowConfig(String extension);
	
	void addBuildFactory(IBuildWorkflowFactory newFactory);
	void removeBuildFactory(IBuildWorkflowFactory newFactory);
	
	IBuildWorkflow getWorkflowInstance(String extension);
	IBuildWorkflowFactory getBuildFactory(String workflow_id);
	
	HashMap getBuildFactories();
	HashMap getConfiguredWorkflows();
	
	IMathHubUser getUser();
	IMathHubWorker getWorker();
}