java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/EqClass.java

/*
 * Copyright 2000-2013 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.
 * You may obtain a copy of the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
package com.intellij.codeInspection.dataFlow;

import com.intellij.codeInspection.dataFlow.value.DfaConstValue;
import com.intellij.codeInspection.dataFlow.value.DfaValue;
import com.intellij.codeInspection.dataFlow.value.DfaValueFactory;
import com.intellij.codeInspection.dataFlow.value.DfaVariableValue;
import com.intellij.util.containers.ContainerUtil;
import gnu.trove.TIntProcedure;
import org.jetbrains.annotations.Nullable;

import java.util.ArrayList;
import java.util.List;

/**
 * @author peter
 */
class EqClass extends SortedIntSet {
  private final DfaValueFactory myFactory;

  EqClass(DfaValueFactory factory) {
    myFactory = factory;
  }

  EqClass(EqClass toCopy) {
    super(toCopy.toNativeArray());
    myFactory = toCopy.myFactory;
  }

  @Override
  public String toString() {
    StringBuilder buf = new StringBuilder();
    buf.append("(");
    for (int i = 0; i < size(); i++) {
      if (i > 0) buf.append(", ");
      int value = get(i);
      DfaValue dfaValue = myFactory.getValue(value);
      buf.append(dfaValue);
    }
    buf.append(")");
    return buf.toString();
  }

  List<DfaVariableValue> getVariables(boolean unwrap) {
    List<DfaVariableValue> vars = ContainerUtil.newArrayList();
    for (DfaValue value : getMemberValues()) {
      if (unwrap) {
        value = DfaMemoryStateImpl.unwrap(value);
      }
      if (value instanceof DfaVariableValue) {
        vars.add((DfaVariableValue)value);
      }
    }
    return vars;
  }

  List<DfaValue> getMemberValues() {
    final List<DfaValue> result = new ArrayList<DfaValue>(size());
    forEach(new TIntProcedure() {
      @Override
      public boolean execute(int c1) {
        DfaValue value = myFactory.getValue(c1);
        result.add(value);
        return true;
      }
    });
    return result;
  }

  @Nullable
  DfaValue findConstant(boolean wrapped) {
    for (DfaValue value : getMemberValues()) {
      if (value instanceof DfaConstValue || wrapped && DfaMemoryStateImpl.unwrap(value) instanceof DfaConstValue) {
        return value;
      }
    }
    return null;
  }

  @Nullable
  private static DfaConstValue asConstantValue(DfaValue value) {
    value = DfaMemoryStateImpl.unwrap(value);
    return value instanceof DfaConstValue ? (DfaConstValue)value : null;
  }

  boolean containsConstantsOnly() {
    for (int i = 0; i < size(); i++) {
      if (asConstantValue(myFactory.getValue(get(i))) == null) {
        return false;
      }
    }

    return true;
  }

}