public final class PatternUtil
extends java.lang.Object
Modifier and Type | Method | Description |
---|---|---|
static <K,V> java.util.Map<K,V> |
createExtractedMap(java.util.Map<K,V> map,
java.util.Set<K> keys) |
Creates a new map that contains all the entries of the
defsMap whose keys are contained in keys . |
static Definition |
replacePlaceholders(Definition d,
java.lang.String name,
java.lang.Object... varsOrig) |
Creates a definition given its representation with wildcards and
attribute values with placeholders, replacing real values into
placeholders.
|
public static Definition replacePlaceholders(Definition d, java.lang.String name, java.lang.Object... varsOrig)
d
- The definition to replace.name
- The name of the definition to be created.varsOrig
- The variables to be substituted.public static <K,V> java.util.Map<K,V> createExtractedMap(java.util.Map<K,V> map, java.util.Set<K> keys)
defsMap
whose keys are contained in keys
.K
- The key of the map.V
- The value of the map.map
- The map to read.keys
- The keys to extract.Copyright © 2018. All rights reserved.