blob: 2fb0de1705e31c0719e1cb43d58cfd3644ae617d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
/*
* Copyright 2000-2009 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.DfaRelationValue;
import com.intellij.codeInspection.dataFlow.value.DfaValue;
import com.intellij.codeInspection.dataFlow.value.DfaVariableValue;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;
/**
* Created by IntelliJ IDEA.
* User: max
* Date: Jul 16, 2003
* Time: 10:25:44 PM
* To change this template use Options | File Templates.
*/
public interface DfaMemoryState {
DfaMemoryState createCopy();
DfaValue pop();
DfaValue peek();
void push(@NotNull DfaValue value);
void emptyStack();
void setVarValue(DfaVariableValue var, DfaValue value);
boolean applyInstanceofOrNull(DfaRelationValue dfaCond);
boolean applyCondition(DfaValue dfaCond);
void flushFields();
void flushVariable(DfaVariableValue variable);
boolean isNull(DfaValue dfaVar);
boolean checkNotNullable(DfaValue value);
boolean isNotNull(DfaValue dfaVar);
@Nullable
DfaConstValue getConstantValue(DfaVariableValue value);
/**
* Ephemeral means a state that was created when considering a method contract and checking if one of its arguments is null.
* With explicit null check, that would result in any non-annotated variable being treated as nullable and producing possible NPE warnings later.
* With contracts, we don't want this. So the state where this variable is null is marked ephemeral and no NPE warnings are issued for such states.
*/
void markEphemeral();
boolean isEphemeral();
}
|
