Package science.aist.gtf.verification.syntactic

Class Summary

Class	Description
FieldExtractor	Class for extracting fields of class
PropertyRestrictor	Property restrictor which consists of collections of classes, fields, default values which should be considered in property verification process
PropertyVerificator<Input>	Property verificator which checks if all containers of a class are initialized and filled and all fields are not only initialized but also set
PropertyVerificatorResult	Result class of a property verification process
SemanticDifferenceDetector	Class for detecting semantic differences of a verification result