Mercurial > hg > Members > kono > jpf-core

view README @ 7:b822e7665585

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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

                          Java PathFinder README
                          ======================

========General Information about JPF ===================

All the latest developments, changes, documentation can
be found at: 

http://babelfish.arc.nasa.gov/trac/jpf/wiki


========Building and Installing =========================

If you are having problems installing and running JPF
please look at the documentation on the wiki at:

http://babelfish.arc.nasa.gov/trac/jpf/wiki/install/start

A lot of the commonly problems during the install and build
process have been documented on the wiki. Please make sure
that the the issue you are running into is not addressed
there; if is not then feel free to contact us at
java-pathfinder@googlegroups.com


======Documentation======================================

There is a constant effort to update and add JPF
documentation on the wiki. If you would like to contribute
in that, please contact us at
java-pathfinder@googlegroups.com



Happy Verification
-- the Java PathFinder team