Skip to content
This repository has been archived by the owner on Jun 18, 2020. It is now read-only.

Make sure no shared state beyond open recent #11

Closed
tnelson opened this issue Jul 29, 2012 · 4 comments
Closed

Make sure no shared state beyond open recent #11

tnelson opened this issue Jul 29, 2012 · 4 comments
Assignees
@tnelson

Comments

@tnelson
Copy link
Collaborator

tnelson commented Jul 29, 2012

Why do Aluminum and Alloy share an Open Recent fileset? Is anything else shared between them?
@tnelson
Copy link
Collaborator Author

tnelson commented Jul 30, 2012

The recent files are maintained via java's standard Preferences library. See the addHistory method, referencing the get/setter of Alloy's StringPref class. The key is tied to package name. See:

http://docs.oracle.com/javase/1.4.2/docs/api/java/util/prefs/Preferences.html#userNodeForPackage(java.lang.Class)

Location of saved values:
Windows location: HKEY_CURRENT_USER\Software\JavaSoft\Prefs\edu\mit\csail\sdg\alloy4
Mac location not confirmed, but check ~/Library/Preferences/

@ghost ghost assigned tnelson Jul 30, 2012
@tnelson
Copy link
Collaborator Author

tnelson commented Aug 2, 2012

Confirming that in Fedora, my prefs are in:
/home/tim/.java/.userPrefs

Contains saved options and prior specs. (E.g. font info, verbosity, etc.)

tnelson pushed a commit that referenced this issue Aug 2, 2012
For issue #11. Don't load/save satsolver.
646d133 
Aluminum will no longer use (or alter) the sat-solver option
saved in Alloy: Aluminum *always* uses SAT4J. Furthermore,
Aluminum no longer tests whether the other solvers are
available.
@tnelson
Copy link
Collaborator Author

tnelson commented Aug 2, 2012

After discussion with the group, going to separate options entirely before closing the issue.

tnelson pushed a commit that referenced this issue Aug 2, 2012
Issue #11.
e19152d 
Separated Alloy and Aluminum options. We now have our own "Util"
class and child classes that will use our package name for
get/setting parameters instead of Alloy's.

We should probably not have the package name "minalloy" though.
What should we nest as?
@tnelson
Copy link
Collaborator Author

tnelson commented Aug 2, 2012

Closing the issue. Removed the settings overlap. We now have our own settings.

@tnelson tnelson closed this as completed Aug 2, 2012
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@tnelson tnelson

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@tnelson