public class AtomRefType extends Object implements HGAtomType, HGSearchable<HGPersistentHandle,HGPersistentHandle>, ByteArrayConverter<Object>
Represents the type of a HGAtomRef
value. This type implementation
handles the behavior of atom references depending on their mode (@see HGAtomRef.java
for a thorough description of reference modes and the relationship of an atom reference
to its referent).
The implementation maintains a count for all types of references and triggers the correct action (as the case may be) on the referent when all counts go to 0.
Constructor and Description |
---|
AtomRefType() |
Modifier and Type | Method and Description |
---|---|
HGSearchResult<HGPersistentHandle> |
find(HGPersistentHandle key)
The key is expected to be of type
HGAtomRef OR of
type HGHandle . |
Object |
fromByteArray(byte[] byteArray,
int offset,
int length) |
HGIndex<HGPersistentHandle,HGPersistentHandle> |
getFloatingIdx() |
HGIndex<HGPersistentHandle,HGPersistentHandle> |
getHardIdx() |
HGIndex<HGPersistentHandle,HGPersistentHandle> |
getSymbolicIdx() |
Object |
make(HGPersistentHandle handle,
LazyRef<HGHandle[]> targetSet,
IncidenceSetRef incidenceSet)
Construct a new run-time instance of a hypergraph atom.
|
void |
release(HGPersistentHandle handle)
Release a hypergraph value instance from the persistent store.
|
void |
setHyperGraph(HyperGraph hg)
During load time, set the
HyperGraph
instance to which this atom belongs. |
HGPersistentHandle |
store(Object instance)
Store a run-time instance of a hypergraph atom into the hypergraph
HGStore
as a new atom. |
boolean |
subsumes(Object general,
Object specific)
A generic semantic predicate that returns
true if the first argument
is more general than the second. |
byte[] |
toByteArray(Object object) |
public HGIndex<HGPersistentHandle,HGPersistentHandle> getHardIdx()
public HGIndex<HGPersistentHandle,HGPersistentHandle> getSymbolicIdx()
public HGIndex<HGPersistentHandle,HGPersistentHandle> getFloatingIdx()
public void setHyperGraph(HyperGraph hg)
HGGraphHolder
During load time, set the HyperGraph
instance to which this atom belongs.
setHyperGraph
in interface HGGraphHolder
public Object make(HGPersistentHandle handle, LazyRef<HGHandle[]> targetSet, IncidenceSetRef incidenceSet)
HGAtomType
Construct a new run-time instance of a hypergraph atom. A plain node must
be constructed whenever the targetSet
parameter is null or of
length 0. Otherwise, a HGLink
instance must be constructed.
It is not required that all atom types be able to construct both plain (node)
atoms and HGLink
s. It is up to an HGAtomType
implementation
to support either or both. When a HGLink
counterpart is not available
for a particular run-time type, an implementation may choose to create an instance
of the default link value holder implementation HGValuedLink
, provided
by HyperGraph.
make
in interface HGAtomType
handle
- The HGPersistentHandle
of the atom value.targetSet
- When the atom is a link, this parameter holds the target set of
the link. When the atom is a node, the parameter is an array of 0 length.incidenceSet
- A lazy reference to the set of links pointing to this atom. This is
null
if we are constructing an internal/nested value of some complex type.null
.
In case the handle
points to an invalid instance (inexisting or with
a erronous layout), the method should throw a HGException
.public HGPersistentHandle store(Object instance)
HGAtomType
Store a run-time instance of a hypergraph atom into the hypergraph HGStore
as a new atom.
store
in interface HGAtomType
instance
- The atom instance.public void release(HGPersistentHandle handle)
HGAtomType
Release a hypergraph value instance from the persistent store.
This method should be called when a HGPersistentHandle
returned from the store
is no longer in use.
release
in interface HGAtomType
handle
- The persistent handle of the value to release.public boolean subsumes(Object general, Object specific)
HGAtomType
A generic semantic predicate that returns true
if the first argument
is more general than the second. Atom types must implement this notion of specialization
whenever meaningful in the context of the entities being constructed.
The notion of subsumption can be seen as partial equivalence, or equivalence in one direction only.
As a relation, subsumtion is transitive and reflexive. The latter implies that, at a minimum,
the subsumes
method must return true
if
general.equals(specific)
.
subsumes
in interface HGAtomType
general
- The object which might be more general. Cannot be null
.specific
- The object which might be more specific. Cannot be null
.true if specific
can be used whenever general
is required and false
otherwise.
public HGSearchResult<HGPersistentHandle> find(HGPersistentHandle key)
HGAtomRef
OR of
type HGHandle
. In the former case, references with the specific
mode and referent are search. In the latter or if the mode of the HGAtomRef is null,
all reference regardless of mode are searched.find
in interface HGSearchable<HGPersistentHandle,HGPersistentHandle>
public Object fromByteArray(byte[] byteArray, int offset, int length)
fromByteArray
in interface ByteArrayConverter<Object>
public byte[] toByteArray(Object object)
toByteArray
in interface ByteArrayConverter<Object>
Copyright © 2015. All rights reserved.