Package org.checkerframework.framework.stub

Class ToIndexFileConverter

java.lang.Object
com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,AElement>
org.checkerframework.framework.stub.ToIndexFileConverter
All Implemented Interfaces:
com.github.javaparser.ast.visitor.GenericVisitor<Void,AElement>
public class ToIndexFileConverter extends com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,AElement>
Convert a JAIF file plus a stub file into index files (JAIFs). Note that the resulting index files will not include annotation definitions, for which stubfiles do not generally provide complete information.

An instance of the class represents conversion of 1 stub file, but the static main(String[]) method converts multiple stub files, instantiating the class multiple times.

  • Constructor Summary

    Constructors
    Constructor
    Description
    ToIndexFileConverter(@Nullable com.github.javaparser.ast.PackageDeclaration pkgDecl, List<com.github.javaparser.ast.ImportDeclaration> importDecls, AScene scene)
    Creates a new ToIndexFileConverter.

  • Method Summary

    Modifier and Type
    Method
    Description
    static void
    main(String[] args)
    Parse stub files and write out equivalent JAIFs.
    Void
    visit(com.github.javaparser.ast.body.AnnotationDeclaration decl, AElement elem)
     
    Void
    visit(com.github.javaparser.ast.body.ClassOrInterfaceDeclaration decl, AElement elem)
     
    Void
    visit(com.github.javaparser.ast.body.ConstructorDeclaration decl, AElement elem)
     
    Void
    visit(com.github.javaparser.ast.body.EnumConstantDeclaration decl, AElement elem)
     
    Void
    visit(com.github.javaparser.ast.body.EnumDeclaration decl, AElement elem)
     
    Void
    visit(com.github.javaparser.ast.body.FieldDeclaration decl, AElement elem)
     
    Void
    visit(com.github.javaparser.ast.body.InitializerDeclaration decl, AElement elem)
     
    Void
    visit(com.github.javaparser.ast.body.MethodDeclaration decl, AElement elem)
     
    Void
    visit(com.github.javaparser.ast.expr.ObjectCreationExpr expr, AElement elem)
     
    Void
    visit(com.github.javaparser.ast.expr.VariableDeclarationExpr expr, AElement elem)
     
    Void
    visit(com.github.javaparser.ast.stmt.BlockStmt stmt, AElement elem)
     

    Methods inherited from class com.github.javaparser.ast.visitor.GenericVisitorAdapter

    visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • ToIndexFileConverter

      public ToIndexFileConverter(@Nullable com.github.javaparser.ast.PackageDeclaration pkgDecl, List<com.github.javaparser.ast.ImportDeclaration> importDecls, AScene scene)
      Creates a new ToIndexFileConverter.
      Parameters:
      pkgDecl - the AST node for package declaration
      importDecls - the AST nodes for import declarations
      scene - scene for visitor methods to fill in

  • Method Details

    • main

      public static void main(String[] args)
      Parse stub files and write out equivalent JAIFs. Note that the results do not include annotation definitions, for which stubfiles do not generally provide complete information.
      Parameters:
      args - name of JAIF with annotation definition, followed by names of stub files to be converted (if none given, program reads from standard input)

    • visit

      public Void visit(com.github.javaparser.ast.body.AnnotationDeclaration decl, AElement elem)
      Specified by:
      visit in interface com.github.javaparser.ast.visitor.GenericVisitor<Void,AElement>
      Overrides:
      visit in class com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,AElement>

    • visit

      public Void visit(com.github.javaparser.ast.stmt.BlockStmt stmt, AElement elem)
      Specified by:
      visit in interface com.github.javaparser.ast.visitor.GenericVisitor<Void,AElement>
      Overrides:
      visit in class com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,AElement>

    • visit

      public Void visit(com.github.javaparser.ast.body.ClassOrInterfaceDeclaration decl, AElement elem)
      Specified by:
      visit in interface com.github.javaparser.ast.visitor.GenericVisitor<Void,AElement>
      Overrides:
      visit in class com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,AElement>

    • visit

      public Void visit(com.github.javaparser.ast.body.ConstructorDeclaration decl, AElement elem)
      Specified by:
      visit in interface com.github.javaparser.ast.visitor.GenericVisitor<Void,AElement>
      Overrides:
      visit in class com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,AElement>

    • visit

      public Void visit(com.github.javaparser.ast.body.EnumConstantDeclaration decl, AElement elem)
      Specified by:
      visit in interface com.github.javaparser.ast.visitor.GenericVisitor<Void,AElement>
      Overrides:
      visit in class com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,AElement>

    • visit

      public Void visit(com.github.javaparser.ast.body.EnumDeclaration decl, AElement elem)
      Specified by:
      visit in interface com.github.javaparser.ast.visitor.GenericVisitor<Void,AElement>
      Overrides:
      visit in class com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,AElement>

    • visit

      public Void visit(com.github.javaparser.ast.body.FieldDeclaration decl, AElement elem)
      Specified by:
      visit in interface com.github.javaparser.ast.visitor.GenericVisitor<Void,AElement>
      Overrides:
      visit in class com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,AElement>

    • visit

      public Void visit(com.github.javaparser.ast.body.InitializerDeclaration decl, AElement elem)
      Specified by:
      visit in interface com.github.javaparser.ast.visitor.GenericVisitor<Void,AElement>
      Overrides:
      visit in class com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,AElement>

    • visit

      public Void visit(com.github.javaparser.ast.body.MethodDeclaration decl, AElement elem)
      Specified by:
      visit in interface com.github.javaparser.ast.visitor.GenericVisitor<Void,AElement>
      Overrides:
      visit in class com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,AElement>

    • visit

      public Void visit(com.github.javaparser.ast.expr.ObjectCreationExpr expr, AElement elem)
      Specified by:
      visit in interface com.github.javaparser.ast.visitor.GenericVisitor<Void,AElement>
      Overrides:
      visit in class com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,AElement>

    • visit

      public Void visit(com.github.javaparser.ast.expr.VariableDeclarationExpr expr, AElement elem)
      Specified by:
      visit in interface com.github.javaparser.ast.visitor.GenericVisitor<Void,AElement>
      Overrides:
      visit in class com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,AElement>