wartremover-inspector-common
wartremover-inspector-common
org.wartremover
Diagnostic
InspectParam
InspectResult
InspectResult
Position
wartremover-inspector-common
/
org.wartremover
/
Diagnostic
Diagnostic
final case
class
Diagnostic
(
message:
String
,
wart:
String
,
position:
Position
)
Graph
Supertypes
trait
Serializable
trait
Product
trait
Equals
class
Object
trait
Matchable
class
Any
Value members
Value members
Inherited methods
def
productElementNames
:
Iterator
[
String
]
Inherited from:
Product
def
productIterator
:
Iterator
[
Any
]
Inherited from:
Product