Package org.checkerframework.afu.scenelib.io

Class JavapParser

java.lang.Object

org.checkerframework.afu.scenelib.io.JavapParser

public final class JavapParser
extends Object

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. If the scene's AnnotationFactory announces that it does not want an annotation found in the javap output, that annotation is skipped. Annotations from the javap output are merged into the scene; it is an error if both the scene and the javap output contain annotations of the same type on the same element.

THIS CLASS IS NOT FINISHED YET!

This class does not yet perform any error checking. Expect strange behavior and/or exceptions if you give it bad input.

Method Summary

Modifier and Type	Method	Description
static void	parse(Reader in, AScene scene)	Transfers annotations from in to scene.
static void	parse(String filename, AScene scene)

Methods inherited from class java.lang.Object

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

Method Details

parse

public static void parse(Reader in,
 AScene scene)
                  throws IOException,
ParseException

Transfers annotations from in to scene.

Throws:

IOException

ParseException

parse

public static void parse(String filename,
 AScene scene)
                  throws IOException,
org.plumelib.util.FileIOException

Throws:

IOException

org.plumelib.util.FileIOException