public static class LayerCoverageTool.LayerCoveragePreferences extends PrefPackage
PrefPackage.BooleanPref, PrefPackage.DoublePref, PrefPackage.IntegerPref, PrefPackage.LongPref, PrefPackage.StringPref
Modifier and Type | Field and Description |
---|---|
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.
|
TECH_NODE, USER_NODE
Constructor and Description |
---|
LayerCoveragePreferences(boolean factory) |
Modifier and Type | Method and Description |
---|---|
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.
|
getFactoryPrefRoot, getKey, getKey, getKey, getKey, getPrefRoot, withField
public static final double DEFAULT_AREA_COVERAGE
public java.util.Map<LayerId,java.lang.Double> areaCoverage
public double deltaXInMicrons
public double deltaYInMicrons
public double widthInMicrons
public double heightInMicrons
public SeaOfGates.SeaOfGatesOptions seaIfGatesPrefs
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 double getAreaCoverage(Layer layer)
public void setAreaCoverageInfo(Layer layer, double area)
layer
- Layerarea
- the minimum area coverage (in percentage).public void reset()