public final class Selector extends Object
Constructor and Description |
---|
Selector(Atom name,
Descriptor descriptor) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
Descriptor |
getDescriptor() |
Atom |
getName() |
int |
hashCode() |
static Selector |
make(Language l,
String selectorStr) |
static Selector |
make(String selectorStr) |
String |
toString() |
public Selector(Atom name, Descriptor descriptor)
public Descriptor getDescriptor()
public Atom getName()