ToIndexFileConverter (checker-framework 2.11.0 API)

java.lang.Object
- com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,scenelib.annotations.el.AElement>
- - org.checkerframework.framework.stub.ToIndexFileConverter

All Implemented Interfaces:

com.github.javaparser.ast.visitor.GenericVisitor<Void,scenelib.annotations.el.AElement>
```
public class ToIndexFileConverter
extends com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,scenelib.annotations.el.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 and Description
`ToIndexFileConverter(com.github.javaparser.ast.PackageDeclaration pkgDecl, List<com.github.javaparser.ast.ImportDeclaration> importDecls, scenelib.annotations.el.AScene scene)`

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`static void`	`main(String[] args)` Parse stub files and write out equivalent JAIFs.
`Void`	`visit(com.github.javaparser.ast.body.AnnotationDeclaration decl, scenelib.annotations.el.AElement elem)`
`Void`	`visit(com.github.javaparser.ast.stmt.BlockStmt stmt, scenelib.annotations.el.AElement elem)`
`Void`	`visit(com.github.javaparser.ast.body.ClassOrInterfaceDeclaration decl, scenelib.annotations.el.AElement elem)`
`Void`	`visit(com.github.javaparser.ast.body.ConstructorDeclaration decl, scenelib.annotations.el.AElement elem)`
`Void`	`visit(com.github.javaparser.ast.body.EnumConstantDeclaration decl, scenelib.annotations.el.AElement elem)`
`Void`	`visit(com.github.javaparser.ast.body.EnumDeclaration decl, scenelib.annotations.el.AElement elem)`
`Void`	`visit(com.github.javaparser.ast.body.FieldDeclaration decl, scenelib.annotations.el.AElement elem)`
`Void`	`visit(com.github.javaparser.ast.body.InitializerDeclaration decl, scenelib.annotations.el.AElement elem)`
`Void`	`visit(com.github.javaparser.ast.body.MethodDeclaration decl, scenelib.annotations.el.AElement elem)`
`Void`	`visit(com.github.javaparser.ast.expr.ObjectCreationExpr expr, scenelib.annotations.el.AElement elem)`
`Void`	`visit(com.github.javaparser.ast.expr.VariableDeclarationExpr expr, scenelib.annotations.el.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

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - ToIndexFileConverter
```
public ToIndexFileConverter(com.github.javaparser.ast.PackageDeclaration pkgDecl,
                            List<com.github.javaparser.ast.ImportDeclaration> importDecls,
                            scenelib.annotations.el.AScene scene)
```
    Parameters:
    
    pkgDecl - AST node for package declaration
    
    importDecls - AST nodes for import declarations
    
    scene - scene for visitor methods to fill in
- Method Detail
  - 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,
                  scenelib.annotations.el.AElement elem)
```
    Specified by:
    
    visit in interface com.github.javaparser.ast.visitor.GenericVisitor<Void,scenelib.annotations.el.AElement>
    
    Overrides:
    
    visit in class com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,scenelib.annotations.el.AElement>
  - visit
```
public Void visit(com.github.javaparser.ast.stmt.BlockStmt stmt,
                  scenelib.annotations.el.AElement elem)
```
    Specified by:
    
    visit in interface com.github.javaparser.ast.visitor.GenericVisitor<Void,scenelib.annotations.el.AElement>
    
    Overrides:
    
    visit in class com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,scenelib.annotations.el.AElement>
  - visit
```
public Void visit(com.github.javaparser.ast.body.ClassOrInterfaceDeclaration decl,
                  scenelib.annotations.el.AElement elem)
```
    Specified by:
    
    visit in interface com.github.javaparser.ast.visitor.GenericVisitor<Void,scenelib.annotations.el.AElement>
    
    Overrides:
    
    visit in class com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,scenelib.annotations.el.AElement>
  - visit
```
public Void visit(com.github.javaparser.ast.body.ConstructorDeclaration decl,
                  scenelib.annotations.el.AElement elem)
```
    Specified by:
    
    visit in interface com.github.javaparser.ast.visitor.GenericVisitor<Void,scenelib.annotations.el.AElement>
    
    Overrides:
    
    visit in class com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,scenelib.annotations.el.AElement>
  - visit
```
public Void visit(com.github.javaparser.ast.body.EnumConstantDeclaration decl,
                  scenelib.annotations.el.AElement elem)
```
    Specified by:
    
    visit in interface com.github.javaparser.ast.visitor.GenericVisitor<Void,scenelib.annotations.el.AElement>
    
    Overrides:
    
    visit in class com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,scenelib.annotations.el.AElement>
  - visit
```
public Void visit(com.github.javaparser.ast.body.EnumDeclaration decl,
                  scenelib.annotations.el.AElement elem)
```
    Specified by:
    
    visit in interface com.github.javaparser.ast.visitor.GenericVisitor<Void,scenelib.annotations.el.AElement>
    
    Overrides:
    
    visit in class com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,scenelib.annotations.el.AElement>
  - visit
```
public Void visit(com.github.javaparser.ast.body.FieldDeclaration decl,
                  scenelib.annotations.el.AElement elem)
```
    Specified by:
    
    visit in interface com.github.javaparser.ast.visitor.GenericVisitor<Void,scenelib.annotations.el.AElement>
    
    Overrides:
    
    visit in class com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,scenelib.annotations.el.AElement>
  - visit
```
public Void visit(com.github.javaparser.ast.body.InitializerDeclaration decl,
                  scenelib.annotations.el.AElement elem)
```
    Specified by:
    
    visit in interface com.github.javaparser.ast.visitor.GenericVisitor<Void,scenelib.annotations.el.AElement>
    
    Overrides:
    
    visit in class com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,scenelib.annotations.el.AElement>
  - visit
```
public Void visit(com.github.javaparser.ast.body.MethodDeclaration decl,
                  scenelib.annotations.el.AElement elem)
```
    Specified by:
    
    visit in interface com.github.javaparser.ast.visitor.GenericVisitor<Void,scenelib.annotations.el.AElement>
    
    Overrides:
    
    visit in class com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,scenelib.annotations.el.AElement>
  - visit
```
public Void visit(com.github.javaparser.ast.expr.ObjectCreationExpr expr,
                  scenelib.annotations.el.AElement elem)
```
    Specified by:
    
    visit in interface com.github.javaparser.ast.visitor.GenericVisitor<Void,scenelib.annotations.el.AElement>
    
    Overrides:
    
    visit in class com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,scenelib.annotations.el.AElement>
  - visit
```
public Void visit(com.github.javaparser.ast.expr.VariableDeclarationExpr expr,
                  scenelib.annotations.el.AElement elem)
```
    Specified by:
    
    visit in interface com.github.javaparser.ast.visitor.GenericVisitor<Void,scenelib.annotations.el.AElement>
    
    Overrides:
    
    visit in class com.github.javaparser.ast.visitor.GenericVisitorAdapter<Void,scenelib.annotations.el.AElement>

Class ToIndexFileConverter

Constructor Summary

Method Summary

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

Methods inherited from class java.lang.Object

Constructor Detail

ToIndexFileConverter

Method Detail

main

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit