Пример #1
0
 public void load(final IEclipsePreferences root) throws BackingStoreException {
   output = new Path(root.get(ProjectPreferencesConstants.OUTPUT, "ebin"));
   requiredRuntimeVersion =
       new RuntimeVersion(root.get(ProjectPreferencesConstants.REQUIRED_BACKEND_VERSION, null));
   includes = PathSerializer.unpackList(root.get(ProjectPreferencesConstants.INCLUDES, ""));
   final Preferences srcNode = root.node(ProjectPreferencesConstants.SOURCES);
   sources.clear();
   for (final String src : srcNode.childrenNames()) {
     final IEclipsePreferences sn = (IEclipsePreferences) srcNode.node(src);
     final SourceLocation loc = new SourceLocation(sn);
     sources.add(loc);
   }
 }
Пример #2
0
  public void store(final IEclipsePreferences root) throws BackingStoreException {
    CodePathLocation.clearAll(root);
    root.put(ProjectPreferencesConstants.OUTPUT, output.toPortableString());
    if (requiredRuntimeVersion != null) {
      root.put(
          ProjectPreferencesConstants.REQUIRED_BACKEND_VERSION, requiredRuntimeVersion.toString());
    }
    root.put(ProjectPreferencesConstants.INCLUDES, PathSerializer.packList(includes));
    final Preferences srcNode = root.node(ProjectPreferencesConstants.SOURCES);
    for (final SourceLocation loc : sources) {
      loc.store((IEclipsePreferences) srcNode.node(Integer.toString(loc.getId())));
    }

    root.flush();
  }