Package org.checkerframework.afu.scenelib.io

package org.checkerframework.afu.scenelib.io

org.checkerframework.afu.scenelib.io provides classes for the input and output of AScenes to/from various formats.

Related Packages

Package	Description
org.checkerframework.afu.scenelib	The Annotation Scene Library provides classes to represent the annotations on a Java program and read and write those annotations in various formats.
org.checkerframework.afu.scenelib.io.classfile	org.checkerframework.afu.scenelib.io.classfile provides methods for writing AScenes to Java class files and reading in annotations from a Java class file into an AScene.

Class	Description
ASTIndex	Cache of ASTPath data for the nodes of a compilation unit tree.
ASTPath	A path through the AST.
ASTPath.ASTEntry	A single entry in an AST path.
ASTRecord	Structure bundling an ASTPath with information about its starting point.
DebugWriter	Performs output to System.out.
IndexFileParser	IndexFileParser provides static methods IndexFileParser.parse(LineNumberReader, String, AScene), IndexFileParser.parseFile(String, AScene), and IndexFileParser.parseString(String, String, AScene).
IndexFileWriter	IndexFileWriter provides two static methods named write that write a given AScene to a given Writer or filename, in index file format.
JavapParser	JavapParser provides a static method that parses a class dump in the form produced by xjavap -s -verbose -annotations and adds the annotations to an AScene, using the scene's AnnotationFactory to build individual annotations.
ParseException	Thrown when index file or javap parsing fails.