log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
hg
>
Members
>
kono
>
jpf-core
log src/main/gov/nasa/jpf/util/event/EventContext.java @ 2:
b920e6b1be83
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
tip
age
author
description
Sat, 24 Jan 2015 18:19:08 -0800
Peter Mehlitz
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)
base
src/main/gov/nasa/jpf/util/event/ContextEventExpander.java@896a880d428c
less
more
|
(0)
tip