Class TappedSelector

java.lang.Object

org.magic.api.ast.selectors.TappedSelector

All Implemented Interfaces:

TargetSelectorNode

public final class TappedSelector
extends Object
implements TargetSelectorNode

Constructor Summary

Constructors

Constructor	Description
TappedSelector()

Method Summary

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

TappedSelector

public TappedSelector()