info.kwarc.sally4.mhw.base.IMathHubWorker 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 info.kwarc.sally4.lmh.factories.LMH;

public interface IMathHubWorker {
	final public static String repoMHWIDBindFilter = "repoMHWIDBindFilter";
	final public static String repoMHWIDUnBindFilter = "repoMHWIDUnBindFilter";

	IMathHubUser getUser();
	LMH getLmh();
	String getMHWID();
	
	void ensureRunningRepository(String repoName);
}