Package tools.refinery.logic.term

Class Variable

java.lang.Object

tools.refinery.logic.term.Variable

Direct Known Subclasses:

AnyDataVariable, NodeVariable

public abstract sealed class Variable
extends Object
permits AnyDataVariable, NodeVariable

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Variable(String name)

Method Summary

Modifier and Type	Method	Description
abstract <T> DataVariable<T>	asDataVariable(Class<T> type)
abstract NodeVariable	asNodeVariable()
boolean	equals(Object o)
protected String	getExplicitName()
String	getName()
String	getUniqueName()
int	hashCode()
abstract int	hashCodeWithSubstitution(int sequenceNumber)
abstract boolean	isDataVariable()
boolean	isExplicitlyNamed()
abstract boolean	isNodeVariable()
static NodeVariable	of()
static NodeVariable	of(@Nullable String name)
static <T> DataVariable<T>	of(@Nullable String name, Class<T> type)
static <T> DataVariable<T>	of(Class<T> type)
abstract Variable	renew()
abstract Variable	renew(@Nullable String name)
String	toString()
abstract Optional<Class<?>>	tryGetType()

Methods inherited from class java.lang.Object

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

Constructor Details

Variable

protected Variable(String name)

Method Details

tryGetType

public abstract Optional<Class<?>> tryGetType()

getName

public String getName()

getExplicitName

protected String getExplicitName()

isExplicitlyNamed

public boolean isExplicitlyNamed()

getUniqueName

public String getUniqueName()

renew

public abstract Variable renew(@Nullable
 @Nullable String name)

renew

public abstract Variable renew()

isNodeVariable

public abstract boolean isNodeVariable()

isDataVariable

public abstract boolean isDataVariable()

asNodeVariable

public abstract NodeVariable asNodeVariable()

asDataVariable

public abstract <T> DataVariable<T> asDataVariable(Class<T> type)

hashCodeWithSubstitution

public abstract int hashCodeWithSubstitution(int sequenceNumber)

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

of

public static NodeVariable of(@Nullable
 @Nullable String name)

of

public static NodeVariable of()

of

public static <T> DataVariable<T> of(@Nullable
 @Nullable String name,
 Class<T> type)

of

public static <T> DataVariable<T> of(Class<T> type)