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 Details Link icon

    • Variable Link icon

      protected Variable(String name)
  • Method Details Link icon

    • tryGetType Link icon

      public abstract Optional<Class<?>> tryGetType()
    • getName Link icon

      public String getName()
    • getExplicitName Link icon

      protected String getExplicitName()
    • isExplicitlyNamed Link icon

      public boolean isExplicitlyNamed()
    • getUniqueName Link icon

      public String getUniqueName()
    • renew Link icon

      public abstract Variable renew(@Nullable @Nullable String name)
    • renew Link icon

      public abstract Variable renew()
    • isNodeVariable Link icon

      public abstract boolean isNodeVariable()
    • isDataVariable Link icon

      public abstract boolean isDataVariable()
    • asNodeVariable Link icon

      public abstract NodeVariable asNodeVariable()
    • asDataVariable Link icon

      public abstract <T> DataVariable<T> asDataVariable(Class<T> type)
    • hashCodeWithSubstitution Link icon

      public abstract int hashCodeWithSubstitution(int sequenceNumber)
    • toString Link icon

      public String toString()
      Overrides:
      toString in class Object
    • equals Link icon

      public boolean equals(Object o)
      Overrides:
      equals in class Object
    • hashCode Link icon

      public int hashCode()
      Overrides:
      hashCode in class Object
    • of Link icon

      public static NodeVariable of(@Nullable @Nullable String name)
    • of Link icon

      public static NodeVariable of()
    • of Link icon

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

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