Skip to content

Add CFI with addDeepPreference method to add nested constraints #412

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Add CFI with addDeepPreference method to add nested constraints #412

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
e33175a
addDeepPreference to cfi
AndrewShf Dec 1, 2022
38c4b0b
delete redundant if statements
AndrewShf Dec 6, 2022
eaff928
Merge branch 'master' into add_deep_preference
Ao-senXiong Jun 27, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
39 changes: 39 additions & 0 deletions src/checkers/inference/InferenceVisitor.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,7 @@
import java.util.Arrays;
import java.util.HashMap;
import java.util.HashSet;
import java.util.LinkedList;
import java.util.List;
import java.util.Map;
import java.util.Set;
Expand Down Expand Up @@ -307,6 +308,44 @@ public void mainIsNoneOf(
}
}

private void addDeepPreferenceImpl(AnnotatedTypeMirror ty, AnnotationMirror goal, int weight,
java.util.List<AnnotatedTypeMirror> visited, Tree node) {
if (infer) {
if (visited.contains(ty)) {
return;
}
visited.add(ty);

final SlotManager slotManager = InferenceMain.getInstance().getSlotManager();
Slot el = slotManager.getSlot(ty);

if (el == null) {
logger.warning("InferenceVisitor::addDeepPreferenceImpl: no annotation in type: " + ty);
} else {
addPreference(ty, goal, weight);
}

if (ty.getKind() == TypeKind.DECLARED) {
AnnotatedDeclaredType declaredType = (AnnotatedDeclaredType) ty;
for (AnnotatedTypeMirror typearg : declaredType.getTypeArguments()) {
addDeepPreferenceImpl(typearg, goal, weight, visited, node);
}
} else if (ty.getKind() == TypeKind.ARRAY) {
AnnotatedArrayType arrayType = (AnnotatedArrayType) ty;
addDeepPreferenceImpl(arrayType.getComponentType(), goal, weight, visited, node);
} else if (ty.getKind() == TypeKind.TYPEVAR) {
AnnotatedTypeVariable atv = (AnnotatedTypeVariable) ty;
addDeepPreferenceImpl(atv.getUpperBound(), goal, weight, visited, node);
addDeepPreferenceImpl(atv.getLowerBound(), goal, weight, visited, node);
}
}
// Else, do nothing
}

public void addDeepPreference(AnnotatedTypeMirror ty, AnnotationMirror goal, int weight, Tree node) {
addDeepPreferenceImpl(ty, goal, weight, new LinkedList<>(), node);
}

public void addPreference(AnnotatedTypeMirror type, AnnotationMirror anno, int weight) {
if (infer) {
ConstraintManager cManager = InferenceMain.getInstance().getConstraintManager();
Expand Down