Mercurial > hg > Members > kono > jpf-core
diff src/main/gov/nasa/jpf/util/event/EventTree.java @ 2:b920e6b1be83
second part of the jpf-statechart motivated event interface overhaul, providing dynamic (context specific) expansion of EventTrees from within EventChoiceGenerators. This adds a EventContext mechanism that can replace events on-the-fly during advance() (e.g. expand wildcard patterns)
this also included the refined 'vm.extend.transitions' property, which is now a list of TypeSpecs (glob notation plus bounds) for CG types that should be subject to transition extension. We also support CheckExtendTransition attrs for CGs, which can be used to dynamically mark CGs. Note that each matching CG is still tested for non-rescheduling single choices
small Type/FeatureSpec extension to make it applicable to java.lang.Class instances. There is no reason why we can't make use of this for native types
| author | Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> |
|---|---|
| date | Sat, 24 Jan 2015 18:19:08 -0800 |
| parents | 61d41facf527 |
| children | b1790909ebb1 |
line wrap: on
line diff
--- a/src/main/gov/nasa/jpf/util/event/EventTree.java Fri Jan 23 11:08:46 2015 -0800 +++ b/src/main/gov/nasa/jpf/util/event/EventTree.java Sat Jan 24 18:19:08 2015 -0800 @@ -44,7 +44,7 @@ */ public class EventTree extends EventConstructor { - public static final String CONFIG_KEY = "event.class"; + public static final String CONFIG_KEY = "event.tree.class"; protected Event root;