elemental.util.MapFromIntToString Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of vaadin-client Show documentation

Vaadin is a web application framework for Rich Internet Applications (RIA). Vaadin enables easy development and maintenance of fast and secure rich web applications with a stunning look and feel and a wide browser support. It features a server-side architecture with the majority of the logic running on the server. Ajax technology is used at the browser-side to ensure a rich and interactive user experience.

There is a newer version: 8.25.2

Show newest version

/*
 * Copyright 2010 Google Inc.
 * 
 * Licensed under the Apache License, Version 2.0 (the "License"); you may not
 * use this file except in compliance with the License. You may obtain a copy of
 * the License at
 * 
 * http://www.apache.org/licenses/LICENSE-2.0
 * 
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
 * License for the specific language governing permissions and limitations under
 * the License.
 */
package elemental.util;

/**
 * A lightweight map from int to {@link String}.
 * 
 * @see elemental.js.util.JsMapFromIntToString
 */
public interface MapFromIntToString {

  /**
   * Retrieves a value for the specified key.
   */
  String get(int key);

  /**
   * Indicates whether the map contains a value for the specified key.
   */
  boolean hasKey(int key);

  /**
   * The keys contained within this map.
   * 
   * This copies the keys into a new array.
   */
  ArrayOfInt keys();
  
  /**
   * Associates a value to the specified key.
   */  
  void put(int key, String value);

  /**
   * Removes the value associated with the specified value, if one exists.
   */
  void remove(int key);
  
  /**
   * The values contained in this map.
   * 
   * This copies the values into a new array.
   */
  ArrayOfString values();
}