Uses of Class
java.util.Properties

Packages that use Properties

java.lang	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.security	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.sql	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.util	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
org.jmlspecs.racwrap.runner

Uses of Properties in java.lang

Methods in java.lang that return Properties

static Properties

System.getProperties()

Methods in java.lang with parameters of type Properties

static void

System.setProperties(Properties props)

Uses of Properties in java.security

Subclasses of Properties in java.security

class

Provider

Uses of Properties in java.sql

Methods in java.sql with parameters of type Properties

abstract Connection	Driver.connect(String url, Properties info)
abstract DriverPropertyInfo[]	Driver.getPropertyInfo(String url, Properties info)
static Connection	DriverManager.getConnection(String url, Properties info)

Uses of Properties in java.util

Fields in java.util declared as Properties

protected Properties

Properties.defaults

Constructors in java.util with parameters of type Properties

Properties(Properties)

Uses of Properties in org.jmlspecs.racwrap.runner

Methods in org.jmlspecs.racwrap.runner that return Properties

static Properties	Main.getProperties() Get properties from the default properties file.
static Properties	Main.getProperties(String filename) Get properties from a specific properties file