Package com.iizigo.term.project

Class EESession

  • public class EESession
extends java.lang.Object
    Class for a capture session.

    • Field Detail

      • 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 Detail

      • 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 java.lang.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 java.lang.String getShortName()
        Gets the short name of the session, i.e. the file name without extension.
        Returns:
        The session short name.

      • getLongName

        public java.lang.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.