Package it.unive.lisa.checks.syntactic

Interface Summary

Interface	Description
SyntacticCheck	A Check that is able to exploit only the syntactic structure of the program.

Class Summary

Class	Description
CheckTool	An auxiliary tool that can be used by checks during their execution.