edu.mit.csail.sdg.alloy4
Class Util.BooleanPref

java.lang.Object
  extended by edu.mit.csail.sdg.alloy4.Util.BooleanPref
Enclosing class:
Util

public static final class Util.BooleanPref
extends java.lang.Object

This reads and writes boolean-valued Java persistent preferences.

Thread Safety: Safe.


Constructor Summary
Util.BooleanPref(java.lang.String id)
          Constructurs a new BooleanPref object with the given id.
 
Method Summary
 boolean get()
          Reads the value for this preference; if not set, we return false.
 void set(boolean value)
          Sets the value for this preference.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Util.BooleanPref

public Util.BooleanPref(java.lang.String id)
Constructurs a new BooleanPref object with the given id.

Method Detail

set

public void set(boolean value)
Sets the value for this preference.


get

public boolean get()
Reads the value for this preference; if not set, we return false.