randoop.util

Class ClassFileConstants

java.lang.Object

randoop.util.ClassFileConstants

public class ClassFileConstants
extends java.lang.Object

Reads literals from a class file, including from the constant pool and from bytecodes that take immediate arguments.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ClassFileConstants.ConstantSet Stores constant values from a class file.

Field Summary

Fields

Modifier and Type	Field and Description
(package private) static byte	bb A byte value for testing.
(package private) static char	c A char value for testing.
(package private) static double	d A double value for testing.
(package private) static float	f A float value for testing.
(package private) static int	ii An int value for testing.
(package private) static long	ll A long value for testing.
(package private) static short	s A short value for testing.

Constructor Summary

Constructors

Constructor and Description
ClassFileConstants()

Method Summary

Modifier and Type	Method and Description
private static void	addToConstantMap(ClassFileConstants.ConstantSet cs, MultiMap<java.lang.Class<?>,NonreceiverTerm> map) Add all constant values from the given ConstantSet as NonreceiverTerms to their corresponding class in the given map.
static java.util.Set<NonreceiverTerm>	constantSetToNonreceiverTerms(ClassFileConstants.ConstantSet cs) Convert a ConstantSet to a set of NonreceiverTerms.
static ClassFileConstants.ConstantSet	getConstants(java.lang.String classname) Returns all the constants found in the given class.
static ClassFileConstants.ConstantSet	getConstants(java.lang.String classname, ClassFileConstants.ConstantSet result) Adds all the constants found in the given class into the given ConstantSet, and returns it.
static java.util.Set<NonreceiverTerm>	getNonreceiverTerms(java.lang.Class<?> c) Return the set of NonreceiverTerms converted from constants for the given class.
static void	main(java.lang.String[] args) A simple driver program that prints output literals file format.
(package private) static void	registerClassConstant(java.lang.Class<?> value, ClassFileConstants.ConstantSet cs) Register a Class constant in the given ConstantSet.
(package private) static void	registerConstant(org.apache.bcel.classfile.Constant constant, org.apache.bcel.classfile.ConstantPool constant_pool, ClassFileConstants.ConstantSet cs) Register a constant in the given ConstantSet.
(package private) static void	registerDoubleConstant(java.lang.Double value, ClassFileConstants.ConstantSet cs) Register a double constant in the given ConstantSet.
(package private) static void	registerFloatConstant(java.lang.Float value, ClassFileConstants.ConstantSet cs) Register a float constant in the given ConstantSet.
(package private) static void	registerIntegerConstant(java.lang.Integer value, ClassFileConstants.ConstantSet cs) Register an integer constant in the given ConstantSet.
(package private) static void	registerLongConstant(java.lang.Long value, ClassFileConstants.ConstantSet cs) Register a long constant in the given ConstantSet.
(package private) static void	registerStringConstant(java.lang.String value, ClassFileConstants.ConstantSet cs) Register a String constant in the given ConstantSet.
static MultiMap<java.lang.Class<?>,NonreceiverTerm>	toMap(java.util.Collection<ClassFileConstants.ConstantSet> constantSets) Convert a collection of ConstantSets to the format expected by GenTest.addClassLiterals.

Methods inherited from class java.lang.Object

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

Field Detail

bb

static byte bb

A byte value for testing.

d

static double d

A double value for testing.

f

static float f

A float value for testing.

ii

static int ii

An int value for testing.

ll

static long ll

A long value for testing.

s

static short s

A short value for testing.

c

static char c

A char value for testing.

Constructor Detail

ClassFileConstants

public ClassFileConstants()

Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.io.IOException

A simple driver program that prints output literals file format.

Parameters:

args - the command line arguments

Throws:

java.io.IOException - if an error occurs in writing the constants

See Also:

LiteralFileReader

getConstants

public static ClassFileConstants.ConstantSet getConstants(java.lang.String classname)

Returns all the constants found in the given class.

Parameters:

classname - the name of the type

Returns:

the set of constants of the given type

See Also:

getConstants(String,ConstantSet)

getConstants

public static ClassFileConstants.ConstantSet getConstants(java.lang.String classname,
                                                          ClassFileConstants.ConstantSet result)

Adds all the constants found in the given class into the given ConstantSet, and returns it.

Parameters:

classname - the name of the type

result - the set of constants to which constants are added

Returns:

the set of constants with new constants of given type added

See Also:

getConstants(String)

registerConstant

static void registerConstant(org.apache.bcel.classfile.Constant constant,
                             org.apache.bcel.classfile.ConstantPool constant_pool,
                             ClassFileConstants.ConstantSet cs)

Register a constant in the given ConstantSet.

Parameters:

constant - the constant

constant_pool - a constant pool that is used if the constant is a String, Class, or Enum

cs - the ConstantSet

registerDoubleConstant

static void registerDoubleConstant(java.lang.Double value,
                                   ClassFileConstants.ConstantSet cs)

Register a double constant in the given ConstantSet.

Parameters:

value - the double constant

cs - the ConstantSet

registerFloatConstant

static void registerFloatConstant(java.lang.Float value,
                                  ClassFileConstants.ConstantSet cs)

Register a float constant in the given ConstantSet.

Parameters:

value - the float constant

cs - the ConstantSet

registerIntegerConstant

static void registerIntegerConstant(java.lang.Integer value,
                                    ClassFileConstants.ConstantSet cs)

Register an integer constant in the given ConstantSet.

Parameters:

value - the integer constant

cs - the ConstantSet

registerLongConstant

static void registerLongConstant(java.lang.Long value,
                                 ClassFileConstants.ConstantSet cs)

Register a long constant in the given ConstantSet.

Parameters:

value - the long constant

cs - the ConstantSet

registerStringConstant

static void registerStringConstant(java.lang.String value,
                                   ClassFileConstants.ConstantSet cs)

Register a String constant in the given ConstantSet.

Parameters:

value - the String constant

cs - the ConstantSet

registerClassConstant

static void registerClassConstant(java.lang.Class<?> value,
                                  ClassFileConstants.ConstantSet cs)

Register a Class constant in the given ConstantSet.

Parameters:

value - the Class constant

cs - the ConstantSet

getNonreceiverTerms

public static java.util.Set<NonreceiverTerm> getNonreceiverTerms(java.lang.Class<?> c)

Return the set of NonreceiverTerms converted from constants for the given class.

Parameters:

c - the class

Returns:

a set of Nonreceiver terms for the given class

toMap

public static MultiMap<java.lang.Class<?>,NonreceiverTerm> toMap(java.util.Collection<ClassFileConstants.ConstantSet> constantSets)

Convert a collection of ConstantSets to the format expected by GenTest.addClassLiterals.

Parameters:

constantSets - the sets of constantSets

Returns:

a map of types to constant operations

addToConstantMap

private static void addToConstantMap(ClassFileConstants.ConstantSet cs,
                                     MultiMap<java.lang.Class<?>,NonreceiverTerm> map)

Add all constant values from the given ConstantSet as NonreceiverTerms to their corresponding class in the given map.

Parameters:

cs - the constant set

map - the map to add to

constantSetToNonreceiverTerms

public static java.util.Set<NonreceiverTerm> constantSetToNonreceiverTerms(ClassFileConstants.ConstantSet cs)

Convert a ConstantSet to a set of NonreceiverTerms.

Parameters:

cs - the ConstantSet

Returns:

a set of NonreceiverTerms