Package com.vaadin.copilot.ide
Class CopilotIDEPlugin
java.lang.Object
com.vaadin.copilot.ide.CopilotIDEPlugin
IDE plugin support utility
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionstatic enum
static class
-
Method Summary
Modifier and TypeMethodDescriptionstatic CopilotIDEPlugin
Gets instance of CopilotIDEPlugin.elemental.json.JsonObject
boolean
isActive()
Check if plugin is active based on existing properties fileelemental.json.JsonObject
Performs Redo for given fileselemental.json.JsonObject
refresh()
Sends request to synchronize project files with filesystemstatic void
setDevToolsInterface
(DevToolsInterface devToolsInterface) Sets dev tools interface for user notificationsstatic void
setFolderInLaunchedModule
(Path folderInLaunchedModule) Sets a reference folder used to find the plugin metadata file.elemental.json.JsonObject
Opens editor and places caret on given line and columnboolean
supports
(CopilotIDEPlugin.Commands command) Checks if given command is supported by pluginelemental.json.JsonObject
Performs Undo for given filesstatic String
elemental.json.JsonObject
writeBase64File
(File file, String undoLabel, String content) Calls plugin writeBase64 file operationelemental.json.JsonObject
Calls plugin write file operation
-
Method Details
-
getInstance
Gets instance of CopilotIDEPlugin. Project root must be set before.- Returns:
- gets or create new instance of CopilotIDEPlugin
-
setFolderInLaunchedModule
Sets a reference folder used to find the plugin metadata file.- Parameters:
folderInLaunchedModule
- some folder inside the module containing the launched application
-
setDevToolsInterface
Sets dev tools interface for user notifications- Parameters:
devToolsInterface
-
-
isActive
public boolean isActive()Check if plugin is active based on existing properties file- Returns:
- true if active, false otherwise
-
getProperties
-
getPluginInfo
-
writeFile
public elemental.json.JsonObject writeFile(File file, String undoLabel, String content) throws IOException Calls plugin write file operation- Parameters:
file
- file to be writtenundoLabel
- custom undo labelcontent
- file content- Throws:
IOException
- exception if command cannot be serialized
-
writeBase64File
public elemental.json.JsonObject writeBase64File(File file, String undoLabel, String content) throws IOException Calls plugin writeBase64 file operation- Parameters:
file
- file to be writtenundoLabel
- custom undo labelcontent
- file contents as base 64 encoded string- Throws:
IOException
- exception if command cannot be serialized
-
undo
Performs Undo for given files- Parameters:
files
- list of files to perform undo- Throws:
IOException
- thrown on exception
-
redo
Performs Redo for given files- Parameters:
files
- list of files to perform redo- Throws:
IOException
- thrown on exception
-
showInIde
public elemental.json.JsonObject showInIde(String file, Integer line, Integer column) throws IOException Opens editor and places caret on given line and column- Parameters:
line
- line number, use 0 as first linecolumn
- column number to put caret before, 0 as first column- Throws:
IOException
- thrown on exception
-
refresh
Sends request to synchronize project files with filesystem- Throws:
IOException
- thrown on exception
-
getSourcePaths
public elemental.json.JsonObject getSourcePaths() -
supports
Checks if given command is supported by plugin- Parameters:
command
- command to be checked- Returns:
- true if supported, false otherwise
-
undoLabel
-