Class RefinementTypeChecker

java.lang.Object
spoon.reflect.visitor.CtScanner
liquidjava.processor.refinement_checker.TypeChecker
liquidjava.processor.refinement_checker.RefinementTypeChecker
All Implemented Interfaces:
spoon.reflect.visitor.CtVisitor
public class RefinementTypeChecker extends TypeChecker

  • Constructor Summary

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

  • Method Summary

    Modifier and Type
    Method
    Description
    <A extends Annotation>
    void
    visitCtAnnotationType(spoon.reflect.declaration.CtAnnotationType<A> annotationType)
     
    <T> void
    visitCtArrayRead(spoon.reflect.code.CtArrayRead<T> arrayRead)
     
    <T> void
    visitCtArrayWrite(spoon.reflect.code.CtArrayWrite<T> arrayWrite)
     
    <T, A extends T>
    void
    visitCtAssignment(spoon.reflect.code.CtAssignment<T,A> assignment)
     
    <T> void
    visitCtBinaryOperator(spoon.reflect.code.CtBinaryOperator<T> operator)
    Visitor for binary operations Adds metadata to the binary operations from the operands
    <T> void
    visitCtClass(spoon.reflect.declaration.CtClass<T> ctClass)
     
    <T> void
    visitCtConditional(spoon.reflect.code.CtConditional<T> conditional)
     
    <T> void
    visitCtConstructor(spoon.reflect.declaration.CtConstructor<T> c)
     
    <T> void
    visitCtConstructorCall(spoon.reflect.code.CtConstructorCall<T> ctConstructorCall)
     
    <T> void
    visitCtField(spoon.reflect.declaration.CtField<T> f)
     
    <T> void
    visitCtFieldRead(spoon.reflect.code.CtFieldRead<T> fieldRead)
     
    void
    visitCtIf(spoon.reflect.code.CtIf ifElement)
     
    <T> void
    visitCtInterface(spoon.reflect.declaration.CtInterface<T> intrface)
     
    <R> void
    visitCtInvocation(spoon.reflect.code.CtInvocation<R> invocation)
     
    <T> void
    visitCtLiteral(spoon.reflect.code.CtLiteral<T> lit)
     
    <T> void
    visitCtLocalVariable(spoon.reflect.code.CtLocalVariable<T> localVariable)
     
    <R> void
    visitCtMethod(spoon.reflect.declaration.CtMethod<R> method)
     
    <T> void
    visitCtNewArray(spoon.reflect.code.CtNewArray<T> newArray)
     
    <T> void
    visitCtNewClass(spoon.reflect.code.CtNewClass<T> newClass)
     
    <R> void
    visitCtReturn(spoon.reflect.code.CtReturn<R> ret)
     
    <T> void
    visitCtThisAccess(spoon.reflect.code.CtThisAccess<T> thisAccess)
     
    <T> void
    visitCtUnaryOperator(spoon.reflect.code.CtUnaryOperator<T> operator)
     
    <T> void
    visitCtVariableRead(spoon.reflect.code.CtVariableRead<T> variableRead)
     

    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, visitCtAnonymousExecutable, visitCtArrayTypeReference, visitCtAssert, visitCtBlock, visitCtBreak, visitCtCase, visitCtCatch, visitCtCatchVariable, visitCtCatchVariableReference, visitCtCodeSnippetExpression, visitCtCodeSnippetStatement, visitCtComment, visitCtCompilationUnit, visitCtContinue, visitCtDo, visitCtEnum, visitCtEnumValue, visitCtExecutableReference, visitCtExecutableReferenceExpression, visitCtFieldReference, visitCtFieldWrite, visitCtFor, visitCtForEach, visitCtImport, visitCtIntersectionTypeReference, visitCtJavaDoc, visitCtJavaDocTag, visitCtLambda, visitCtLocalVariableReference, visitCtModule, visitCtModuleReference, visitCtModuleRequirement, visitCtOperatorAssignment, visitCtPackage, visitCtPackageDeclaration, visitCtPackageExport, visitCtPackageReference, visitCtParameter, visitCtParameterReference, visitCtProvidedService, visitCtRecord, visitCtRecordComponent, visitCtStatementList, visitCtSuperAccess, visitCtSwitch, visitCtSwitchExpression, visitCtSynchronized, visitCtTextBlock, visitCtThrow, visitCtTry, visitCtTryWithResource, visitCtTypeAccess, visitCtTypeMemberWildcardImportReference, visitCtTypeParameter, visitCtTypeParameterReference, visitCtTypePattern, visitCtTypeReference, visitCtUnboundVariableReference, visitCtUsedService, visitCtVariableWrite, visitCtWhile, visitCtWildcardReference, visitCtYieldStatement

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • RefinementTypeChecker

      public RefinementTypeChecker(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

    • visitCtAnnotationType

      public <A extends Annotation> void visitCtAnnotationType(spoon.reflect.declaration.CtAnnotationType<A> annotationType)
      Specified by:
      visitCtAnnotationType in interface spoon.reflect.visitor.CtVisitor
      Overrides:
      visitCtAnnotationType 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

    • visitCtLocalVariable

      public <T> void visitCtLocalVariable(spoon.reflect.code.CtLocalVariable<T> localVariable)
      Specified by:
      visitCtLocalVariable in interface spoon.reflect.visitor.CtVisitor
      Overrides:
      visitCtLocalVariable in class spoon.reflect.visitor.CtScanner

    • visitCtNewArray

      public <T> void visitCtNewArray(spoon.reflect.code.CtNewArray<T> newArray)
      Specified by:
      visitCtNewArray in interface spoon.reflect.visitor.CtVisitor
      Overrides:
      visitCtNewArray in class spoon.reflect.visitor.CtScanner

    • visitCtThisAccess

      public <T> void visitCtThisAccess(spoon.reflect.code.CtThisAccess<T> thisAccess)
      Specified by:
      visitCtThisAccess in interface spoon.reflect.visitor.CtVisitor
      Overrides:
      visitCtThisAccess in class spoon.reflect.visitor.CtScanner

    • visitCtAssignment

      public <T, A extends T> void visitCtAssignment(spoon.reflect.code.CtAssignment<T,A> assignment) throws LJError
      Specified by:
      visitCtAssignment in interface spoon.reflect.visitor.CtVisitor
      Overrides:
      visitCtAssignment in class spoon.reflect.visitor.CtScanner
      Throws:
      LJError

    • visitCtArrayRead

      public <T> void visitCtArrayRead(spoon.reflect.code.CtArrayRead<T> arrayRead)
      Specified by:
      visitCtArrayRead in interface spoon.reflect.visitor.CtVisitor
      Overrides:
      visitCtArrayRead in class spoon.reflect.visitor.CtScanner

    • visitCtLiteral

      public <T> void visitCtLiteral(spoon.reflect.code.CtLiteral<T> lit)
      Specified by:
      visitCtLiteral in interface spoon.reflect.visitor.CtVisitor
      Overrides:
      visitCtLiteral in class spoon.reflect.visitor.CtScanner

    • visitCtField

      public <T> void visitCtField(spoon.reflect.declaration.CtField<T> f)
      Specified by:
      visitCtField in interface spoon.reflect.visitor.CtVisitor
      Overrides:
      visitCtField in class spoon.reflect.visitor.CtScanner

    • visitCtFieldRead

      public <T> void visitCtFieldRead(spoon.reflect.code.CtFieldRead<T> fieldRead)
      Specified by:
      visitCtFieldRead in interface spoon.reflect.visitor.CtVisitor
      Overrides:
      visitCtFieldRead in class spoon.reflect.visitor.CtScanner

    • visitCtVariableRead

      public <T> void visitCtVariableRead(spoon.reflect.code.CtVariableRead<T> variableRead)
      Specified by:
      visitCtVariableRead in interface spoon.reflect.visitor.CtVisitor
      Overrides:
      visitCtVariableRead in class spoon.reflect.visitor.CtScanner

    • visitCtBinaryOperator

      public <T> void visitCtBinaryOperator(spoon.reflect.code.CtBinaryOperator<T> operator)
      Visitor for binary operations Adds metadata to the binary operations from the operands
      Specified by:
      visitCtBinaryOperator in interface spoon.reflect.visitor.CtVisitor
      Overrides:
      visitCtBinaryOperator in class spoon.reflect.visitor.CtScanner

    • visitCtUnaryOperator

      public <T> void visitCtUnaryOperator(spoon.reflect.code.CtUnaryOperator<T> operator)
      Specified by:
      visitCtUnaryOperator in interface spoon.reflect.visitor.CtVisitor
      Overrides:
      visitCtUnaryOperator in class spoon.reflect.visitor.CtScanner

    • visitCtInvocation

      public <R> void visitCtInvocation(spoon.reflect.code.CtInvocation<R> invocation)
      Specified by:
      visitCtInvocation in interface spoon.reflect.visitor.CtVisitor
      Overrides:
      visitCtInvocation in class spoon.reflect.visitor.CtScanner

    • visitCtReturn

      public <R> void visitCtReturn(spoon.reflect.code.CtReturn<R> ret)
      Specified by:
      visitCtReturn in interface spoon.reflect.visitor.CtVisitor
      Overrides:
      visitCtReturn in class spoon.reflect.visitor.CtScanner

    • visitCtIf

      public void visitCtIf(spoon.reflect.code.CtIf ifElement)
      Specified by:
      visitCtIf in interface spoon.reflect.visitor.CtVisitor
      Overrides:
      visitCtIf in class spoon.reflect.visitor.CtScanner

    • visitCtArrayWrite

      public <T> void visitCtArrayWrite(spoon.reflect.code.CtArrayWrite<T> arrayWrite)
      Specified by:
      visitCtArrayWrite in interface spoon.reflect.visitor.CtVisitor
      Overrides:
      visitCtArrayWrite in class spoon.reflect.visitor.CtScanner

    • visitCtConditional

      public <T> void visitCtConditional(spoon.reflect.code.CtConditional<T> conditional)
      Specified by:
      visitCtConditional in interface spoon.reflect.visitor.CtVisitor
      Overrides:
      visitCtConditional in class spoon.reflect.visitor.CtScanner

    • visitCtConstructorCall

      public <T> void visitCtConstructorCall(spoon.reflect.code.CtConstructorCall<T> ctConstructorCall)
      Specified by:
      visitCtConstructorCall in interface spoon.reflect.visitor.CtVisitor
      Overrides:
      visitCtConstructorCall in class spoon.reflect.visitor.CtScanner

    • visitCtNewClass

      public <T> void visitCtNewClass(spoon.reflect.code.CtNewClass<T> newClass)
      Specified by:
      visitCtNewClass in interface spoon.reflect.visitor.CtVisitor
      Overrides:
      visitCtNewClass in class spoon.reflect.visitor.CtScanner