Class PermanentSelector

java.lang.Object

org.magic.api.ast.selectors.PermanentSelector

All Implemented Interfaces:

TargetSelectorNode

public final class PermanentSelector
extends Object
implements TargetSelectorNode

Field Summary

Fields

Modifier and Type	Field	Description
static final PermanentSelector	INSTANCE

Method Summary

Methods inherited from class Object

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

Field Details

INSTANCE

public static final PermanentSelector INSTANCE