|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.topbraid.spin.system.SPINPreferences
public class SPINPreferences
A singleton that provides access to the current SPIN rendering settings. The singleton can be replaced to install different default settings. For example, TopBraid Composer stores these settings in the Eclipse preferences.
Constructor Summary | |
---|---|
SPINPreferences()
|
Method Summary | |
---|---|
static SPINPreferences |
get()
Gets the singleton instance of this class. |
boolean |
isCreateURIVariables()
Indicates whether the SPIN generator shall convert variables into URI nodes, so that they can be shared between multiple queries. |
static void |
set(SPINPreferences value)
Changes the singleton to some subclass. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public SPINPreferences()
Method Detail |
---|
public static SPINPreferences get()
public static void set(SPINPreferences value)
value
- the new singleton (not null)public boolean isCreateURIVariables()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |