2 * Copyright 2000-2009 JetBrains s.r.o.
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
8 * http://www.apache.org/licenses/LICENSE-2.0
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
16 package com
.intellij
.codeInspection
.dataFlow
.value
;
18 public class DfaValue
{
19 private final int myID
;
20 protected final DfaValueFactory myFactory
;
22 protected DfaValue(final DfaValueFactory factory
) {
24 if (factory
== null) {
28 myID
= factory
.createID();
29 factory
.registerValue(this);
37 public DfaValue
createNegated() {
38 return DfaUnknownValue
.getInstance();
41 public boolean equals(Object obj
) {
42 return obj
instanceof DfaValue
&& getID() == ((DfaValue
)obj
).getID();
45 public int hashCode() {