gov.nasa.jpf.vm

Interface AnnotationParser

All Known Implementing Classes:

JVMAnnotationParser

public interface AnnotationParser

a parser for annotation class files

Method Summary

Modifier and Type	Method and Description
void	parse(AnnotationInfo ai)

Method Detail

parse

void parse(AnnotationInfo ai)
    throws ClassParseException

Throws:

ClassParseException