net.sourceforge.czt.z.util

Class LongDescriptionResourceBundle

java.lang.Object

java.util.ResourceBundle

java.util.ListResourceBundle

net.sourceforge.czt.z.util.LongDescriptionResourceBundle

public class LongDescriptionResourceBundle
extends ListResourceBundle

This resource bundle translates ConcreteSyntaxSymbol elements into long human-readable descriptions. The resulting strings (typically 20-40 characters long) can be displayed as a summary of the meaning of each Z construct.

Author:

Petra Malik

Nested Class Summary

Nested classes/interfaces inherited from class java.util.ResourceBundle

ResourceBundle.Control

Field Summary

Fields inherited from class java.util.ResourceBundle

parent

Constructor Summary

Constructors

Constructor and Description
LongDescriptionResourceBundle()

Method Summary

Modifier and Type	Method and Description
Object[][]	getContents()

Methods inherited from class java.util.ListResourceBundle

getKeys, handleGetObject, handleKeySet

Methods inherited from class java.util.ResourceBundle

clearCache, clearCache, containsKey, getBaseBundleName, getBundle, getBundle, getBundle, getBundle, getBundle, getBundle, getLocale, getObject, getString, getStringArray, keySet, setParent

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LongDescriptionResourceBundle

public LongDescriptionResourceBundle()

Method Detail

getContents

public Object[][] getContents()

Specified by:

getContents in class ListResourceBundle