public class Messages extends Object
| Constructor and Description |
|---|
Messages() |
| Modifier and Type | Method and Description |
|---|---|
static org.jvnet.localizer.Localizable |
_internalError()
Key
internalError: Internal error. |
static org.jvnet.localizer.Localizable |
_polyspaceAccessConfigDisplayName()
Key
polyspaceAccessConfigDisplayName: Polyspace Access
Config. |
static org.jvnet.localizer.Localizable |
_polyspaceAccessWrongConfig()
Key
polyspaceAccessWrongConfig: {@code Check Polyspace Access
server settings (host name, port, protocol) and login
credentials. |
static org.jvnet.localizer.Localizable |
_polyspaceBinConfigDisplayName()
Key
polyspaceBinConfigDisplayName: Polyspace Bin
Config. |
static org.jvnet.localizer.Localizable |
_polyspaceBinWrongConfig()
Key
polyspaceBinWrongConfig: Provide path to subfolder
polyspace/bin in Polyspace installation folder. |
static org.jvnet.localizer.Localizable |
_polyspaceBuildWrapperDisplayName()
Key
polyspaceBuildWrapperDisplayName: Select Polyspace
installation settings. |
static org.jvnet.localizer.Localizable |
_polyspaceCorrectConfig()
Key
polyspaceCorrectConfig: Correct Configuration. |
static org.jvnet.localizer.Localizable |
_polyspaceMetricsConfigDisplayName()
Key
polyspaceMetricsConfigDisplayName: Polyspace
Metrics Config. |
static org.jvnet.localizer.Localizable |
_polyspaceNotification()
Key
polyspaceNotification: Polyspace Notification. |
static String |
internalError()
Key
internalError: Internal error. |
static String |
polyspaceAccessConfigDisplayName()
Key
polyspaceAccessConfigDisplayName: Polyspace Access
Config. |
static String |
polyspaceAccessWrongConfig()
Key
polyspaceAccessWrongConfig: {@code Check Polyspace Access
server settings (host name, port, protocol) and login
credentials. |
static String |
polyspaceBinConfigDisplayName()
Key
polyspaceBinConfigDisplayName: Polyspace Bin
Config. |
static String |
polyspaceBinWrongConfig()
Key
polyspaceBinWrongConfig: Provide path to subfolder
polyspace/bin in Polyspace installation folder. |
static String |
polyspaceBuildWrapperDisplayName()
Key
polyspaceBuildWrapperDisplayName: Select Polyspace
installation settings. |
static String |
polyspaceCorrectConfig()
Key
polyspaceCorrectConfig: Correct Configuration. |
static String |
polyspaceMetricsConfigDisplayName()
Key
polyspaceMetricsConfigDisplayName: Polyspace
Metrics Config. |
static String |
polyspaceNotification()
Key
polyspaceNotification: Polyspace Notification. |
public static String polyspaceNotification()
polyspaceNotification: Polyspace Notification.Polyspace Notificationpublic static org.jvnet.localizer.Localizable _polyspaceNotification()
polyspaceNotification: Polyspace Notification.Polyspace Notificationpublic static String polyspaceBinWrongConfig()
polyspaceBinWrongConfig: Provide path to subfolder
polyspace/bin in Polyspace installation folder.Provide path to subfolder polyspace/bin in Polyspace
installation folderpublic static org.jvnet.localizer.Localizable _polyspaceBinWrongConfig()
polyspaceBinWrongConfig: Provide path to subfolder
polyspace/bin in Polyspace installation folder.Provide path to subfolder polyspace/bin in Polyspace
installation folderpublic static String polyspaceBuildWrapperDisplayName()
polyspaceBuildWrapperDisplayName: Select Polyspace
installation settings.Select Polyspace installation settingspublic static org.jvnet.localizer.Localizable _polyspaceBuildWrapperDisplayName()
polyspaceBuildWrapperDisplayName: Select Polyspace
installation settings.Select Polyspace installation settingspublic static String polyspaceCorrectConfig()
polyspaceCorrectConfig: Correct Configuration.Correct Configurationpublic static org.jvnet.localizer.Localizable _polyspaceCorrectConfig()
polyspaceCorrectConfig: Correct Configuration.Correct Configurationpublic static String polyspaceAccessWrongConfig()
polyspaceAccessWrongConfig: Check Polyspace Access
server settings (host name, port, protocol) and login
credentials.
Note: Make sure that you used the encrypted password
obtained with:
polyspace-access -encrypt-password.Check Polyspace Access server settings (host name, port,
protocol) and login credentials.
Note: Make sure that you used the
encrypted password obtained with:
polyspace-access
-encrypt-passwordpublic static org.jvnet.localizer.Localizable _polyspaceAccessWrongConfig()
polyspaceAccessWrongConfig: Check Polyspace Access
server settings (host name, port, protocol) and login
credentials.
Note: Make sure that you used the encrypted password
obtained with:
polyspace-access -encrypt-password.Check Polyspace Access server settings (host name, port,
protocol) and login credentials.
Note: Make sure that you used the
encrypted password obtained with:
polyspace-access
-encrypt-passwordpublic static String polyspaceBinConfigDisplayName()
polyspaceBinConfigDisplayName: Polyspace Bin
Config.Polyspace Bin Configpublic static org.jvnet.localizer.Localizable _polyspaceBinConfigDisplayName()
polyspaceBinConfigDisplayName: Polyspace Bin
Config.Polyspace Bin Configpublic static String internalError()
internalError: Internal error.Internal errorpublic static org.jvnet.localizer.Localizable _internalError()
internalError: Internal error.Internal errorpublic static String polyspaceAccessConfigDisplayName()
polyspaceAccessConfigDisplayName: Polyspace Access
Config.Polyspace Access Configpublic static org.jvnet.localizer.Localizable _polyspaceAccessConfigDisplayName()
polyspaceAccessConfigDisplayName: Polyspace Access
Config.Polyspace Access Configpublic static String polyspaceMetricsConfigDisplayName()
polyspaceMetricsConfigDisplayName: Polyspace
Metrics Config.Polyspace Metrics Configpublic static org.jvnet.localizer.Localizable _polyspaceMetricsConfigDisplayName()
polyspaceMetricsConfigDisplayName: Polyspace
Metrics Config.Polyspace Metrics ConfigCopyright © 2016–2019. All rights reserved.