Package org.checkerframework.afu.scenelib.io.classfile

package 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. This package requires the core ASM package (see http://asm.objectweb.org/ ). The two main methods of this package are ClassFileWriter.insert(org.checkerframework.afu.scenelib.el.AScene, java.lang.String, boolean) for writing annotations to a class file, and ClassFileReader.read(org.checkerframework.afu.scenelib.el.AScene, java.lang.String) for reading annotations from a class file.
  • Class
    Description
    ClassAnnotationSceneReader
    A ClassAnnotationSceneReader is a ClassVisitor that will insert all annotations it encounters while visiting a class into a given AScene.
    ClassAnnotationSceneWriter
    A ClassAnnotationSceneWriter is a ClassVisitor that can be used to write a class file that is the combination of an existing class file and annotations in an AScene.
    ClassFileReader
    A ClassFileReader provides methods for reading in annotations from a class file into an AScene.
    ClassFileWriter
    A ClassFileWriter provides methods for inserting annotations from an AScene into a class file.
    CodeOffsetAdapter
    Tracks offset within a method's Code attribute as its instructions are visited.
    InvalidTypeAnnotationException
    An InvalidTypeAnnotationException indicates that an extended annotation was created with invalid information.