Package app.events

Class OpenFileEvent

java.lang.Object
app.events.Event
app.events.OpenFileEvent

public class OpenFileEvent
extends Event
Event signalizing that a file outside the current project is supposed to be opened in the editor.
  • Constructor Summary

    Constructors
    Constructor Description
    OpenFileEvent​(java.util.Optional<java.nio.file.Path> path)
    Event signalizing that a file outside the current project is supposed to be opened in the editor.
  • Method Summary

    Modifier and Type Method Description
    java.util.Optional<java.nio.file.Path> getPath()  

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  • Constructor Details

    • OpenFileEvent

      public OpenFileEvent​(java.util.Optional<java.nio.file.Path> path)
      Event signalizing that a file outside the current project is supposed to be opened in the editor.
      Parameters:
      path - The path of the file to be opened
  • Method Details

    • getPath

      public java.util.Optional<java.nio.file.Path> getPath()
      Returns:
      The path of the file to be opened