public static class ExampleChooser.Example extends 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 String |
ADDITIONAL_FILE_PREFIX
The
Properties key to specify the path in the tree. |
private static String |
DEFAULT_CATEGORY_PATH
The default category under which examples range if they do not
have
KEY_PATH set. |
private String |
description |
private File |
directory |
private File |
exampleFile |
private static String |
EXPORT_FILE_PREFIX
The
Properties key to specify the path in the tree. |
private static String |
KEY_FILE
The
Properties key to specify the file for the example. |
private static String |
KEY_NAME
The
Properties key to specify the name of the example. |
private static String |
KEY_PATH
The
Properties key to specify the path in the tree. |
private static String |
KEY_PROOF_FILE
The
Properties key to specify the proof file in the tree. |
private Properties |
properties |
Constructor and Description |
---|
ExampleChooser.Example(File file) |
Modifier and Type | Method and Description |
---|---|
void |
addToTreeModel(DefaultTreeModel model) |
private DefaultMutableTreeNode |
findChild(DefaultMutableTreeNode root,
String[] path,
int from) |
List<File> |
getAdditionalFiles() |
String |
getDescription() |
File |
getDirectory() |
File |
getExampleFile() |
List<File> |
getExportFiles() |
String |
getName() |
File |
getObligationFile() |
String[] |
getPath() |
File |
getProofFile() |
boolean |
hasProof() |
String |
toString() |
private static final String DEFAULT_CATEGORY_PATH
KEY_PATH
set.private static final String KEY_PATH
Properties
key to specify the path in the tree.private static final String KEY_NAME
Properties
key to specify the name of the example.
Directory name if left open.private static final String KEY_FILE
Properties
key to specify the file for the example.
KEY_FILE_NAME by defaultprivate static final String KEY_PROOF_FILE
Properties
key to specify the proof file in the tree.
May be left openprivate static final 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 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 File exampleFile
private final File directory
private final String description
private final Properties properties
public ExampleChooser.Example(File file) throws IOException
IOException
public File getDirectory()
public File getProofFile()
public File getObligationFile()
public String getName()
public String getDescription()
public File getExampleFile()
public String[] getPath()
public void addToTreeModel(DefaultTreeModel model)
private DefaultMutableTreeNode findChild(DefaultMutableTreeNode root, String[] path, int from)
public boolean hasProof()