public static class DRC.DRCPreferences extends PrefPackage
PrefPackage.BooleanPref, PrefPackage.DoublePref, PrefPackage.IntegerPref, PrefPackage.LongPref, PrefPackage.StringPref
Modifier and Type | Field and Description |
---|---|
DRC.DRCCheckLogging |
errorLoggingType
Logging type in DRC.
|
DRC.DRCCheckMode |
errorType
Checking level in DRC.
|
boolean |
ignoreAreaCheck
Whether DRC should ignore minimum/enclosed area checking.
|
boolean |
ignoreCenterCuts
Whether DRC should ignore center cuts in large contacts.
|
boolean |
ignoreExtensionRuleChecking
Whether DRC should should check extension rules.
|
boolean |
incrementalDRC
Whether DRC should DRC should be done incrementally.
|
boolean |
interactiveDRCDrag
Whether DRC violations should be shown while nodes and arcs are dragged.
|
boolean |
interactiveLog
Whether DRC loggers should be displayed in Explorer immediately.
|
boolean |
isMultiThreaded
Whether DRC should run in a single thread or multi-threaded.
|
DRC.DRCCheckMinArea |
minAreaAlgoOption
Which min area algorithm to use.
|
java.util.Map<Technology,java.lang.String> |
overrides |
java.util.Map<Technology,java.lang.Double> |
resolutions |
boolean |
storeDatesInMemory
Whether DRC dates should be stored in memory or not.
|
TECH_NODE, USER_NODE
Constructor and Description |
---|
DRC.DRCPreferences(boolean factory) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getDRCOverrides(Technology tech)
Method to get the DRC overrides from the preferences for this technology.
|
double |
getResolution(Technology tech)
Method to retrieve the resolution associated to specified.
|
void |
putPrefs(java.util.prefs.Preferences prefRoot,
boolean removeDefaults)
Store annotated option fields of the subclass into the speciefied Preferences subtree.
|
void |
setDRCOverrides(Technology tech,
java.lang.String overrides)
Method to set the DRC overrides for a this technology.
|
void |
setResolution(Technology tech,
double resolution)
Method to set the technology resolution.
|
getFactoryPrefRoot, getKey, getKey, getKey, getKey, getPrefRoot, withField
public boolean incrementalDRC
public boolean interactiveDRCDrag
public DRC.DRCCheckLogging errorLoggingType
public DRC.DRCCheckMode errorType
public boolean ignoreCenterCuts
public boolean ignoreAreaCheck
public boolean ignoreExtensionRuleChecking
public boolean storeDatesInMemory
public boolean interactiveLog
public DRC.DRCCheckMinArea minAreaAlgoOption
public boolean isMultiThreaded
public java.util.Map<Technology,java.lang.Double> resolutions
public java.util.Map<Technology,java.lang.String> overrides
public void putPrefs(java.util.prefs.Preferences prefRoot, boolean removeDefaults)
putPrefs
in class PrefPackage
prefRoot
- the root of the Preferences subtree.removeDefaults
- remove from the Preferences subtree options which have factory default value.public void setResolution(Technology tech, double resolution)
tech
- Technologyresolution
- new resolution value.public double getResolution(Technology tech)
tech
- specified technolgypublic java.lang.String getDRCOverrides(Technology tech)
tech
- specified technolgypublic void setDRCOverrides(Technology tech, java.lang.String overrides)
tech
- specified technolgyoverrides
- the overrides.