public class FenumVisitor extends org.checkerframework.common.basetype.BaseTypeVisitor<FenumAnnotatedTypeFactory>
Constructor and Description |
---|
FenumVisitor(org.checkerframework.common.basetype.BaseTypeChecker checker) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
checkConstructorInvocation(org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType dt,
org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType constructor,
NewClassTree src) |
protected java.util.Set<? extends javax.lang.model.element.AnnotationMirror> |
getExceptionParameterLowerBoundAnnotations() |
boolean |
isValidUse(org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType declarationType,
org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType useType,
Tree tree) |
java.lang.Void |
visitBinary(BinaryTree node,
java.lang.Void p) |
java.lang.Void |
visitSwitch(SwitchTree node,
java.lang.Void p) |
checkAccess, checkArguments, checkArrayInitialization, checkAssignability, checkConditionalPostcondition, checkContract, checkDefaultConstructor, checkExceptionParameter, checkFieldInvariantDeclarations, checkForAnnotatedJdk, checkMethodInvocability, checkMethodReferenceAsOverride, checkOverride, checkOverride, checkPostcondition, checkPreconditions, checkThrownExpression, checkTypeArguments, checkTypecastRedundancy, checkTypecastSafety, checkVarargs, commonAssignmentCheck, commonAssignmentCheck, commonAssignmentCheck, createOverrideChecker, createTypeFactory, createTypeValidator, enclosingMemberSelect, enclosingStatement, getThrowUpperBoundAnnotations, getTypeFactory, isAccessAllowed, isAssignable, isValidUse, isValidUse, isVectorCopyInto, processClassTree, reportPurityErrors, scan, setRoot, shouldSkipUses, skipReceiverSubtypeCheck, testTypevarContainment, typeCheckVectorCopyIntoArgument, validateType, validateTypeOf, visitAnnotation, visitArrayAccess, visitAssignment, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitEnhancedForLoop, visitIdentifier, visitInstanceOf, visitLambdaExpression, visitMemberReference, visitMethod, visitMethodInvocation, visitNewArray, visitNewClass, visitParameterizedType, visitReturn, visitThrow, visitTypeCast, visitTypeParameter, visitUnary, visitVariable
getCurrentPath, scan
reduce, scan, visitAnnotatedType, visitArrayType, visitAssert, visitBlock, visitBreak, visitCase, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitErroneous, visitExpressionStatement, visitForLoop, visitIf, visitImport, visitIntersectionType, visitLabeledStatement, visitLiteral, visitMemberSelect, visitModifiers, visitOther, visitParenthesized, visitPrimitiveType, visitSynchronized, visitTry, visitUnionType, visitWhileLoop, visitWildcard
public FenumVisitor(org.checkerframework.common.basetype.BaseTypeChecker checker)
public java.lang.Void visitBinary(BinaryTree node, java.lang.Void p)
visitBinary
in interface TreeVisitor<java.lang.Void,java.lang.Void>
visitBinary
in class TreeScanner<java.lang.Void,java.lang.Void>
public java.lang.Void visitSwitch(SwitchTree node, java.lang.Void p)
visitSwitch
in interface TreeVisitor<java.lang.Void,java.lang.Void>
visitSwitch
in class TreeScanner<java.lang.Void,java.lang.Void>
protected boolean checkConstructorInvocation(org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType dt, org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType constructor, NewClassTree src)
checkConstructorInvocation
in class org.checkerframework.common.basetype.BaseTypeVisitor<FenumAnnotatedTypeFactory>
protected java.util.Set<? extends javax.lang.model.element.AnnotationMirror> getExceptionParameterLowerBoundAnnotations()
getExceptionParameterLowerBoundAnnotations
in class org.checkerframework.common.basetype.BaseTypeVisitor<FenumAnnotatedTypeFactory>
public boolean isValidUse(org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType declarationType, org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType useType, Tree tree)
isValidUse
in class org.checkerframework.common.basetype.BaseTypeVisitor<FenumAnnotatedTypeFactory>