Пользователь
public interface Symbol {
/**
@return a pointer which is used to restore the Symbol between read actions */ @NotNull Pointer<? extends Symbol> createPointer();
int hashCode(); }
public interface Symbol {
/**
@return a pointer which is used to restore the Symbol between read actions */ @NotNull Pointer<? extends Symbol> createPointer();
/**
int hashCode();
}