Module Properties

Definitions related to java.util.Properties.

Import path

import semmle.code.java.frameworks.Properties

Type	Provides classes and predicates for working with Java types.

PropertiesGetMethod	The `get` method of the class `java.util.Properties`.
PropertiesGetPropertyMethod	The `getProperty` method of the class `java.util.Properties`.
PropertiesGetPropertyMethodCall	A call to the `getProperty` method of the class `java.util.Properties`.
PropertiesSetPropertyMethod	The `setProperty` method of the class `java.util.Properties`.
PropertiesStoreMethod	The methods of the class `java.util.Properties` that write the contents to an output.
TypeProperty	The `java.util.Properties` class.