org.jpl7.fli

Class PointerHolder

java.lang.Object

org.jpl7.fli.LongHolder

org.jpl7.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.

Version:

$Revision$

Author:

Fred Dushin

Field Summary

Fields inherited from class org.jpl7.fli.LongHolder

value

Constructor Summary

Constructors

Constructor and Description
PointerHolder()

Method Summary

Methods inherited from class org.jpl7.fli.LongHolder

equals

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PointerHolder

public PointerHolder()