Uses of Interface
com.vividsolutions.jump.workbench.WorkbenchProperties

Packages that use WorkbenchProperties

Package	Description
com.vividsolutions.jump.workbench
com.vividsolutions.jump.workbench.driver

Uses of WorkbenchProperties in com.vividsolutions.jump.workbench

Classes in com.vividsolutions.jump.workbench that implement WorkbenchProperties

Modifier and Type	Class	Description
class	WorkbenchPropertiesFile

Methods in com.vividsolutions.jump.workbench that return WorkbenchProperties

Modifier and Type	Method	Description
WorkbenchProperties	JUMPWorkbench.getProperties()	The properties file; not to be confused with the WorkbenchContext properties.

Uses of WorkbenchProperties in com.vividsolutions.jump.workbench.driver

Methods in com.vividsolutions.jump.workbench.driver with parameters of type WorkbenchProperties

Modifier and Type	Method	Description
void	DriverManager.loadDrivers(WorkbenchProperties properties)