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
;
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
;
24 * Created by IntelliJ IDEA.
28 * To change this template use Options | File Templates.
30 public interface DfaMemoryState
{
31 DfaMemoryState
createCopy();
35 void push(@NotNull DfaValue value
);
38 void pushOffset(int offset
);
42 void setVarValue(DfaVariableValue var
, DfaValue value
);
44 boolean applyInstanceofOrNull(DfaRelationValue dfaCond
);
46 boolean applyCondition(DfaValue dfaCond
);
48 boolean applyNotNull(DfaValue value
);
50 void flushFields(DataFlowRunner runner
);
52 void flushVariable(DfaVariableValue variable
);
54 boolean isNull(DfaValue dfaVar
);
56 boolean checkNotNullable(DfaValue value
);
58 boolean canBeNaN(DfaValue dfaValue
);
60 boolean isNotNull(DfaVariableValue dfaVar
);