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() Returns the value.
int	hashCode()
boolean	isBottom() Returns whether or not the constant is BOTTOM.
boolean	isConstant() Returns whether or not the constant is CONSTANT.
boolean	isTop() Returns whether or not the constant is TOP.
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.

Returns:

whether or not the constant is TOP

isBottom

public boolean isBottom()

Returns whether or not the constant is BOTTOM.

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.

Returns:

whether or not the constant is CONSTANT

getValue

public Integer getValue()

Returns the value.

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