Class MethodsFirstChecker

java.lang.Object

spoon.reflect.visitor.CtScanner

liquidjava.processor.refinement_checker.TypeChecker

liquidjava.processor.refinement_checker.MethodsFirstChecker

All Implemented Interfaces:

spoon.reflect.visitor.CtVisitor

public class MethodsFirstChecker
extends TypeChecker

First visit to Spoon AST to get the method's refinements

Constructor Summary

Constructors

Constructor	Description
MethodsFirstChecker(Context context, spoon.reflect.factory.Factory factory)

Method Summary

Modifier and Type	Method	Description
<T> void	visitCtClass(spoon.reflect.declaration.CtClass<T> ctClass)
<T> void	visitCtConstructor(spoon.reflect.declaration.CtConstructor<T> c)
<T> void	visitCtInterface(spoon.reflect.declaration.CtInterface<T> intrface)
<R> void	visitCtMethod(spoon.reflect.declaration.CtMethod<R> method)

Methods inherited from class liquidjava.processor.refinement_checker.TypeChecker

checkSMT, checksStateSMT, checkStateSMT, checkVariableRefinements, createError, createSameStateError, createStateGhost, createStateMismatchError, getContext, getFactory, getGhostFunction, getQualifiedClassName, getRefinement, getRefinementFromAnnotation, getSimpleClassName, handleAlias, handleStateSetsFromAnnotation

Methods inherited from class spoon.reflect.visitor.CtScanner

enter, exit, scan, scan, scan, scan, scan, scan, scan, visitCtAnnotation, visitCtAnnotationFieldAccess, visitCtAnnotationMethod, visitCtAnnotationType, visitCtAnonymousExecutable, visitCtArrayRead, visitCtArrayTypeReference, visitCtArrayWrite, visitCtAssert, visitCtAssignment, visitCtBinaryOperator, visitCtBlock, visitCtBreak, visitCtCase, visitCtCatch, visitCtCatchVariable, visitCtCatchVariableReference, visitCtCodeSnippetExpression, visitCtCodeSnippetStatement, visitCtComment, visitCtCompilationUnit, visitCtConditional, visitCtConstructorCall, visitCtContinue, visitCtDo, visitCtEnum, visitCtEnumValue, visitCtExecutableReference, visitCtExecutableReferenceExpression, visitCtField, visitCtFieldRead, visitCtFieldReference, visitCtFieldWrite, visitCtFor, visitCtForEach, visitCtIf, visitCtImport, visitCtIntersectionTypeReference, visitCtInvocation, visitCtJavaDoc, visitCtJavaDocTag, visitCtLambda, visitCtLiteral, visitCtLocalVariable, visitCtLocalVariableReference, visitCtModule, visitCtModuleReference, visitCtModuleRequirement, visitCtNewArray, visitCtNewClass, visitCtOperatorAssignment, visitCtPackage, visitCtPackageDeclaration, visitCtPackageExport, visitCtPackageReference, visitCtParameter, visitCtParameterReference, visitCtProvidedService, visitCtRecord, visitCtRecordComponent, visitCtReturn, visitCtStatementList, visitCtSuperAccess, visitCtSwitch, visitCtSwitchExpression, visitCtSynchronized, visitCtTextBlock, visitCtThisAccess, visitCtThrow, visitCtTry, visitCtTryWithResource, visitCtTypeAccess, visitCtTypeMemberWildcardImportReference, visitCtTypeParameter, visitCtTypeParameterReference, visitCtTypePattern, visitCtTypeReference, visitCtUnaryOperator, visitCtUnboundVariableReference, visitCtUsedService, visitCtVariableRead, visitCtVariableWrite, visitCtWhile, visitCtWildcardReference, visitCtYieldStatement

Methods inherited from class java.lang.Object

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

Constructor Details

MethodsFirstChecker

public MethodsFirstChecker(Context context,
 spoon.reflect.factory.Factory factory)

Method Details

visitCtClass

public <T> void visitCtClass(spoon.reflect.declaration.CtClass<T> ctClass)

Specified by:

visitCtClass in interface spoon.reflect.visitor.CtVisitor

Overrides:

visitCtClass in class spoon.reflect.visitor.CtScanner

visitCtInterface

public <T> void visitCtInterface(spoon.reflect.declaration.CtInterface<T> intrface)

Specified by:

visitCtInterface in interface spoon.reflect.visitor.CtVisitor

Overrides:

visitCtInterface in class spoon.reflect.visitor.CtScanner

visitCtConstructor

public <T> void visitCtConstructor(spoon.reflect.declaration.CtConstructor<T> c)

Specified by:

visitCtConstructor in interface spoon.reflect.visitor.CtVisitor

Overrides:

visitCtConstructor in class spoon.reflect.visitor.CtScanner

visitCtMethod

public <R> void visitCtMethod(spoon.reflect.declaration.CtMethod<R> method)

Specified by:

visitCtMethod in interface spoon.reflect.visitor.CtVisitor

Overrides:

visitCtMethod in class spoon.reflect.visitor.CtScanner