public class EESession extends Object
Modifier and Type | Field and Description |
---|---|
boolean |
isRecording
Flag for recording.
|
static QualifiedName |
QUALIFIED_NAME
File properties name for the EESession.
|
Modifier and Type | Method and Description |
---|---|
void |
dispose()
Disposes of the session.
|
static EESession |
getEESession(IFile file)
Gets the EESession of the file.
|
IFile |
getFile()
Gets the file.
|
String |
getFileName()
Gets the file name.
|
String |
getLongName()
Gets the full file name relative terminal project.
|
String |
getShortName()
Gets the short name of the session, i.e.
|
EditorTerminalProps |
getTerminalProperties()
Gets the terminal properties.
|
void |
updateTimestamp()
Updates the timestamp.
|
public static final QualifiedName QUALIFIED_NAME
public final boolean isRecording
public static EESession getEESession(IFile file)
file
- The file for the session.public void dispose()
public String getFileName()
public EditorTerminalProps getTerminalProperties()
public IFile getFile()
public String getShortName()
public String getLongName()
public void updateTimestamp() throws CoreException
CoreException
- For file system errors.iizi® is a registered trademark of Mindus SARL. © Copyright 2019 Mindus SARL. All rights reserved.