dk.brics.tajs.analysis.nativeobjects.concrete

Class Alpha

java.lang.Object

dk.brics.tajs.analysis.nativeobjects.concrete.Alpha

public class Alpha
extends java.lang.Object

Converts concrete values to abstract values.

Constructor Summary

Constructors

Constructor and Description
Alpha()

Method Summary

Modifier and Type	Method and Description
static Value	toValue(ConcreteValue concreteValue, GenericSolver.SolverInterface c) Converts a concrete value to an abstract value.

Methods inherited from class java.lang.Object

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

Constructor Detail

Alpha

public Alpha()

Method Detail

toValue

public static Value toValue(ConcreteValue concreteValue,
                            GenericSolver.SolverInterface c)

Converts a concrete value to an abstract value.

Parameters:

concreteValue - value to abstract

c - used for allocating new objects