randoop.reflection

Class CheckRepExtractor

java.lang.Object

randoop.reflection.DefaultClassVisitor

randoop.reflection.CheckRepExtractor

All Implemented Interfaces:

ClassVisitor

class CheckRepExtractor
extends DefaultClassVisitor

CheckRepExtractor is a ClassVisitor that inspects the methods passed to it to see if they are annotated with CheckRep, are non-static, and have either a boolean or void return type.

Field Summary

Fields

Modifier and Type	Field and Description
private ContractSet	contracts The set of accumulated ObjectContract objects.

Constructor Summary

Constructors

Constructor and Description
CheckRepExtractor(ContractSet contracts) Creates a visitor with an empty contracts set.

Method Summary

Modifier and Type	Method and Description
private static void	printDetectedAnnotatedCheckRepMethod(java.lang.reflect.Method m) Prints the log message indicating that a CheckRep method has been found.
void	visit(java.lang.reflect.Method m) Perform an action on a method.

Methods inherited from class randoop.reflection.DefaultClassVisitor

toString, visit, visit, visit, visit, visitAfter, visitBefore

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

contracts

private ContractSet contracts

The set of accumulated ObjectContract objects.

Constructor Detail

CheckRepExtractor

CheckRepExtractor(ContractSet contracts)

Creates a visitor with an empty contracts set.

Parameters:

contracts - the set of contracts

Method Detail

visit

public void visit(java.lang.reflect.Method m)

Perform an action on a method.

If the method is annotated with CheckRep, non-static, and with boolean or void return type, then a CheckRepContract for the method is added to the contracts set.

Specified by:

visit in interface ClassVisitor

Overrides:

visit in class DefaultClassVisitor

Parameters:

m - the method

printDetectedAnnotatedCheckRepMethod

private static void printDetectedAnnotatedCheckRepMethod(java.lang.reflect.Method m)

Prints the log message indicating that a CheckRep method has been found.

Parameters:

m - the method