randoop.util

Class ClassFileConstants.ConstantSet

java.lang.Object

randoop.util.ClassFileConstants.ConstantSet

Enclosing class:

ClassFileConstants

public static class ClassFileConstants.ConstantSet
extends java.lang.Object

Stores constant values from a class file.

Field Summary

Fields

Modifier and Type	Field and Description
java.util.Set<java.lang.Class<?>>	classes Values that are non-receiver terms.
@ClassGetName java.lang.String	classname Name of class containing the constants.
java.util.Map<java.lang.Object,java.lang.Integer>	constantFrequency Map that stores the number of uses of each constant in the current class.
java.util.Set<java.lang.Double>	doubles Set of all double constants in a class.
java.util.Set<java.lang.Float>	floats Set of all float constants in a class.
java.util.Set<java.lang.Integer>	ints Set of all int constants in a class.
java.util.Set<java.lang.Long>	longs Set of all long constants in a class.
java.util.Set<java.lang.String>	strings Set of all string constants in a class.

Constructor Summary

Constructors

Constructor and Description
ConstantSet()

Method Summary

Modifier and Type	Method and Description
int	getConstantFrequency(java.lang.Object value) Returns the number of uses of the given constant in the current class.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

classname

public @ClassGetName java.lang.String classname

Name of class containing the constants.

ints

public java.util.Set<java.lang.Integer> ints

Set of all int constants in a class.

longs

public java.util.Set<java.lang.Long> longs

Set of all long constants in a class.

floats

public java.util.Set<java.lang.Float> floats

Set of all float constants in a class.

doubles

public java.util.Set<java.lang.Double> doubles

Set of all double constants in a class.

strings

public java.util.Set<java.lang.String> strings

Set of all string constants in a class.

classes

public java.util.Set<java.lang.Class<?>> classes

Values that are non-receiver terms.

constantFrequency

public java.util.Map<java.lang.Object,java.lang.Integer> constantFrequency

Map that stores the number of uses of each constant in the current class.

Constructor Detail

ConstantSet

public ConstantSet()

Method Detail

getConstantFrequency

public int getConstantFrequency(java.lang.Object value)

Returns the number of uses of the given constant in the current class.

Parameters:

value - the constant value

Returns:

the number of uses of the constant in the current class

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object