Uses of Class
org.topbraid.spin.system.SPINPreferences

Packages that use SPINPreferences

org.topbraid.spin.system

Core factories and registries for SPIN.

Uses of SPINPreferences in org.topbraid.spin.system

Methods in org.topbraid.spin.system that return SPINPreferences

static SPINPreferences

SPINPreferences.get() Gets the singleton instance of this class.

Methods in org.topbraid.spin.system with parameters of type SPINPreferences

static void

SPINPreferences.set(SPINPreferences value) Changes the singleton to some subclass.