ai.grakn.graql.internal.pattern.property

Class RuleProperty

java.lang.Object

ai.grakn.graql.internal.pattern.property.RuleProperty

All Implemented Interfaces:

UniqueVarProperty, VarProperty, VarPropertyInternal

Direct Known Subclasses:

ThenProperty, WhenProperty

public abstract class RuleProperty
extends Object
implements UniqueVarProperty

Abstract property for the patterns within rules.

Author:

Felix Chapman

Constructor Summary

Constructors

Constructor and Description
RuleProperty()

Method Summary

Modifier and Type	Method and Description
default void	buildString(StringBuilder builder)
void	checkValid(GraknTx graph, VarPatternAdmin var) Check if the given property can be used in a Match
PropertyExecutor	define(Var var)
String	getName()
String	getProperty()
java.util.stream.Stream<VarPatternAdmin>	getTypes()
java.util.stream.Stream<VarPatternAdmin>	implicitInnerVarPatterns()
PropertyExecutor	insert(Var var) Returns a PropertyExecutor that describes how to insert the given VarProperty into.
Atomic	mapToAtom(VarPatternAdmin var, Set<VarPatternAdmin> vars, ReasonerQuery parent)
Collection<EquivalentFragmentSet>	match(Var start) Return a collection of EquivalentFragmentSet to match the given property in the graph
abstract Pattern	pattern()
String	toString()
PropertyExecutor	undefine(Var var)

Methods inherited from class java.lang.Object

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

Methods inherited from interface ai.grakn.graql.admin.UniqueVarProperty

isUnique

Methods inherited from interface ai.grakn.graql.internal.pattern.property.VarPropertyInternal

checkInsertable, checkValid, define, from, innerVarPatterns, insert, undefine, uniquelyIdentifiesConcept

Methods inherited from interface ai.grakn.graql.admin.VarProperty

getTypes, graqlString, implicitInnerVarPatterns

Constructor Detail

RuleProperty

public RuleProperty()

Method Detail

pattern

public abstract Pattern pattern()

getProperty

public String getProperty()

match

public Collection<EquivalentFragmentSet> match(Var start)

Description copied from interface: VarPropertyInternal

Return a collection of EquivalentFragmentSet to match the given property in the graph

Specified by:

match in interface VarPropertyInternal

mapToAtom

@Nullable
public Atomic mapToAtom(VarPatternAdmin var,
                                  Set<VarPatternAdmin> vars,
                                  ReasonerQuery parent)

Specified by:

mapToAtom in interface VarProperty

getName

public String getName()

buildString

public void buildString(StringBuilder builder)

Specified by:

buildString in interface VarProperty

checkValid

public final void checkValid(GraknTx graph,
                             VarPatternAdmin var)
                      throws GraqlQueryException

Description copied from interface: VarPropertyInternal

Check if the given property can be used in a Match

Specified by:

checkValid in interface VarPropertyInternal

Throws:

GraqlQueryException

insert

public PropertyExecutor insert(Var var)
                        throws GraqlQueryException

Description copied from interface: VarPropertyInternal

Returns a PropertyExecutor that describes how to insert the given VarProperty into.

Specified by:

insert in interface VarPropertyInternal

Throws:

GraqlQueryException - if this VarProperty cannot be inserted

define

public PropertyExecutor define(Var var)
                        throws GraqlQueryException

Specified by:

define in interface VarPropertyInternal

Throws:

GraqlQueryException

undefine

public PropertyExecutor undefine(Var var)
                          throws GraqlQueryException

Specified by:

undefine in interface VarPropertyInternal

Throws:

GraqlQueryException

getTypes

public java.util.stream.Stream<VarPatternAdmin> getTypes()

Specified by:

getTypes in interface VarProperty

implicitInnerVarPatterns

public java.util.stream.Stream<VarPatternAdmin> implicitInnerVarPatterns()

Specified by:

implicitInnerVarPatterns in interface VarProperty

toString

public final String toString()

Overrides:

toString in class Object