2023-11-19 02:12:44 +03:00
|
|
|
package Visual_DVM_2021.UI.Interface;
|
2023-09-17 22:13:42 +03:00
|
|
|
public interface SPFEditorInterface {
|
|
|
|
|
//-----------------------------------
|
|
|
|
|
void ClearHighlights();
|
|
|
|
|
//---------------->>
|
|
|
|
|
void ClearLoopsHighLights();
|
|
|
|
|
void ClearGOCVHighlights();
|
|
|
|
|
//----------------->>
|
|
|
|
|
void HighlightLoops();
|
|
|
|
|
void HighlightGCOV();
|
|
|
|
|
//------------------------------------
|
|
|
|
|
void gotoLine(int num);
|
|
|
|
|
int getCurrentLine();
|
|
|
|
|
int getCaretPosition();
|
|
|
|
|
String getText();
|
|
|
|
|
}
|
