From 421e22120dc215ee2eb702334663aa615c2c945e Mon Sep 17 00:00:00 2001
From: Tagir Valeev <Tagir.Valeev@jetbrains.com>
Date: Mon, 13 Feb 2017 17:50:39 +0700
Subject: [PATCH] DfaValue made abstract (was actually abstract by spirit;
 constructor is protected): this also fixes false-positives of "Call to
 default toString" inspection on DfaValues

---
 .../com/intellij/codeInspection/dataFlow/value/DfaValue.java  | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/value/DfaValue.java b/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/value/DfaValue.java
index c78bfb149d6a..61e95a85876d 100644
--- a/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/value/DfaValue.java
+++ b/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/value/DfaValue.java
@@ -1,5 +1,5 @@
 /*
- * Copyright 2000-2009 JetBrains s.r.o.
+ * Copyright 2000-2017 JetBrains s.r.o.
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
@@ -15,7 +15,7 @@
  */
 package com.intellij.codeInspection.dataFlow.value;
 
-public class DfaValue {
+public abstract class DfaValue {
   private final int myID;
   protected final DfaValueFactory myFactory;