/** * Get the selector symbol upon which this operand applies. * * @return the one selector names used by this operand; never null */ public SelectorName getSelectorName() { return getSelectorNames().iterator().next(); }
/** * Get the selector symbol upon which this operand applies. * * @return the one selector names used by this operand; never null */ public SelectorName getSelectorName() { return getSelectorNames().iterator().next(); }