Value ([net.sf.proguard] proguard-base 5.1 API)

java.lang.Object
- proguard.evaluation.value.Value

Direct Known Subclasses:

Category1Value, Category2Value
```
public abstract class Value
extends Object
```
This abstract class represents a partially evaluated value.

Author:

Eric Lafortune

Field Summary

Fields
Modifier and Type	Field and Description
`static int`	`ALWAYS`
`static int`	`MAYBE`
`static int`	`NEVER`
`static int`	`TYPE_DOUBLE`
`static int`	`TYPE_FLOAT`
`static int`	`TYPE_INSTRUCTION_OFFSET`
`static int`	`TYPE_INTEGER`
`static int`	`TYPE_LONG`
`static int`	`TYPE_REFERENCE`
`static int`	`TYPE_TOP`

Constructor Summary

Constructors
Constructor and Description

Value()

Constructors
Constructor and Description
`Value()`

Method Summary

Methods
Modifier and Type	Method and Description
`Category1Value`	`category1Value()` Returns this Value as a Category1Value.
`Category2Value`	`category2Value()` Returns this Value as a Category2Value.
`abstract int`	`computationalType()` Returns the computational type of this Value.
`DoubleValue`	`doubleValue()` Returns this Value as a DoubleValue.
`FloatValue`	`floatValue()` Returns this Value as a FloatValue.
`abstract Value`	`generalize(Value other)` Returns the generalization of this Value and the given other Value.
`InstructionOffsetValue`	`instructionOffsetValue()` Returns this Value as an InstructionOffsetValue.
`IntegerValue`	`integerValue()` Returns this Value as an IntegerValue.
`abstract String`	`internalType()` Returns the internal type of this Value.
`abstract boolean`	`isCategory2()` Returns whether the computational type of this Value is a category 2 type.
`boolean`	`isParticular()` Returns whether this Value represents a single particular (known) value.
`boolean`	`isSpecific()` Returns whether this Value represents a single specific (but possibly unknown) value.
`LongValue`	`longValue()` Returns this Value as a LongValue.
`ReferenceValue`	`referenceValue()` Returns this Value as a ReferenceValue.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - NEVER
```
public static final int NEVER
```
    See Also:
    Constant Field Values
  - MAYBE
```
public static final int MAYBE
```
    See Also:
    Constant Field Values
  - ALWAYS
```
public static final int ALWAYS
```
    See Also:
    Constant Field Values
  - TYPE_INTEGER
```
public static final int TYPE_INTEGER
```
    See Also:
    Constant Field Values
  - TYPE_LONG
```
public static final int TYPE_LONG
```
    See Also:
    Constant Field Values
  - TYPE_FLOAT
```
public static final int TYPE_FLOAT
```
    See Also:
    Constant Field Values
  - TYPE_DOUBLE
```
public static final int TYPE_DOUBLE
```
    See Also:
    Constant Field Values
  - TYPE_REFERENCE
```
public static final int TYPE_REFERENCE
```
    See Also:
    Constant Field Values
  - TYPE_INSTRUCTION_OFFSET
```
public static final int TYPE_INSTRUCTION_OFFSET
```
    See Also:
    Constant Field Values
  - TYPE_TOP
```
public static final int TYPE_TOP
```
    See Also:
    Constant Field Values
- Constructor Detail
  - Value
```
public Value()
```
- Method Detail
  - category1Value
```
public Category1Value category1Value()
```
    Returns this Value as a Category1Value.
  - category2Value
```
public Category2Value category2Value()
```
    Returns this Value as a Category2Value.
  - integerValue
```
public IntegerValue integerValue()
```
    Returns this Value as an IntegerValue.
  - longValue
```
public LongValue longValue()
```
    Returns this Value as a LongValue.
  - floatValue
```
public FloatValue floatValue()
```
    Returns this Value as a FloatValue.
  - doubleValue
```
public DoubleValue doubleValue()
```
    Returns this Value as a DoubleValue.
  - referenceValue
```
public ReferenceValue referenceValue()
```
    Returns this Value as a ReferenceValue.
  - instructionOffsetValue
```
public InstructionOffsetValue instructionOffsetValue()
```
    Returns this Value as an InstructionOffsetValue.
  - isSpecific
```
public boolean isSpecific()
```
    Returns whether this Value represents a single specific (but possibly unknown) value.
  - isParticular
```
public boolean isParticular()
```
    Returns whether this Value represents a single particular (known) value.
  - generalize
```
public abstract Value generalize(Value other)
```
    Returns the generalization of this Value and the given other Value.
  - isCategory2
```
public abstract boolean isCategory2()
```
    Returns whether the computational type of this Value is a category 2 type. This means that it takes up the space of two category 1 types on the stack, for instance.
  - computationalType
```
public abstract int computationalType()
```
    Returns the computational type of this Value.
    
    Returns:
    TYPE_INTEGER, TYPE_LONG, TYPE_FLOAT, TYPE_DOUBLE, TYPE_REFERENCE, or TYPE_INSTRUCTION_OFFSET.
  - internalType
```
public abstract String internalType()
```
    Returns the internal type of this Value.
    
    Returns:
    ClassConstants.TYPE_BOOLEAN, ClassConstants.TYPE_BYTE, ClassConstants.TYPE_CHAR, ClassConstants.TYPE_SHORT, ClassConstants.TYPE_INT, ClassConstants.TYPE_LONG, ClassConstants.TYPE_FLOAT, ClassConstants.TYPE_DOUBLE, ClassConstants.TYPE_CLASS_START ... ClassConstants.TYPE_CLASS_END, or an array type containing any of these types (always as String).

Class Value

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

NEVER

MAYBE

ALWAYS

TYPE_INTEGER

TYPE_LONG

TYPE_FLOAT

TYPE_DOUBLE

TYPE_REFERENCE

TYPE_INSTRUCTION_OFFSET

TYPE_TOP

Constructor Detail

Value

Method Detail

category1Value

category2Value

integerValue

longValue

floatValue

doubleValue

referenceValue

instructionOffsetValue

isSpecific

isParticular

generalize

isCategory2

computationalType

internalType