Package | Description |
---|---|
de.uka.ilkd.key.macros.scripts.meta |
Modifier and Type | Method and Description |
---|---|
<T> T |
ValueInjector.inject(ProofScriptCommand<?> command,
T obj,
java.util.Map<java.lang.String,java.lang.String> arguments)
Injects the converted version of the given
arguments in the given obj . |
static <T> T |
ValueInjector.injection(ProofScriptCommand<?> command,
T obj,
java.util.Map<java.lang.String,java.lang.String> arguments)
Injects the given
arguments in the obj . |
Copyright © 2003-2019 The KeY-Project.