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

java.lang.Object
  bibliothek.gui.dock.util.TypedUIProperties.Type<T>

Type Parameters:

T - the actual type

Enclosing class:

TypedUIProperties

public static class TypedUIProperties.Type<T>
extends 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(String key)
Creates a new type.

Method Summary

String	getKey() Gets the key of this type.
String	getKey(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(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 String getKey()

Gets the key of this type.

Returns:

the key, not null

getKey

public String getKey(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