author | wneuper |
Wed, 15 Jun 2005 18:31:02 +0200 | |
branch | java_rename_format |
changeset 3922 | fcd5648113ca |
permissions | -rw-r--r-- |
wneuper@3922 | 1 |
/* |
wneuper@3922 | 2 |
* @author Walther Neuper, member of the ISAC-team, |
wneuper@3922 | 3 |
* Copyright (c) 2005 by Walther Neuper |
wneuper@3922 | 4 |
* created Mar 12, 2005 3:09:15 PM |
wneuper@3922 | 5 |
* Institute for Softwaretechnology, Graz University of Technology, Austria. |
wneuper@3922 | 6 |
* |
wneuper@3922 | 7 |
* Use is subject to PGPL license terms. |
wneuper@3922 | 8 |
*/ |
wneuper@3922 | 9 |
package isac.util.users; |
wneuper@3922 | 10 |
|
wneuper@3922 | 11 |
/** |
wneuper@3922 | 12 |
* @author Walther Neuper |
wneuper@3922 | 13 |
* |
wneuper@3922 | 14 |
* semantics for review by AK |
wneuper@3922 | 15 |
*/ |
wneuper@3922 | 16 |
public interface IUserSettings { |
wneuper@3922 | 17 |
|
wneuper@3922 | 18 |
//TODO comments with AK ? |
wneuper@3922 | 19 |
//TODO change type String to the one suggested by AK |
wneuper@3922 | 20 |
//public static final String start_worksheet = "start_worksheet"; |
wneuper@3922 | 21 |
|
wneuper@3922 | 22 |
//the following are situations implemented as keys for UserSettings |
wneuper@3922 | 23 |
//the identifiers must start with "KEYn_*" where n reappears in the |
wneuper@3922 | 24 |
// identifiers of the related values "VALn_*" --------------------- |
wneuper@3922 | 25 |
public static final String KEY1_START_SPECIFY = "KEY1_START_SPECIFY"; |
wneuper@3922 | 26 |
|
wneuper@3922 | 27 |
/** |
wneuper@3922 | 28 |
* _ALL_ the values of UserSettings _MUST_ be connect their |
wneuper@3922 | 29 |
* Integer-representation with the String-representation in |
wneuper@3922 | 30 |
* |
wneuper@3922 | 31 |
* @see isac.util.users.UserSettings#createValstrValint |
wneuper@3922 | 32 |
*/ |
wneuper@3922 | 33 |
public static final int VAL1_SKIP_SPECIFY_TO_START_SOLVE = 23; |
wneuper@3922 | 34 |
|
wneuper@3922 | 35 |
public static final int VAL1_POP_CALCHEAD_WITH_DESCRIPTIONS = 26; |
wneuper@3922 | 36 |
|
wneuper@3922 | 37 |
//----------------------------------------------------------------- |
wneuper@3922 | 38 |
public static final String KEY2_NEXT_BUTTON = "KEY2_NEXT_BUTTON"; |
wneuper@3922 | 39 |
|
wneuper@3922 | 40 |
public static final int VAL2_FORMULAE_ONLY = 43; |
wneuper@3922 | 41 |
|
wneuper@3922 | 42 |
public static final int VAL2_FORMULA_TACTIC_FORMULA_ = 46; |
wneuper@3922 | 43 |
|
wneuper@3922 | 44 |
public static final int DUMMY = 0; |
wneuper@3922 | 45 |
|
wneuper@3922 | 46 |
//----------------------------------------------------------------- |
wneuper@3922 | 47 |
public int getValue(String key); |
wneuper@3922 | 48 |
|
wneuper@3922 | 49 |
public boolean setValue(String key, int value); |
wneuper@3922 | 50 |
|
wneuper@3922 | 51 |
} |