Package it.unive.lisa.checks.semantic

Interface SemanticCheck

All Superinterfaces:

Check<CheckToolWithAnalysisResults<?,?,?>>, GraphVisitor<CFG,Statement,Edge,CheckToolWithAnalysisResults<?,?,?>>

public interface SemanticCheck
extends Check<CheckToolWithAnalysisResults<?,?,?>>

A Check that is able to exploit both the syntactic structure of the program and the semantic information produced with the fixpoint iteration. Instances of this interface will use a CheckToolWithAnalysisResults as auxiliary tool during the inspection.

Method Summary

Methods inherited from interface it.unive.lisa.checks.Check

afterExecution, beforeExecution, visitCompilationUnit, visitGlobal

Methods inherited from interface it.unive.lisa.util.datastructures.graph.GraphVisitor

visit, visit, visit