Constant

java.lang.Object
- org.checkerframework.dataflow.constantpropagation.Constant

All Implemented Interfaces:: AbstractValue<Constant>

public class Constant
extends java.lang.Object
implements AbstractValue<Constant>

Nested Class Summary

Nested Classes
Modifier and Type Class and Description

static class Constant.Type

Nested Classes
Modifier and Type	Class and Description
`static class`	`Constant.Type`

Field Summary

Fields
Modifier and Type	Field and Description
`protected Constant.Type`	`type` What kind of abstract value is this?
`protected @Nullable java.lang.Integer`	`value` The value of this abstract value (or null)

Constructor Summary

Constructors
Constructor and Description

Constant(Constant.Type type)

Constant(java.lang.Integer value)

Constructors
Constructor and Description
`Constant(Constant.Type type)`
`Constant(java.lang.Integer value)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`Constant`	`copy()`
`boolean`	`equals(java.lang.Object obj)`
`java.lang.Integer`	`getValue()`
`int`	`hashCode()`
`boolean`	`isBottom()`
`boolean`	`isConstant()`
`boolean`	`isTop()`
`Constant`	`leastUpperBound(Constant other)` Compute the least upper bound of two stores.
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Field Detail
  - type
```
protected Constant.Type type
```
    What kind of abstract value is this?
  - value
```
protected @Nullable java.lang.Integer value
```
    The value of this abstract value (or null)
- Constructor Detail
  - Constant
```
public Constant(Constant.Type type)
```
  - Constant
```
public Constant(java.lang.Integer value)
```
- Method Detail
  - isTop
```
public boolean isTop()
```
  - isBottom
```
public boolean isBottom()
```
  - isConstant
```
public boolean isConstant()
```
  - getValue
```
public java.lang.Integer getValue()
```
  - copy
```
public Constant copy()
```
  - leastUpperBound
```
public Constant leastUpperBound(Constant other)
```
    Description copied from interface: AbstractValue
    Compute the least upper bound of two stores.
    Important: This method must fulfill the following contract:
    - Does not change this.
    - Does not change other.
    - Returns a fresh object which is not aliased yet.
    - Returns an object of the same (dynamic) type as this, even if the signature is more permissive.
    - Is commutative.
    Specified by:
    
    leastUpperBound in interface AbstractValue<Constant>
  - equals
```
public boolean equals(java.lang.Object obj)
```
    Overrides:
    
    equals in class java.lang.Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class java.lang.Object
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object

Class Constant

Nested Class Summary

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

type

value

Constructor Detail

Constant

Constant

Method Detail

isTop

isBottom

isConstant

getValue

copy

leastUpperBound

equals

hashCode

toString