org.jmlspecs.eclipse.jdt.ui.preferences
Class PreferencesMessages

java.lang.Object
  org.eclipse.osgi.util.NLS
      org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages

public final class PreferencesMessages
extends org.eclipse.osgi.util.NLS

Field Summary

static java.lang.String	Jml2_title
static java.lang.String	Jml2Enable_label
static java.lang.String	Jml2EnableChecker_label
static java.lang.String	Jml2EnableCompiler_label
static java.lang.String	JmlCommentDisabled_label
static java.lang.String	JmlConfigurationBlock_common_description
static java.lang.String	JmlConfigurationBlock_error
static java.lang.String	JmlConfigurationBlock_ignore
static java.lang.String	JmlConfigurationBlock_needsbuild_title
static java.lang.String	JmlConfigurationBlock_needsfullbuild_message
static java.lang.String	JmlConfigurationBlock_needsprojectbuild_message
static java.lang.String	JmlConfigurationBlock_non_null
static java.lang.String	JmlConfigurationBlock_nullable
static java.lang.String	JmlConfigurationBlock_warning
static java.lang.String	JmlDefaultNullity_label
static java.lang.String	JmlEnableCounts_label
static java.lang.String	JmlEnableEsc2EchoOutput_label
static java.lang.String	JmlEnableJml_label
static java.lang.String	JmlEnableJmlDbc_label
static java.lang.String	JmlEnableJmlEsc_label
static java.lang.String	JmlEnableJmlEsc2_label
static java.lang.String	JmlEnableJmlNewLoopSemantics_label
static java.lang.String	JmlEnableRac_label
static java.lang.String	JmlEnableThy_label
static java.lang.String	JmlEsc_title
static java.lang.String	JmlEsc2_common_description
static java.lang.String	JmlEsc2CommandLineArgs_label
static java.lang.String	JmlExplicitNullityAnnotation_label
static java.lang.String	JmlFspv_title
static java.lang.String	JmlGeneral_title
static java.lang.String	JmlNonNullTypeSystem_label
static java.lang.String	JmlNonNullTypeSystem_title
static java.lang.String	JmlPreferencePage_title
static java.lang.String	JmlProgrammingSecifications_title
static java.lang.String	JmlRac_title
static java.lang.String	JmlSetJDTPotentialNPA_link
static java.lang.String	JmlSimplifyPath_label
static java.lang.String	JmlSpecPath_label
static java.lang.String	JmlTbd_label

Method Summary

Methods inherited from class org.eclipse.osgi.util.NLS

bind, bind, bind, initializeMessages

Methods inherited from class java.lang.Object

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

Field Detail

JmlPreferencePage_title

public static java.lang.String JmlPreferencePage_title

JmlConfigurationBlock_common_description

public static java.lang.String JmlConfigurationBlock_common_description

JmlConfigurationBlock_error

public static java.lang.String JmlConfigurationBlock_error

JmlConfigurationBlock_warning

public static java.lang.String JmlConfigurationBlock_warning

JmlConfigurationBlock_ignore

public static java.lang.String JmlConfigurationBlock_ignore

JmlConfigurationBlock_non_null

public static java.lang.String JmlConfigurationBlock_non_null

JmlConfigurationBlock_nullable

public static java.lang.String JmlConfigurationBlock_nullable

JmlGeneral_title

public static java.lang.String JmlGeneral_title

JmlEnableJml_label

public static java.lang.String JmlEnableJml_label

JmlEnableJmlDbc_label

public static java.lang.String JmlEnableJmlDbc_label

JmlEnableJmlNewLoopSemantics_label

public static java.lang.String JmlEnableJmlNewLoopSemantics_label

JmlSpecPath_label

public static java.lang.String JmlSpecPath_label

JmlProgrammingSecifications_title

public static java.lang.String JmlProgrammingSecifications_title

JmlCommentDisabled_label

public static java.lang.String JmlCommentDisabled_label

JmlNonNullTypeSystem_title

public static java.lang.String JmlNonNullTypeSystem_title

JmlNonNullTypeSystem_label

public static java.lang.String JmlNonNullTypeSystem_label

JmlExplicitNullityAnnotation_label

public static java.lang.String JmlExplicitNullityAnnotation_label

JmlDefaultNullity_label

public static java.lang.String JmlDefaultNullity_label

JmlSetJDTPotentialNPA_link

public static java.lang.String JmlSetJDTPotentialNPA_link

JmlRac_title

public static java.lang.String JmlRac_title

JmlEnableRac_label

public static java.lang.String JmlEnableRac_label

JmlEnableCounts_label

public static java.lang.String JmlEnableCounts_label

JmlEsc_title

public static java.lang.String JmlEsc_title

JmlEnableJmlEsc_label

public static java.lang.String JmlEnableJmlEsc_label

JmlEsc2_common_description

public static java.lang.String JmlEsc2_common_description

JmlEnableJmlEsc2_label

public static java.lang.String JmlEnableJmlEsc2_label

JmlEsc2CommandLineArgs_label

public static java.lang.String JmlEsc2CommandLineArgs_label

JmlEnableEsc2EchoOutput_label

public static java.lang.String JmlEnableEsc2EchoOutput_label

JmlSimplifyPath_label

public static java.lang.String JmlSimplifyPath_label

JmlFspv_title

public static java.lang.String JmlFspv_title

JmlEnableThy_label

public static java.lang.String JmlEnableThy_label

JmlTbd_label

public static java.lang.String JmlTbd_label

JmlConfigurationBlock_needsbuild_title

public static java.lang.String JmlConfigurationBlock_needsbuild_title

JmlConfigurationBlock_needsfullbuild_message

public static java.lang.String JmlConfigurationBlock_needsfullbuild_message

JmlConfigurationBlock_needsprojectbuild_message

public static java.lang.String JmlConfigurationBlock_needsprojectbuild_message

Jml2_title

public static java.lang.String Jml2_title

Jml2Enable_label

public static java.lang.String Jml2Enable_label

Jml2EnableChecker_label

public static java.lang.String Jml2EnableChecker_label

Jml2EnableCompiler_label

public static java.lang.String Jml2EnableCompiler_label