Mercurial > hg > Members > kono > jpf-core
view bin/jpf.bat @ 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
REM REM overly simplified batch file to start JPF from a command prompt REM @echo off REM Set the JPF_HOME directory set JPF_HOME=%~dp0.. set JVM_FLAGS=-Xmx1024m -ea java %JVM_FLAGS% -jar "%JPF_HOME%\build\RunJPF.jar" %*