bibliothek.gui.dock.util
Class TypedUIProperties.Type<T>

java.lang.Object
  extended by bibliothek.gui.dock.util.TypedUIProperties.Type<T>
Type Parameters:
T - the actual type
Enclosing class:
TypedUIProperties

public static class TypedUIProperties.Type<T>
extends java.lang.Object

A class describing a type, different TypedUIProperties.Type objects may share the same Class object but with different or even equal generic parameters.

Author:
Benjamin Sigg

Constructor Summary
TypedUIProperties.Type(java.lang.String key)
          Creates a new type.
 
Method Summary
 java.lang.String getKey()
          Gets the key of this type.
 java.lang.String getKey(java.lang.String id)
          Gets the identifier that should be used as replacement for a resource with identifier id and with type this.
 Path getKind(Path kind)
          Gets the identifier for the kind of UIValue that reads an UIValue of this type.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TypedUIProperties.Type

public TypedUIProperties.Type(java.lang.String key)
Creates a new type.

Parameters:
key - the key of this type, must not be null, must at least contain one character, must not contain the character ".", must pass Path.isValidPath(String)
Method Detail

getKey

public java.lang.String getKey()
Gets the key of this type.

Returns:
the key, not null

getKey

public java.lang.String getKey(java.lang.String id)
Gets the identifier that should be used as replacement for a resource with identifier id and with type this.

Parameters:
id - the id of some identifier
Returns:
the combined identifier of this and id

getKind

public Path getKind(Path kind)
Gets the identifier for the kind of UIValue that reads an UIValue of this type.

Parameters:
kind - the kind of UIValue
Returns:
the identifier to use in a map