public class DiagramOptions extends Object
DiagramProvider
to retrieve images.
Clients may instantiate or subclass this class.
Constructor and Description |
---|
DiagramOptions() |
Modifier and Type | Method and Description |
---|---|
File |
getDirectory()
Returns the directory where the image should be exported, or
null if not specified. |
String[] |
getFormats()
Returns a list of preferred file formats (ex:
png , jpg , etc.). |
Map<String,Object> |
getProperties()
Returns a modifiable
Map of user-defined properties. |
void |
setDirectory(File directory)
Set the directory where the image should be exported.
|
void |
setFormats(String[] formats)
Set the preferred file formats (ex:
png , jpg , etc.). |
public File getDirectory()
null
if not specified.null
if not specified.public void setDirectory(File directory)
directory
- the directory where the image should be exported.public Map<String,Object> getProperties()
Map
of user-defined properties.
These properties can be used to pass information to a diagram provider.Map
of user-defined properties.public String[] getFormats()
png
, jpg
, etc.).
The list is ordered by preference (the first format in the list is the preferred one).
A diagram provider may consult these preferred formats to determine the image type to return.public void setFormats(String[] formats)
png
, jpg
, etc.).formats
- a list of of preferred file formats.getFormats()