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
     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 }