Java MethodInfo.getAnnotation Examples

Example #1

File: CoverageAnalyzer.java Project: nunomachado/cortex-tool

 AnnotationInfo getRequirementsAnnotation(MethodInfo mi) {
   // <2do> should probably look for overridden method annotations
   return mi.getAnnotation("gov.nasa.jpf.Requirement");
 }