@SuppressWarnings("deprecation")
private CorePreferencesSupport() {
super(
PHPEplPlugin.PLUGIN_ID,
PHPEplPlugin.getDefault() == null
? null
: PHPEplPlugin.getDefault().getPluginPreferences());
}
/**
* Sets the scanner offset to the given offset.
*
* @param offset The offset to set
* @throws IOException
*/
public void setOffset(int offset) {
this.offset = offset;
charReader.reset(offset);
try {
scanner.yyreset(charReader);
scanner.setInScriptingState();
scanner.resetCommentList();
} catch (IOException e) {
IdeLog.logError(
PHPEplPlugin.getDefault(), "Error setting a PHP token-scanner offset", e); // $NON-NLS-1$
}
}
