java.lang.Object
tools.refinery.interpreter.matchers.context.common.BaseInputKeyWrapper<AnySymbolView>
tools.refinery.store.query.interpreter.internal.pquery.SymbolViewWrapper
All Implemented Interfaces:
IInputKey

public class SymbolViewWrapper extends BaseInputKeyWrapper<AnySymbolView>
  • Constructor Details

    • SymbolViewWrapper

      public SymbolViewWrapper(AnySymbolView wrappedKey)
  • Method Details

    • getPrettyPrintableName

      public String getPrettyPrintableName()
    • getStringID

      public String getStringID()
    • getArity

      public int getArity()
    • isEnumerable

      public boolean isEnumerable()
    • toString

      public String toString()
      Overrides:
      toString in class Object