1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/java/isac/util/users/IUserSettings.java	Wed Jun 15 18:31:02 2005 +0200
     1.3 @@ -0,0 +1,51 @@
     1.4 +/*
     1.5 + * @author Walther Neuper, member of the ISAC-team, 
     1.6 + * Copyright (c) 2005 by Walther Neuper 
     1.7 + * created Mar 12, 2005 3:09:15 PM
     1.8 + * Institute for Softwaretechnology, Graz University of Technology, Austria.
     1.9 + * 
    1.10 + * Use is subject to PGPL license terms.
    1.11 + */
    1.12 +package isac.util.users;
    1.13 +
    1.14 +/**
    1.15 + * @author Walther Neuper
    1.16 + * 
    1.17 + * semantics for review by AK
    1.18 + */
    1.19 +public interface IUserSettings {
    1.20 +
    1.21 +    //TODO comments with AK ?
    1.22 +    //TODO change type String to the one suggested by AK
    1.23 +    //public static final String start_worksheet = "start_worksheet";
    1.24 +
    1.25 +    //the following are situations implemented as keys for UserSettings
    1.26 +    //the identifiers must start with "KEYn_*" where n reappears in the
    1.27 +    // identifiers of the related values "VALn_*" ---------------------
    1.28 +    public static final String KEY1_START_SPECIFY = "KEY1_START_SPECIFY";
    1.29 +
    1.30 +    /**
    1.31 +     * _ALL_ the values of UserSettings _MUST_ be connect their
    1.32 +     * Integer-representation with the String-representation in
    1.33 +     * 
    1.34 +     * @see isac.util.users.UserSettings#createValstrValint
    1.35 +     */
    1.36 +    public static final int VAL1_SKIP_SPECIFY_TO_START_SOLVE = 23;
    1.37 +
    1.38 +    public static final int VAL1_POP_CALCHEAD_WITH_DESCRIPTIONS = 26;
    1.39 +
    1.40 +    //-----------------------------------------------------------------
    1.41 +    public static final String KEY2_NEXT_BUTTON = "KEY2_NEXT_BUTTON";
    1.42 +
    1.43 +    public static final int VAL2_FORMULAE_ONLY = 43;
    1.44 +
    1.45 +    public static final int VAL2_FORMULA_TACTIC_FORMULA_ = 46;
    1.46 +
    1.47 +    public static final int DUMMY = 0;
    1.48 +
    1.49 +    //-----------------------------------------------------------------
    1.50 +    public int getValue(String key);
    1.51 +
    1.52 +    public boolean setValue(String key, int value);
    1.53 +
    1.54 +}
    1.55 \ No newline at end of file