org.checkerframework.framework.stub

Class StubParser

java.lang.Object

org.checkerframework.framework.stub.StubParser

public class StubParser
extends java.lang.Object

Given a stub file, yields the annotated types in it and the declaration annotations in it. The main entry point is parse(String, InputStream, AnnotatedTypeFactory, ProcessingEnvironment, Map, Map), which side-effects its last two arguments.

The constructor acts in two parts. First, it calls the Stub Parser to parse a stub file. Then, itis walks the Stub Parser's AST to create/collect types and declaration annotations.

Constructor Summary

Constructors

Constructor and Description

StubParser(java.lang.String filename, AnnotatedTypeFactory atypeFactory, javax.annotation.processing.ProcessingEnvironment processingEnv, java.util.Map<javax.lang.model.element.Element,AnnotatedTypeMirror> atypes, java.util.Map<java.lang.String,java.util.Set<javax.lang.model.element.AnnotationMirror>> declAnnos) Create a new StubParser object, which will parse and extract annotations from the given stub file.

Method Summary

Modifier and Type	Method and Description
static void	parse(java.lang.String filename, java.io.InputStream inputStream, AnnotatedTypeFactory atypeFactory, javax.annotation.processing.ProcessingEnvironment processingEnv, java.util.Map<javax.lang.model.element.Element,AnnotatedTypeMirror> atypes, java.util.Map<java.lang.String,java.util.Set<javax.lang.model.element.AnnotationMirror>> declAnnos) The main entry point.

Methods inherited from class java.lang.Object

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

Constructor Detail

StubParser

public StubParser(java.lang.String filename,
                  AnnotatedTypeFactory atypeFactory,
                  javax.annotation.processing.ProcessingEnvironment processingEnv,
                  java.util.Map<javax.lang.model.element.Element,AnnotatedTypeMirror> atypes,
                  java.util.Map<java.lang.String,java.util.Set<javax.lang.model.element.AnnotationMirror>> declAnnos)

Create a new StubParser object, which will parse and extract annotations from the given stub file.

Parameters:

filename - name of stub file, used only for diagnostic messages

atypeFactory - AnnotatedtypeFactory to use

processingEnv - ProcessingEnviroment to use

Method Detail

parse

public static void parse(java.lang.String filename,
                         java.io.InputStream inputStream,
                         AnnotatedTypeFactory atypeFactory,
                         javax.annotation.processing.ProcessingEnvironment processingEnv,
                         java.util.Map<javax.lang.model.element.Element,AnnotatedTypeMirror> atypes,
                         java.util.Map<java.lang.String,java.util.Set<javax.lang.model.element.AnnotationMirror>> declAnnos)

The main entry point. Parse a stub file and side-effects the last two arguments.

Parameters:

filename - name of stub file, used only for diagnostic messages

inputStream - of stub file to parse

atypeFactory - AnnotatedtypeFactory to use

processingEnv - ProcessingEnviroment to use