Mercurial > hg > Members > kono > jpf-core
view build.properties @ 7:b822e7665585
added a @JPFAttribute(TYPE_NAME,...) annotation for model classes (class, field and method target), which causes JPF to automatically set attribute objects that are instantiated from the provided type name args. Note that the respective attribute classes need to have a public default constructor. Added a JPFAttrAnnotationTest to show how to use it. This is the generic mechanism to use if we need to mark ClassInfos, MethodInfos and FieldInfos either from sources (using annotations), or from config files (type names/matchers used from listeners etc.) - base the processing on attributes, and set them from annotations via @JPFAttribute
Refactored MethodInfo linking to happen from Initializer.setMethodDone() so that annotations are already parsed (setMethod() is too early since none of the classfile method attributes are parsed at this point)
author | Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> |
---|---|
date | Fri, 06 Feb 2015 17:28:55 -0800 |
parents | 61d41facf527 |
children |
line wrap: on
line source
#JPF core build info #Fri Jan 13 13:32:58 PST 2012 revision=647\:b8b86ac8f503 date.tip=2012-01-13 13\:30 -0800 author=Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> repository=file\://flyer/Users/pmehlitz/projects/eclipse/jpf-core upstream=http\://babelfish.arc.nasa.gov/hg/jpf/jpf-core java.version=1.6.0_26 os.arch=x86_64 os.name=Mac OS X os.version=10.5.8 user.country=US