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

java.lang.Object
  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.