org.checkerframework.dataflow.constantpropagation

Class Constant

java.lang.Object

org.checkerframework.dataflow.constantpropagation.Constant

All Implemented Interfaces:

AbstractValue<Constant>

public class Constant
extends Object
implements AbstractValue<Constant>

Nested Class Summary

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 Integer	value The value of this abstract value (or null).

Constructor Summary

Constructors

Constructor and Description
Constant(Constant.Type type) Create a constant for type.
Constant(Integer value) Create a constant for value.

Method Summary

Modifier and Type	Method and Description
Constant	copy()
boolean	equals(@Nullable Object obj)
Integer	getValue()
int	hashCode()
boolean	isBottom()
boolean	isConstant()
boolean	isTop()
Constant	leastUpperBound(Constant other) Compute the least upper bound of two stores.
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 Integer value

The value of this abstract value (or null).

Constructor Detail

Constant

public Constant(Constant.Type type)

Create a constant for type.

Constant

public Constant(Integer value)

Create a constant for value.

Method Detail

isTop

public boolean isTop()

Returns:

whether or not the constant is TOP.

isBottom

public boolean isBottom()

Returns:

whether or not the constant is BOTTOM.

isConstant

@EnsuresNonNullIf(result=true,
                  expression="value")
public boolean isConstant()

Returns:

whether or not the constant is CONSTANT.

getValue

public Integer getValue()

Returns:

the value.

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(@Nullable Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object