Package org.checkerframework.afu.annotator.scanner

Class MemberReferenceScanner

java.lang.Object

com.sun.source.util.TreeScanner<Void,Void>

com.sun.source.util.TreePathScanner<Void,Void>

org.checkerframework.afu.annotator.scanner.CommonScanner

org.checkerframework.afu.annotator.scanner.MemberReferenceScanner

All Implemented Interfaces:

TreeVisitor<Void,Void>

public class MemberReferenceScanner
extends CommonScanner

Method Summary

Modifier and Type	Method	Description
static void	addMemberReferenceToMethod(String methodName, Integer offset)	Adds a member reference bytecode offset to the current list of offsets for methodName.
static Integer	getMemberReferenceIndex(String methodName, Integer offset)	Returns the index of the given offset within the list of offsets for the given method, using 0-based indexing, or returns a negative number if the offset is not one of the offsets in the context.
static int	indexOfMemberReferenceTree(TreePath origpath, Tree tree)	Computes the index of the given method invocation amongst all method invocation trees inside its method, using 0-based indexing.
Void	visitMemberReference(MemberReferenceTree node, Void p)

Methods inherited from class org.checkerframework.afu.annotator.scanner.CommonScanner

visitClass

Methods inherited from class com.sun.source.util.TreePathScanner

getCurrentPath, scan, scan

Methods inherited from class com.sun.source.util.TreeScanner

reduce, scan, visitAnnotatedType, visitAnnotation, visitAnyPattern, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBinary, visitBindingPattern, visitBlock, visitBreak, visitCase, visitCatch, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitConstantCaseLabel, visitContinue, visitDeconstructionPattern, visitDefaultCaseLabel, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExports, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberSelect, visitMethod, visitMethodInvocation, visitModifiers, visitModule, visitNewArray, visitNewClass, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitPatternCaseLabel, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitStringTemplate, visitSwitch, visitSwitchExpression, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitUses, visitVariable, visitWhileLoop, visitWildcard, visitYield

Methods inherited from class java.lang.Object

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

Method Details

indexOfMemberReferenceTree

public static int indexOfMemberReferenceTree(TreePath origpath,
 Tree tree)

Computes the index of the given method invocation amongst all method invocation trees inside its method, using 0-based indexing.

Parameters:

origpath - the path ending in the given method invocation tree

tree - the method invocation tree to search for

Returns:

the index of the given method invocation tree

visitMemberReference

public Void visitMemberReference(MemberReferenceTree node,
 Void p)

Specified by:

visitMemberReference in interface TreeVisitor<Void,Void>

Overrides:

visitMemberReference in class TreeScanner<Void,Void>

addMemberReferenceToMethod

public static void addMemberReferenceToMethod(String methodName,
 Integer offset)

Adds a member reference bytecode offset to the current list of offsets for methodName. This method must be called with monotonically increasing offsets for any one method.

Parameters:

methodName - the name of the method

offset - the offset to add

getMemberReferenceIndex

public static Integer getMemberReferenceIndex(String methodName,
 Integer offset)

Returns the index of the given offset within the list of offsets for the given method, using 0-based indexing, or returns a negative number if the offset is not one of the offsets in the context.

Parameters:

methodName - the name of the method

offset - the offset of the lambda expression

Returns:

the index of the given offset, or a negative number if the offset does not exist inside the context