src/java/isac/util/users/IUserSettings.java
author wneuper
Thu, 23 Jun 2005 18:25:39 +0200
changeset 2504 d7491eaa2cb6
parent 2272 e6fc4616709a
child 2566 b266d8248e2d
permissions -rw-r--r--
all: separate Model from CalcHead, intermediate
     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 import isac.util.formulae.CalcHead;
    12 
    13 import java.rmi.RemoteException;
    14 
    15 /**
    16  * @author Walther Neuper
    17  * 
    18  * semantics for review by AK
    19  */
    20 public interface IUserSettings {
    21 
    22 	//TODO comments with AK?
    23 	//public static final String start_worksheet = "start_worksheet";
    24 
    25 	//the following are situations implemented as keys for UserSettings
    26 	//the identifiers must start with "KEYn_*" where n reappears in the
    27 	// identifiers of the related values "VALn_*" ---------------------
    28 	public static final String KEY1_START_SPECIFY = "KEY1_START_SPECIFY";
    29 
    30 	/**
    31 	 * _ALL_ the values of UserSettings _MUST_ be connect their
    32 	 * Integer-representation with the String-representation in
    33 	 * 
    34 	 * @see isac.util.users.UserSettings#createValstrValint
    35 	 */
    36 	public static final int VAL1_SKIP_SPECIFY_TO_START_SOLVE = 23;
    37 
    38 	public static final int VAL1_POP_CALCHEAD_WITH_DESCRIPTIONS = 26;
    39 
    40 	//-----------------------------------------------------------------
    41 	public static final String KEY2_NEXT_BUTTON = "KEY2_NEXT_BUTTON";
    42 
    43 	public static final int VAL2_FORMULAE_ONLY = 43;
    44 
    45 	public static final int VAL2_FORMULA_TACTIC_FORMULA_ = 46;
    46 
    47 	public static final int DUMMY = 0;
    48 
    49 	//-----------------------------------------------------------------
    50 	public int getValue(String key);
    51 
    52 	public boolean setValue(String key, int value);
    53 
    54 }