zserio.tools

Class WarningsConfig.WarningDefinition

java.lang.Object

zserio.tools.WarningsConfig.WarningDefinition

Enclosing class:

WarningsConfig

public static final class WarningsConfig.WarningDefinition
extends java.lang.Object

Definition of a single warning or a warning group.

Constructor Summary

Constructors

Constructor and Description
WarningDefinition(java.lang.String description, int priority) Constructor.

Method Summary

Modifier and Type	Method and Description
java.lang.String	getDescription() Gets description of the warnings option.
int	getPriority() Gets priority of the warnings option.

Methods inherited from class java.lang.Object

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

Constructor Detail

WarningDefinition

public WarningDefinition(java.lang.String description,
                         int priority)

Constructor.

Parameters:

description - Description of the warning option.

priority - Priority of the warning option.

Method Detail

getDescription

public java.lang.String getDescription()

Gets description of the warnings option.

Returns:

String description.

getPriority

public int getPriority()

Gets priority of the warnings option. Single warning options have highest priority (Integer.MAX_VALUE) and are always applied, while warnings options groups are applied only when no option with higher priority was applied. Option ALL_OPTION has the lowest possible priority (Integer.MIN_VALUE).

Returns:

The option priority.