package tfm.nodes; import com.github.javaparser.ast.Node; import com.github.javaparser.ast.stmt.Statement; import org.checkerframework.checker.nullness.qual.NonNull; import org.jetbrains.annotations.NotNull; import tfm.utils.Utils; import tfm.variables.VariableExtractor; import java.util.*; /** * Immutable class that represents an AST node inside a CFG, PDG or SDG. * * @param the AST node that represents */ public class GraphNode { private final int id; private final String instruction; private final N astNode; private final Set declaredVariables; private final Set definedVariables; private final Set usedVariables; GraphNode(int id, String instruction, @NotNull N astNode) { this( id, instruction, astNode, Utils.emptySet(), Utils.emptySet(), Utils.emptySet() ); if (astNode instanceof Statement) { extractVariables((Statement) astNode); } } GraphNode( int id, String instruction, @NonNull N astNode, Collection declaredVariables, Collection definedVariables, Collection usedVariables ) { this.id = id; this.instruction = instruction; this.astNode = astNode; this.declaredVariables = new HashSet<>(declaredVariables); this.definedVariables = new HashSet<>(definedVariables); this.usedVariables = new HashSet<>(usedVariables); } private void extractVariables(@NonNull Statement statement) { new VariableExtractor() .setOnVariableDeclarationListener(this.declaredVariables::add) .setOnVariableDefinitionListener(this.definedVariables::add) .setOnVariableUseListener(this.usedVariables::add) .visit(statement); } public int getId() { return id; } public String toString() { return String.format("GraphNode{id: %s, instruction: '%s', astNodeType: %s}", getId(), getInstruction(), getAstNode().getClass().getSimpleName() ); } public N getAstNode() { return astNode; } public void addDeclaredVariable(String variable) { declaredVariables.add(variable); } public void addDefinedVariable(String variable) { definedVariables.add(variable); } public void addUsedVariable(String variable) { usedVariables.add(variable); } @Override public boolean equals(Object o) { if (this == o) return true; if (!(o instanceof GraphNode)) return false; GraphNode other = (GraphNode) o; return Objects.equals(getId(), other.getId()) && Objects.equals(getInstruction(), other.getInstruction()) && Objects.equals(astNode, other.astNode); } @Override public int hashCode() { return Objects.hash(getId(), getInstruction(), getAstNode()); } public Set getDeclaredVariables() { return declaredVariables; } public Set getDefinedVariables() { return definedVariables; } public Set getUsedVariables() { return usedVariables; } public String getInstruction() { return instruction; } }