com.sun.electric.tool.extract
Class LayerCoverageTool.LayerCoveragePreferences

java.lang.Object
  extended by com.sun.electric.database.text.PrefPackage
      extended by com.sun.electric.tool.extract.LayerCoverageTool.LayerCoveragePreferences
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable
Enclosing class:
LayerCoverageTool

public static class LayerCoverageTool.LayerCoveragePreferences
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
 java.util.Map<LayerId,java.lang.Double> areaCoverage
           
static double DEFAULT_AREA_COVERAGE
           
 double deltaXInMicrons
          User preference for deltaX.
 double deltaYInMicrons
          User preference for deltaY.
 double heightInMicrons
          User preference for height of the bounding box.
 SeaOfGates.SeaOfGatesOptions seaIfGatesPrefs
          Preference for SeaOfGate if used
 double widthInMicrons
          User preference for width of the bounding box.
 
Fields inherited from class com.sun.electric.database.text.PrefPackage
TECH_NODE, USER_NODE
 
Constructor Summary
LayerCoverageTool.LayerCoveragePreferences(boolean factory)
           
 
Method Summary
 double getAreaCoverage(Layer layer)
          Method to return the minimum area coverage that the layer must reach in the technology.
 void putPrefs(java.util.prefs.Preferences prefRoot, boolean removeDefaults)
          Store annotated option fields of the subclass into the speciefied Preferences subtree.
 void reset()
           
 void setAreaCoverageInfo(Layer layer, double area)
          Methot to set minimum area coverage that the layer must reach in the technology.
 
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

DEFAULT_AREA_COVERAGE

public static final double DEFAULT_AREA_COVERAGE
See Also:
Constant Field Values

areaCoverage

public java.util.Map<LayerId,java.lang.Double> areaCoverage

deltaXInMicrons

public double deltaXInMicrons
User preference for deltaX. The default is 50 mm.


deltaYInMicrons

public double deltaYInMicrons
User preference for deltaY. The default is 50 mm.


widthInMicrons

public double widthInMicrons
User preference for width of the bounding box. The default is 50 mm.


heightInMicrons

public double heightInMicrons
User preference for height of the bounding box. The default is 50 mm.


seaIfGatesPrefs

public SeaOfGates.SeaOfGatesOptions seaIfGatesPrefs
Preference for SeaOfGate if used

Constructor Detail

LayerCoverageTool.LayerCoveragePreferences

public LayerCoverageTool.LayerCoveragePreferences(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.

getAreaCoverage

public double getAreaCoverage(Layer layer)
Method to return the minimum area coverage that the layer must reach in the technology.

Returns:
the minimum area coverage (in percentage).

setAreaCoverageInfo

public void setAreaCoverageInfo(Layer layer,
                                double area)
Methot to set minimum area coverage that the layer must reach in the technology.

Parameters:
layer - Layer
area - the minimum area coverage (in percentage).

reset

public void reset()