Package | Description |
---|---|
jp.ac.tokushima_u.db.media |
Provides classes and interfaces for various media.
|
Modifier and Type | Method and Description |
---|---|
abstract GraphPlotter.OT |
GraphPlotter.Option.getType() |
GraphPlotter.OT |
GraphPlotter.Option_PaperSize.getType() |
GraphPlotter.OT |
GraphPlotter.Option_Command.getType() |
GraphPlotter.OT |
GraphPlotter.Option_Config.getType() |
GraphPlotter.OT |
GraphPlotter.Option_Back.getType() |
GraphPlotter.OT |
GraphPlotter.Option_Front.getType() |
GraphPlotter.OT |
GraphPlotter.Option_Colors.getType() |
GraphPlotter.OT |
GraphPlotter.Option_Linetypes.getType() |
GraphPlotter.OT |
GraphPlotter.Option_KeyLocation.getType() |
static GraphPlotter.OT |
GraphPlotter.OT.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static GraphPlotter.OT[] |
GraphPlotter.OT.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
EDB Working Group at Tue Jun 10 17:08:59 JST 2025