Class BaseInputKeyWrapper<Wrapped>
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.matchers.context.common.BaseInputKeyWrapper<Wrapped>
-
- All Implemented Interfaces:
IInputKey
- Direct Known Subclasses:
BaseEMFTypeKey
,JavaTransitiveInstancesKey
public abstract class BaseInputKeyWrapper<Wrapped> extends java.lang.Object implements IInputKey
An input key that is identified by a single wrapped object and the class of the wrapper.
-
-
Field Summary
Fields Modifier and Type Field Description protected Wrapped
wrappedKey
-
Constructor Summary
Constructors Constructor Description BaseInputKeyWrapper(Wrapped wrappedKey)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(java.lang.Object obj)
Wrapped
getWrappedKey()
int
hashCode()
-
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface org.eclipse.viatra.query.runtime.matchers.context.IInputKey
getArity, getPrettyPrintableName, getStringID, isEnumerable
-
-
-
-
Field Detail
-
wrappedKey
protected Wrapped wrappedKey
-
-
Constructor Detail
-
BaseInputKeyWrapper
public BaseInputKeyWrapper(Wrapped wrappedKey)
-
-
Method Detail
-
getWrappedKey
public Wrapped getWrappedKey()
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in classjava.lang.Object
-
-