Package daikon.suppress
-
Class Summary Class Description NIS Main class for non-instantiating suppression.NISuppressee Defines a suppressee for non-instantiating suppression.NISuppression Class that defines a single non-instantiating suppression.NISuppressionSet Class that defines a set of non-instantiating suppressions for a single invariant (suppressee).NISuppressor Class that defines a suppressor invariant for use in non-instantiating suppressions. -
Enum Summary Enum Description NIS.SuppressionProcessor Signifies which algorithm is used by NIS to process suppressions.NIS.SuppressState Possible states for suppressors and suppressions.