java/java-impl/src/com/intellij/codeInspection/dataFlow/DfaMemoryState.java

   1 /*
   2  * Copyright 2000-2009 JetBrains s.r.o.
   3  *
   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
   7  *
   8  * http://www.apache.org/licenses/LICENSE-2.0
   9  *
  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.
  15  */
  16 package com.intellij.codeInspection.dataFlow;
  17
  18 import com.intellij.codeInspection.dataFlow.value.DfaRelationValue;
  19 import com.intellij.codeInspection.dataFlow.value.DfaValue;
  20 import com.intellij.codeInspection.dataFlow.value.DfaVariableValue;
  21 import org.jetbrains.annotations.NotNull;
  22
  23 /**
  24  * Created by IntelliJ IDEA.
  25  * User: max
  26  * Date: Jul 16, 2003
  27  * Time: 10:25:44 PM
  28  * To change this template use Options | File Templates.
  29  */
  30 public interface DfaMemoryState {
  31   DfaMemoryState createCopy();
  32
  33   DfaValue pop();
  34   DfaValue peek();
  35   void push(@NotNull DfaValue value);
  36
  37   int popOffset();
  38   void pushOffset(int offset);
  39
  40   void emptyStack();
  41
  42   void setVarValue(DfaVariableValue var, DfaValue value);
  43
  44   boolean applyInstanceofOrNull(DfaRelationValue dfaCond);
  45
  46   boolean applyCondition(DfaValue dfaCond);
  47
  48   boolean applyNotNull(DfaValue value);
  49
  50   void flushFields(DataFlowRunner runner);
  51
  52   void flushVariable(DfaVariableValue variable);
  53
  54   boolean isNull(DfaValue dfaVar);
  55
  56   boolean checkNotNullable(DfaValue value);
  57
  58   boolean canBeNaN(DfaValue dfaValue);
  59
  60   boolean isNotNull(DfaVariableValue dfaVar);
  61 }