harpoon.Analysis.Transactions
Class BitFieldNumbering

java.lang.Object
  extended by harpoon.Analysis.Transactions.BitFieldNumbering

public class BitFieldNumbering
extends Object

BitFieldNumbering finds a bit-position and a field to embed boolean flags describing object fields.

Version:
$Id: BitFieldNumbering.java,v 1.6 2004/07/02 00:08:52 cananian Exp $
Author:
C. Scott Ananian <cananian@alumni.princeton.edu>

Nested Class Summary
static class BitFieldNumbering.BitFieldTuple
           
 
Field Summary
 Set<HField> bitfields
          Set of all fields returned as part of a BitFieldTuple by bfLoc or arrayBitField.
 int BITS_IN_FIELD
           
 HClass FIELD_TYPE
           
 Set<HField> ignoredFields
          Mutable set of fields you want to ignore.
 
Constructor Summary
BitFieldNumbering(Linker l, boolean pointersAreLong)
          Creates a BitFieldNumbering.
BitFieldNumbering(Linker l, boolean pointersAreLong, String suffix)
           
 
Method Summary
 BitFieldNumbering.BitFieldTuple bfLoc(HField hf)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

FIELD_TYPE

public final HClass FIELD_TYPE

BITS_IN_FIELD

public final int BITS_IN_FIELD

bitfields

public final Set<HField> bitfields
Set of all fields returned as part of a BitFieldTuple by bfLoc or arrayBitField.


ignoredFields

public final Set<HField> ignoredFields
Mutable set of fields you want to ignore.

Constructor Detail

BitFieldNumbering

public BitFieldNumbering(Linker l,
                         boolean pointersAreLong)
Creates a BitFieldNumbering.


BitFieldNumbering

public BitFieldNumbering(Linker l,
                         boolean pointersAreLong,
                         String suffix)
Method Detail

bfLoc

public BitFieldNumbering.BitFieldTuple bfLoc(HField hf)