src/java/isac/util/users/IUserSettings.java
author wneuper
Wed, 15 Jun 2005 18:31:02 +0200
branchjava_rename_format
changeset 3922 fcd5648113ca
permissions -rw-r--r--
java: isac.util.tactics .. end renamed, formatted, inst_var_, import cleaned
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
}