public interface PrecisionSpecAttribute extends Attribute
The following features are supported:
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
copyright |
| Modifier and Type | Method and Description |
|---|---|
int |
getDigits()
Returns the value of the 'Digits' attribute.
|
int |
getScalingFactor()
Returns the value of the 'Scaling Factor' attribute.
|
boolean |
isSetDigits()
Returns whether the value of the '
Digits' attribute is set. |
boolean |
isSetScalingFactor()
Returns whether the value of the '
Scaling Factor' attribute is set. |
void |
setDigits(int value)
Sets the value of the '
Digits' attribute. |
void |
setScalingFactor(int value)
Sets the value of the '
Scaling Factor' attribute. |
void |
unsetDigits()
Unsets the value of the '
Digits' attribute. |
void |
unsetScalingFactor()
Unsets the value of the '
Scaling Factor' attribute. |
getType, setTypegetBeginColumn, getBeginFile, getBeginLine, getEndColumn, getEndFile, getEndLine, getParent, setBeginColumn, setBeginFile, setBeginLine, setEndColumn, setEndFile, setEndLine, setParentstatic final java.lang.String copyright
int getDigits()
"0".
isSetDigits(),
unsetDigits(),
setDigits(int),
PLIPackage.getPrecisionSpecAttribute_Digits()void setDigits(int value)
Digits' attribute.
value - the new value of the 'Digits' attribute.isSetDigits(),
unsetDigits(),
getDigits()void unsetDigits()
Digits' attribute.
isSetDigits(),
getDigits(),
setDigits(int)boolean isSetDigits()
Digits' attribute is set.
unsetDigits(),
getDigits(),
setDigits(int)int getScalingFactor()
isSetScalingFactor(),
unsetScalingFactor(),
setScalingFactor(int),
PLIPackage.getPrecisionSpecAttribute_ScalingFactor()void setScalingFactor(int value)
Scaling Factor' attribute.
value - the new value of the 'Scaling Factor' attribute.isSetScalingFactor(),
unsetScalingFactor(),
getScalingFactor()void unsetScalingFactor()
Scaling Factor' attribute.
boolean isSetScalingFactor()
Scaling Factor' attribute is set.
unsetScalingFactor(),
getScalingFactor(),
setScalingFactor(int)