Package tools.refinery.store.query.view

Class SymbolView<T>

java.lang.Object

tools.refinery.store.query.view.SymbolView<T>

Type Parameters:

T -

All Implemented Interfaces:

Constraint, AnySymbolView

Direct Known Subclasses:

AbstractFunctionView, TuplePreservingView

public abstract non-sealed class SymbolView<T>
extends Object
implements AnySymbolView

Represents a view of a Symbol that can be queried.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	SymbolView(Symbol<T> representation)
protected	SymbolView(Symbol<T> symbol, String viewName)

Method Summary

Modifier and Type	Method	Description
protected abstract boolean	doFilter(Tuple key, T value)
boolean	equals(Object o)
final boolean	filter(Tuple key, T value)
abstract Object[]	forwardMap(Tuple key, T value)
Iterable<Object[]>	getAll(Model model)
Symbol<T>	getSymbol()
String	getViewName()
int	hashCode()
String	name()
String	toReferenceString()
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface tools.refinery.store.query.view.AnySymbolView

canIndexSlot, get, getAdjacent, getFunctionalDependencies, getImpliedRelationViews

Methods inherited from interface tools.refinery.logic.Constraint

aggregateBy, aggregateBy, arity, call, call, call, callTransitive, count, count, equals, getParameters, getReduction, invalidIndex, leftJoinBy, leftJoinBy

Constructor Details

SymbolView

protected SymbolView(Symbol<T> symbol,
 String viewName)

SymbolView

protected SymbolView(Symbol<T> representation)

Method Details

getSymbol

public Symbol<T> getSymbol()

Specified by:

getSymbol in interface AnySymbolView

getViewName

public String getViewName()

Specified by:

getViewName in interface AnySymbolView

name

public String name()

Specified by:

name in interface Constraint

filter

public final boolean filter(Tuple key,
 T value)

doFilter

protected abstract boolean doFilter(Tuple key,
 T value)

forwardMap

public abstract Object[] forwardMap(Tuple key,
 T value)

getAll

public Iterable<Object[]> getAll(Model model)

Specified by:

getAll in interface AnySymbolView

toString

public String toString()

Overrides:

toString in class Object

toReferenceString

public String toReferenceString()

Specified by:

toReferenceString in interface Constraint

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object