public final class ArgumentsLifter
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static java.util.List<ProofScriptArgument> |
inferScriptArguments(java.lang.Class<?> clazz,
ProofScriptCommand<?> command) |
public static java.util.List<ProofScriptArgument> inferScriptArguments(java.lang.Class<?> clazz, ProofScriptCommand<?> command)
Copyright © 2003-2019 The KeY-Project.