Package com.iizigo.term.project

Class EESession

java.lang.Object
com.iizigo.term.project.EESession
public class EESession extends Object
Class for a capture session.

  • Field Details

    • QUALIFIED_NAME

      public static final org.eclipse.core.runtime.QualifiedName QUALIFIED_NAME
      File properties name for the EESession.

    • isRecording

      public final boolean isRecording
      Flag for recording.

  • Method Details

    • getEESession

      public static EESession getEESession(org.eclipse.core.resources.IFile file)
      Gets the EESession of the file.
      Parameters:
      file - The file for the session.
      Returns:
      The EE session found, or null for not loaded.

    • dispose

      public void dispose()
      Disposes of the session.

    • getFileName

      public String getFileName()
      Gets the file name.
      Returns:
      The file name, never null.

    • getTerminalProperties

      public EditorTerminalProps getTerminalProperties()
      Gets the terminal properties.
      Returns:
      The terminal properties.

    • getFile

      public org.eclipse.core.resources.IFile getFile()
      Gets the file.
      Returns:
      The file.

    • getShortName

      public String getShortName()
      Gets the short name of the session, i.e. the file name without extension.
      Returns:
      The session short name.

    • getLongName

      public String getLongName()
      Gets the full file name relative terminal project.
      Returns:
      The session full name.

    • updateTimestamp

      public void updateTimestamp() throws org.eclipse.core.runtime.CoreException
      Updates the timestamp.
      Throws:
      org.eclipse.core.runtime.CoreException - For file system errors.