java: isac.util.tactics .. end renamed, formatted, inst_var_, import cleaned
2 * @author Walther Neuper, member of the ISAC-team,
3 * Copyright (c) 2005 by Walther Neuper
4 * created Mar 12, 2005 3:09:15 PM
5 * Institute for Softwaretechnology, Graz University of Technology, Austria.
7 * Use is subject to PGPL license terms.
9 package isac.util.users;
12 * @author Walther Neuper
14 * semantics for review by AK
16 public interface IUserSettings {
18 //TODO comments with AK ?
19 //TODO change type String to the one suggested by AK
20 //public static final String start_worksheet = "start_worksheet";
22 //the following are situations implemented as keys for UserSettings
23 //the identifiers must start with "KEYn_*" where n reappears in the
24 // identifiers of the related values "VALn_*" ---------------------
25 public static final String KEY1_START_SPECIFY = "KEY1_START_SPECIFY";
28 * _ALL_ the values of UserSettings _MUST_ be connect their
29 * Integer-representation with the String-representation in
31 * @see isac.util.users.UserSettings#createValstrValint
33 public static final int VAL1_SKIP_SPECIFY_TO_START_SOLVE = 23;
35 public static final int VAL1_POP_CALCHEAD_WITH_DESCRIPTIONS = 26;
37 //-----------------------------------------------------------------
38 public static final String KEY2_NEXT_BUTTON = "KEY2_NEXT_BUTTON";
40 public static final int VAL2_FORMULAE_ONLY = 43;
42 public static final int VAL2_FORMULA_TACTIC_FORMULA_ = 46;
44 public static final int DUMMY = 0;
46 //-----------------------------------------------------------------
47 public int getValue(String key);
49 public boolean setValue(String key, int value);