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.