|
jInfer | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object cz.cuni.mff.ksi.jinfer.projecttype.JInferProject
public class JInferProject
Represents jInfer project in Projects window.
Field Summary | |
---|---|
static String |
JINFER_PROJECT_NAME_PROPERTY
Name of jInfer project property file. |
static String |
OUTPUT_DIR
Name of output folder in jInfer project file hierarchy saved on disk. |
Constructor Summary | |
---|---|
JInferProject(FileObject projectDir,
ProjectState state)
Default jInfer Project contructor. |
Method Summary | |
---|---|
Lookup |
getLookup()
|
FileObject |
getOutputFolder(boolean create)
Get FileObject of output folder. |
FileObject |
getProjectDirectory()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final String OUTPUT_DIR
public static final String JINFER_PROJECT_NAME_PROPERTY
Constructor Detail |
---|
public JInferProject(FileObject projectDir, ProjectState state)
projectDir
- Path to the project directory on disk.state
- State
of the project.ProjectState
Method Detail |
---|
public FileObject getProjectDirectory()
getProjectDirectory
in interface Project
public Lookup getLookup()
getLookup
in interface Project
getLookup
in interface Lookup.Provider
public FileObject getOutputFolder(boolean create)
FileObject
of output folder. If not exist and create is true, then it's created.
create
- If folder is created when it not exist.
|
jInfer | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |