info.kwarc.sally4.mhw.base.IMathHubDocument 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.sally.comm.mathhubdocument.GetCurrentSelectionResponse;
import info.kwarc.sally4.framing.SallyFrameMenu;
import info.kwarc.sally4.registration.SallyClient;
import info.kwarc.sally4.theo.Theo;

public interface IMathHubDocument {

	IMathHubUser getUser();
	IMathHubRepository getRepository();
	IMathHubWorker getWorker();
	
	
	String getText();
	GetCurrentSelectionResponse getSelection();
	void selectText(int startRow, int startCol, int endRow, int endCol);

	String getWorkerRelativePath();
	String getAbsolutePath();
		
	SallyClient getSallyClient();
	SallyFrameMenu getSallyFrames();
	Theo getTheo();
}