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

Constructor Summary

Constructors

Constructor and Description
Constant(Constant.Type type)
Constant(Integer value)

Method Summary

Modifier and Type	Method and Description
Constant	copy()
boolean	equals(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 Integer value

The value of this abstract value (or null)

Constructor Detail

Constant

public Constant(Constant.Type type)

Constant

public Constant(Integer value)

Method Detail

isTop

public boolean isTop()

isBottom

public boolean isBottom()

isConstant

public boolean isConstant()

getValue

public 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(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