Class Placeholder

java.lang.Object

edu.umd.cs.findbugs.sarif.Placeholder

class Placeholder
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final int	index	Index of the target BugAnnotation to embed.
(package private) final @NonNull String	key	Key to formatting BugAnnotation.

Constructor Summary

Constructors

Constructor	Description
Placeholder(int index, @NonNull String key)

Method Summary

Modifier and Type	Method	Description
(package private) @NonNull String	toArgument(List<? extends BugAnnotation> bugAnnotations, @Nullable ClassAnnotation primaryClass)

Methods inherited from class Object

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

Field Details

index

final int index

Index of the target BugAnnotation to embed.

key

final @NonNull String key

Key to formatting BugAnnotation.

See Also:

• BugAnnotation.format(String, ClassAnnotation)

Constructor Details

Placeholder

Placeholder(int index,
 @NonNull String key)

Method Details

toArgument

@NonNull String toArgument(List<? extends BugAnnotation> bugAnnotations,
 @Nullable ClassAnnotation primaryClass)