public abstract class IntegerType extends BuiltInType
| Constructor and Description |
|---|
IntegerType(AstLocation location,
java.lang.String name)
Constructor from AST node location and the name.
|
| Modifier and Type | Method and Description |
|---|---|
abstract java.math.BigInteger |
getLowerBound()
Gets lower bound for this integer type.
|
java.math.BigInteger |
getLowerBound(TypeInstantiation instantiation)
Gets lower bound for this integer type with respect to the give instantiation.
|
abstract java.math.BigInteger |
getUpperBound()
Gets upper bound for this integer type.
|
java.math.BigInteger |
getUpperBound(TypeInstantiation instantiation)
Gets upper bound for this integer type with respect to the given instantiation.
|
abstract boolean |
isSigned()
Checks if this integer type is signed or not.
|
getName, getPackagegetLocation, visitChildrenclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitaccept, getLocation, visitChildrenpublic IntegerType(AstLocation location, java.lang.String name)
location - AST node location.name - Name of the AST node taken from grammar.public abstract java.math.BigInteger getUpperBound()
public abstract java.math.BigInteger getLowerBound()
public abstract boolean isSigned()
public java.math.BigInteger getUpperBound(TypeInstantiation instantiation)
instantiation - Instantiation of this integer type.public java.math.BigInteger getLowerBound(TypeInstantiation instantiation)
instantiation - Instantiation of this integer type.Last updated 2024-10-29 12:52:38