java.lang.Object
- com.tonic.analysis.execution.state.ConcreteValue

```
public final class ConcreteValue
extends Object
```
An immutable tagged JVM value, storing primitives as raw bits and references as a heap instance.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`double`	`asDouble()`
`float`	`asFloat()`
`int`	`asInt()`
`long`	`asLong()`
`ObjectInstance`	`asReference()`
`int`	`asReturnAddress()`
`static ConcreteValue`	`doubleValue(double value)`	Creates a DOUBLE value, storing its raw bit pattern so NaN payloads survive.
`boolean`	`equals(Object o)`
`static ConcreteValue`	`floatValue(float value)`	Creates a FLOAT value, storing its raw bit pattern so NaN payloads survive.
`int`	`getCategory()`
`ValueTag`	`getTag()`
`int`	`hashCode()`
`static ConcreteValue`	`intValue(int value)`	Creates an INT value, also used for the sub-int types.
`boolean`	`isIntegral()`
`boolean`	`isNull()`
`boolean`	`isReference()`
`boolean`	`isWide()`
`static ConcreteValue`	`longValue(long value)`	Creates a LONG value.
`static ConcreteValue`	`nullRef()`
`static ConcreteValue`	`reference(ObjectInstance instance)`	Creates a REFERENCE value pointing at a heap instance.
`static ConcreteValue`	`returnAddress(int address)`	Creates the value pushed by jsr.
`String`	`toString()`

Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait

- Method Detail
  - intValue
```
public static ConcreteValue intValue(int value)
```
    Creates an INT value, also used for the sub-int types.
    
    Parameters:
    
    value - the integer
    
    Returns:
    
    the tagged value
  - longValue
```
public static ConcreteValue longValue(long value)
```
    Creates a LONG value.
    
    Parameters:
    
    value - the long
    
    Returns:
    
    the tagged value
  - floatValue
```
public static ConcreteValue floatValue(float value)
```
    Creates a FLOAT value, storing its raw bit pattern so NaN payloads survive.
    
    Parameters:
    
    value - the float
    
    Returns:
    
    the tagged value
  - doubleValue
```
public static ConcreteValue doubleValue(double value)
```
    Creates a DOUBLE value, storing its raw bit pattern so NaN payloads survive.
    
    Parameters:
    
    value - the double
    
    Returns:
    
    the tagged value
  - reference
```
public static ConcreteValue reference(ObjectInstance instance)
```
    Creates a REFERENCE value pointing at a heap instance.
    
    Parameters:
    
    instance - the target object, never null
    
    Returns:
    
    the tagged value
    
    Throws:
    
    IllegalArgumentException - if the instance is null
  - nullRef
```
public static ConcreteValue nullRef()
```
    Returns:
    
    a NULL-tagged reference value
  - returnAddress
```
public static ConcreteValue returnAddress(int address)
```
    Creates the value pushed by jsr.
    
    Parameters:
    
    address - the bytecode offset to return to
    
    Returns:
    
    the tagged value
  - getTag
```
public ValueTag getTag()
```
    Returns:
    
    the tag
  - isNull
```
public boolean isNull()
```
    Returns:
    
    true if this is the null reference
  - isWide
```
public boolean isWide()
```
    Returns:
    
    true if the value occupies two stack or local slots
  - isReference
```
public boolean isReference()
```
    Returns:
    
    true if the value is an object reference or null
  - isIntegral
```
public boolean isIntegral()
```
    Returns:
    
    true if the value is an int or a long
  - getCategory
```
public int getCategory()
```
    Returns:
    
    the JVM computational type category, 1 or 2
  - asInt
```
public int asInt()
```
    Returns:
    
    the int contents
    
    Throws:
    
    IllegalStateException - if the value is not tagged INT
  - asLong
```
public long asLong()
```
    Returns:
    
    the long contents
    
    Throws:
    
    IllegalStateException - if the value is not tagged LONG
  - asFloat
```
public float asFloat()
```
    Returns:
    
    the float decoded from the stored bits
    
    Throws:
    
    IllegalStateException - if the value is not tagged FLOAT
  - asDouble
```
public double asDouble()
```
    Returns:
    
    the double decoded from the stored bits
    
    Throws:
    
    IllegalStateException - if the value is not tagged DOUBLE
  - asReference
```
public ObjectInstance asReference()
```
    Returns:
    
    the referenced instance, or null when the value is the null reference
    
    Throws:
    
    IllegalStateException - if the value is neither a reference nor null
  - asReturnAddress
```
public int asReturnAddress()
```
    Returns:
    
    the stored bytecode offset
    
    Throws:
    
    IllegalStateException - if the value is not tagged RETURN_ADDRESS
  - equals
```
public boolean equals(Object o)
```
    Overrides:
    
    equals in class Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class Object
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object

Class ConcreteValue

Method Summary

Methods inherited from class java.lang.Object

Method Detail

intValue

longValue

floatValue

doubleValue

reference

nullRef

returnAddress

getTag

isNull

isWide

isReference

isIntegral

getCategory

asInt

asLong

asFloat

asDouble

asReference

asReturnAddress

equals

hashCode

toString