public static class ExampleChooser.Example
extends java.lang.Object
File
and has a special toString()
method
only using the short file name w/o path.
Used for displaying files in the examples list w/o prefixModifier and Type | Field and Description |
---|---|
private static java.lang.String |
ADDITIONAL_FILE_PREFIX
The
Properties key to specify the path in the tree. |
private static java.lang.String |
DEFAULT_CATEGORY_PATH
The default category under which examples range if they do not
have
KEY_PATH set. |
private java.lang.String |
description |
private java.io.File |
directory |
private java.io.File |
exampleFile |
private static java.lang.String |
EXPORT_FILE_PREFIX
The
Properties key to specify the path in the tree. |
private static java.lang.String |
KEY_FILE
The
Properties key to specify the file for the example. |
private static java.lang.String |
KEY_NAME
The
Properties key to specify the name of the example. |
private static java.lang.String |
KEY_PATH
The
Properties key to specify the path in the tree. |
private static java.lang.String |
KEY_PROOF_FILE
The
Properties key to specify the proof file in the tree. |
private java.util.Properties |
properties |
Constructor and Description |
---|
Example(java.io.File file) |
Modifier and Type | Method and Description |
---|---|
void |
addToTreeModel(javax.swing.tree.DefaultTreeModel model) |
private javax.swing.tree.DefaultMutableTreeNode |
findChild(javax.swing.tree.DefaultMutableTreeNode root,
java.lang.String[] path,
int from) |
java.util.List<java.io.File> |
getAdditionalFiles() |
java.lang.String |
getDescription() |
java.io.File |
getDirectory() |
java.io.File |
getExampleFile() |
java.util.List<java.io.File> |
getExportFiles() |
java.lang.String |
getName() |
java.io.File |
getObligationFile() |
java.lang.String[] |
getPath() |
java.io.File |
getProofFile() |
boolean |
hasProof() |
java.lang.String |
toString() |
private static final java.lang.String DEFAULT_CATEGORY_PATH
KEY_PATH
set.private static final java.lang.String KEY_PATH
Properties
key to specify the path in the tree.private static final java.lang.String KEY_NAME
Properties
key to specify the name of the example.
Directory name if left open.private static final java.lang.String KEY_FILE
Properties
key to specify the file for the example.
KEY_FILE_NAME by defaultprivate static final java.lang.String KEY_PROOF_FILE
Properties
key to specify the proof file in the tree.
May be left openprivate static final java.lang.String ADDITIONAL_FILE_PREFIX
Properties
key to specify the path in the tree.
Prefix to specify additional files to load. Append 1, 2, 3, ...private static final java.lang.String EXPORT_FILE_PREFIX
Properties
key to specify the path in the tree.
Prefix to specify export files which are not shown as tabs in the example wizard but are extracted to Java projects in the Eclipse integration.
Append 1, 2, 3, ...private final java.io.File exampleFile
private final java.io.File directory
private final java.lang.String description
private final java.util.Properties properties
public Example(java.io.File file) throws java.io.IOException
java.io.IOException
public java.io.File getDirectory()
public java.io.File getProofFile()
public java.io.File getObligationFile()
public java.lang.String getName()
public java.lang.String getDescription()
public java.io.File getExampleFile()
public java.util.List<java.io.File> getAdditionalFiles()
public java.util.List<java.io.File> getExportFiles()
public java.lang.String[] getPath()
public java.lang.String toString()
toString
in class java.lang.Object
public void addToTreeModel(javax.swing.tree.DefaultTreeModel model)
private javax.swing.tree.DefaultMutableTreeNode findChild(javax.swing.tree.DefaultMutableTreeNode root, java.lang.String[] path, int from)
public boolean hasProof()