jpl.fli
Class PointerHolder

java.lang.Object
  extended by jpl.fli.LongHolder
      extended by jpl.fli.PointerHolder
Direct Known Subclasses:
module_t, predicate_t

public class PointerHolder
extends LongHolder

A PointerHolder is a trivial extension of a LongHolder. This is sort of a no-no in Java, as the long value stored herein is sometimes a machine address. (Don't tell Sun.)


Copyright (C) 1998 Fred Dushin

This library is free software; you can redistribute it and/or modify it under the terms of the GNU Library Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Library Public License for more details.



Field Summary
 
Fields inherited from class jpl.fli.LongHolder
value
 
Constructor Summary
PointerHolder()
           
 
Method Summary
 
Methods inherited from class jpl.fli.LongHolder
equals
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PointerHolder

public PointerHolder()