Package tools.refinery.store.query.interpreter.internal.pquery

Class SymbolViewWrapper

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>

Field Summary

Fields inherited from class tools.refinery.interpreter.matchers.context.common.BaseInputKeyWrapper

wrappedKey

Constructor Summary

Constructors

Constructor	Description
SymbolViewWrapper(AnySymbolView wrappedKey)

Method Summary

Modifier and Type	Method	Description
int	getArity()
String	getPrettyPrintableName()
String	getStringID()
boolean	isEnumerable()
String	toString()

Methods inherited from class tools.refinery.interpreter.matchers.context.common.BaseInputKeyWrapper

equals, getWrappedKey, hashCode

Methods inherited from class java.lang.Object

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

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