
/*

  The author of this software is Ian Kaplan
  Bear Products International
  www.bearcave.com
  iank@bearcave.com

  Copyright (c) Ian Kaplan, 1999, 2000

  See copyright file for usage and licensing

*/

package jconst;

import java.io.*;
//import checkers.inference.ownership.quals.*;
import util.*;


/*
 * constFloat
 *
 */
class constFloat extends constBase {
  float f;

  // Convert the integer bits into a floating point number
  // with the same bit pattern.
  private void toFloat( int v ) { f = Float.intBitsToFloat( v ); }

  public void read( DataInputStream dStream ) {
    int val;

    val = readU4(dStream);
    toFloat( val );
  }

  public String getString() {
    return Float.toString( f );
  }

  public void pr() {
    System.out.print( f );
  } // pr

} // constFloat

