Package org.checkerframework.afu.annotator.scanner

package org.checkerframework.afu.annotator.scanner
  • Classes
    Class
    Description
    AnonymousClassScanner
    AnonymousClassScanner determine the index of a tree for an anonymous class.
    CastScanner
    CastScanner stores information about the names and offsets of casts inside a method, and can also be used to scan the source tree and determine the index of a given cast, where the i^th index corresponds to the i^th cast, using 0-based indexing.
    CommonScanner
    The common base-class for all scanners that contains shared tree-traversal methods.
    InitBlockScanner
    InitScanner scans the source tree and determines the index of a given initializer block, where index i corresponds to the (0-based) i^th initializer of the indicated kind (static or instance).
    InstanceOfScanner
    InstanceOfScanner stores information about the names and offsets of instanceof checks inside a method, and can also be used to scan the source tree and determine the index of a given instanceof check, where the i^th index corresponds to the i^th instanceof check, using 0-based indexing.
    LambdaScanner
    LambdaScanner stores information about the names and offsets of lambda expressions inside a method, and can also be used to scan the source tree and determine the index of a given instanceof check, where the i^th index corresponds to the i^th instanceof check, using 0-based indexing.
    LocalClassScanner
    LocalClassScanner determines the index of a tree for a local class.
    LocalVariableScanner
    LocalVariableScanner stores information about the names and offsets of local variables inside a method, and can also be used to scan the source tree and determine the index of a local variable with a given name, so that the i^th index corresponds to the i^th declaration of a local variable with that name, using 0-based indexing.
    MemberReferenceScanner
     
    MethodCallScanner
     
    MethodOffsetClassVisitor
    MethodOffsetClassVisitor is a class visitor that should be passed to ASM's ClassReader in order to retrieve extra information about method offsets needed by all of the org.checkerframework.afu.annotator.scanner classes.
    NewScanner
    NewScanner scans the source tree and determines the index of a given new, where the i^th index corresponds to the i^th new, using 0-based indexing.
    TreePathUtil
    Utility methods relating to TreePaths.