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

java.lang.Object
  edu.mit.csail.sdg.alloy4.Util.IntPref

Enclosing class:

Util

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

This reads and writes integer-valued Java persistent preferences.

Thread Safety: Safe.

Constructor Summary

Util.IntPref(java.lang.String id, int min, int def, int max)
Make a new IntPref object with the given id; you must ensure max >= min, but def does not have to be between min..max

Method Summary

int	get() Reads the value for this preference; if not set, we return the default value.
void	set(int 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.IntPref

public Util.IntPref(java.lang.String id,
                    int min,
                    int def,
                    int max)

Make a new IntPref object with the given id; you must ensure max >= min, but def does not have to be between min..max

Method Detail

set

public void set(int value)

Sets the value for this preference.

get

public int get()

Reads the value for this preference; if not set, we return the default value.