Package it.unive.lisa.checks.syntactic

Interface SyntacticCheck

All Superinterfaces:

Check<CheckTool>, GraphVisitor<CFG,Statement,Edge,CheckTool>

public interface SyntacticCheck
extends Check<CheckTool>

A Check that is able to exploit only the syntactic structure of the program. Instances of this interface will use a CheckTool 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