Package hydra.paths

Class SubtermProperty

java.lang.Object

hydra.paths.SubtermProperty

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<SubtermProperty>

public class SubtermProperty
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable<SubtermProperty>

A link from a node to a leaf term (literal, unit, projection, unwrap, or an unbound variable)

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	SubtermProperty.Builder	A fluent builder for SubtermProperty.

Field Summary

Fields

Modifier and Type	Field	Description
SubtermPath	path	The subterm path at which the leaf term occurs
static Name	PATH	Name of the hydra.paths.SubtermProperty.path field.
Term	target	The leaf term
static Name	TARGET	Name of the hydra.paths.SubtermProperty.target field.
static Name	TYPE_	Name of the hydra.paths.SubtermProperty type.

Constructor Summary

Constructors

Constructor	Description
SubtermProperty(SubtermPath path, Term target)	Constructs an immutable SubtermProperty.

Method Summary

Modifier and Type	Method	Description
static SubtermProperty.Builder	builder()	Creates a new fluent builder for SubtermProperty.
int	compareTo(SubtermProperty other)
boolean	equals(java.lang.Object other)
int	hashCode()
java.lang.String	toString()
SubtermProperty	withPath(SubtermPath path)	Returns a copy of this SubtermProperty with path replaced.
SubtermProperty	withTarget(Term target)	Returns a copy of this SubtermProperty with target replaced.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

TYPE_

public static final Name TYPE_

Name of the hydra.paths.SubtermProperty type.

PATH

public static final Name PATH

Name of the hydra.paths.SubtermProperty.path field.

TARGET

public static final Name TARGET

Name of the hydra.paths.SubtermProperty.target field.

path

public final SubtermPath path

The subterm path at which the leaf term occurs

target

public final Term target

The leaf term

Constructor Detail

SubtermProperty

public SubtermProperty(SubtermPath path,
                       Term target)

Constructs an immutable SubtermProperty.

Parameters:

path - The subterm path at which the leaf term occurs

target - The leaf term

Method Detail

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

compareTo

public int compareTo(SubtermProperty other)

Specified by:

compareTo in interface java.lang.Comparable<SubtermProperty>

withPath

public SubtermProperty withPath(SubtermPath path)

Returns a copy of this SubtermProperty with path replaced.

withTarget

public SubtermProperty withTarget(Term target)

Returns a copy of this SubtermProperty with target replaced.

builder

public static SubtermProperty.Builder builder()

Creates a new fluent builder for SubtermProperty.