src/java/isac/util/users/IUserSettings.java
branchjava_rename_format
changeset 3922 fcd5648113ca
equal deleted inserted replaced
963:b4896ce4d1b0 3922:fcd5648113ca
       
     1 /*
       
     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.
       
     6  * 
       
     7  * Use is subject to PGPL license terms.
       
     8  */
       
     9 package isac.util.users;
       
    10 
       
    11 /**
       
    12  * @author Walther Neuper
       
    13  * 
       
    14  * semantics for review by AK
       
    15  */
       
    16 public interface IUserSettings {
       
    17 
       
    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";
       
    21 
       
    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";
       
    26 
       
    27     /**
       
    28      * _ALL_ the values of UserSettings _MUST_ be connect their
       
    29      * Integer-representation with the String-representation in
       
    30      * 
       
    31      * @see isac.util.users.UserSettings#createValstrValint
       
    32      */
       
    33     public static final int VAL1_SKIP_SPECIFY_TO_START_SOLVE = 23;
       
    34 
       
    35     public static final int VAL1_POP_CALCHEAD_WITH_DESCRIPTIONS = 26;
       
    36 
       
    37     //-----------------------------------------------------------------
       
    38     public static final String KEY2_NEXT_BUTTON = "KEY2_NEXT_BUTTON";
       
    39 
       
    40     public static final int VAL2_FORMULAE_ONLY = 43;
       
    41 
       
    42     public static final int VAL2_FORMULA_TACTIC_FORMULA_ = 46;
       
    43 
       
    44     public static final int DUMMY = 0;
       
    45 
       
    46     //-----------------------------------------------------------------
       
    47     public int getValue(String key);
       
    48 
       
    49     public boolean setValue(String key, int value);
       
    50 
       
    51 }