retroruntime.java.util

Class _Properties

java.lang.Object

retroruntime.java.util._Properties

public class _Properties
extends Object

Constructor Summary

Constructors

Constructor and Description
_Properties()

Method Summary

Methods

Modifier and Type	Method and Description
static Set<String>	stringPropertyNames(Properties props)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

_Properties

public _Properties()

Method Detail

stringPropertyNames

public static Set<String> stringPropertyNames(Properties props)