Mercurial > hg > Members > kono > jpf-core

log src/main/gov/nasa/jpf/vm/ClassInfo.java @ 17:e15b03204dc7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Mon, 23 Mar 2015 12:54:20 -0700 Peter Mehlitz added a @NoJPFExecution annotation, which sets a NoJPFExec system attr on marked
Fri, 06 Feb 2015 17:28:55 -0800 Peter Mehlitz 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
Fri, 23 Jan 2015 10:14:01 -0800 Peter Mehlitz initial v8 import (history reset)
less more | (0) tip