Package liquidjava.processor.refinement_checker

package liquidjava.processor.refinement_checker

Related Packages

Package	Description
liquidjava.processor
liquidjava.processor.refinement_checker.general_checkers
liquidjava.processor.refinement_checker.object_checkers
liquidjava.processor.ann_generation
liquidjava.processor.context
liquidjava.processor.facade

Classes

Class	Description
ExternalRefinementTypeChecker
MethodsFirstChecker	First visit to Spoon AST to get the method's refinements
RefinementTypeChecker
TypeChecker
TypeCheckingUtils
VCChecker