com.sun.electric.tool.drc
Class DRC.DRCPreferences

java.lang.Object
  extended by com.sun.electric.database.text.PrefPackage
      extended by com.sun.electric.tool.drc.DRC.DRCPreferences
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable
Enclosing class:
DRC

public static class DRC.DRCPreferences
extends PrefPackage

OPTIONS

See Also:
Serialized Form

Nested Class Summary
 
Nested classes/interfaces inherited from class com.sun.electric.database.text.PrefPackage
PrefPackage.BooleanPref, PrefPackage.DoublePref, PrefPackage.IntegerPref, PrefPackage.LongPref, PrefPackage.StringPref
 
Field Summary
 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.
 
Fields inherited from class com.sun.electric.database.text.PrefPackage
TECH_NODE, USER_NODE
 
Constructor Summary
DRC.DRCPreferences(boolean factory)
           
 
Method Summary
 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.
 
Methods inherited from class com.sun.electric.database.text.PrefPackage
getFactoryPrefRoot, getKey, getKey, getKey, getKey, getPrefRoot, withField
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

incrementalDRC

public boolean incrementalDRC
Whether DRC should DRC should be done incrementally. The default is "false".


interactiveDRCDrag

public boolean interactiveDRCDrag
Whether DRC violations should be shown while nodes and arcs are dragged. The default is "true".


errorLoggingType

public DRC.DRCCheckLogging errorLoggingType
Logging type in DRC. The default is "DRC_LOG_PER_CELL".


errorType

public DRC.DRCCheckMode errorType
Checking level in DRC. The default is "ERROR_CHECK_DEFAULT".


ignoreCenterCuts

public boolean ignoreCenterCuts
Whether DRC should ignore center cuts in large contacts. Only the perimeter of cuts will be checked. The default is "false".


ignoreAreaCheck

public boolean ignoreAreaCheck
Whether DRC should ignore minimum/enclosed area checking. The default is "false".


ignoreExtensionRuleChecking

public boolean ignoreExtensionRuleChecking
Whether DRC should should check extension rules. The default is "false".


storeDatesInMemory

public boolean storeDatesInMemory
Whether DRC dates should be stored in memory or not. The default is "false".


interactiveLog

public boolean interactiveLog
Whether DRC loggers should be displayed in Explorer immediately. The default is "false".


minAreaAlgoOption

public DRC.DRCCheckMinArea minAreaAlgoOption
Which min area algorithm to use. The default is AREA_LOCAL


isMultiThreaded

public boolean isMultiThreaded
Whether DRC should run in a single thread or multi-threaded. The default is single-threaded.


resolutions

public java.util.Map<Technology,java.lang.Double> resolutions

overrides

public java.util.Map<Technology,java.lang.String> overrides
Constructor Detail

DRC.DRCPreferences

public DRC.DRCPreferences(boolean factory)
Method Detail

putPrefs

public void putPrefs(java.util.prefs.Preferences prefRoot,
                     boolean removeDefaults)
Store annotated option fields of the subclass into the speciefied Preferences subtree.

Overrides:
putPrefs in class PrefPackage
Parameters:
prefRoot - the root of the Preferences subtree.
removeDefaults - remove from the Preferences subtree options which have factory default value.

setResolution

public void setResolution(Technology tech,
                          double resolution)
Method to set the technology resolution. This is the minimum size unit that can be represented.

Parameters:
tech - Technology
resolution - new resolution value.

getResolution

public double getResolution(Technology tech)
Method to retrieve the resolution associated to specified. This is the minimum size unit that can be represented.

Parameters:
tech - specified technolgy
Returns:
the technology's resolution value.

getDRCOverrides

public java.lang.String getDRCOverrides(Technology tech)
Method to get the DRC overrides from the preferences for this technology.

Parameters:
tech - specified technolgy
Returns:
a Pref describing DRC overrides for the Technology.

setDRCOverrides

public void setDRCOverrides(Technology tech,
                            java.lang.String overrides)
Method to set the DRC overrides for a this technology.

Parameters:
tech - specified technolgy
overrides - the overrides.