Mercurial > hg > Members > kono > jpf-core
comparison src/main/gov/nasa/jpf/util/TypeSpec.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 |
comparison
equal
deleted
inserted
replaced
1:f6886b2bda4a | 2:b920e6b1be83 |
---|---|
53 | 53 |
54 @Override | 54 @Override |
55 public boolean matches (Object o){ | 55 public boolean matches (Object o){ |
56 if (o instanceof ClassInfo){ | 56 if (o instanceof ClassInfo){ |
57 return matches( (ClassInfo) o); | 57 return matches( (ClassInfo) o); |
58 } else if (o instanceof Class){ | |
59 return matches( (Class)o); | |
58 } else { | 60 } else { |
59 return false; | 61 return false; |
60 } | 62 } |
63 } | |
64 | |
65 public boolean matches (Class<?> cls){ | |
66 return isMatchingType(cls); | |
61 } | 67 } |
62 | 68 |
63 public boolean matches (ClassInfo ci){ | 69 public boolean matches (ClassInfo ci){ |
64 return isMatchingType(ci); | 70 return isMatchingType(ci); |
65 } | 71 } |