public final class ArgumentsLifter
extends java.lang.Object
Modifier | Constructor and Description |
---|---|
private |
ArgumentsLifter() |
Modifier and Type | Method and Description |
---|---|
static java.util.List<ProofScriptArgument> |
inferScriptArguments(java.lang.Class<?> clazz,
ProofScriptCommand<?> command) |
private static ProofScriptArgument<?> |
lift(Flag flag,
java.lang.reflect.Field field) |
private static ProofScriptArgument<?> |
lift(Option option,
java.lang.reflect.Field field) |
private static ProofScriptArgument<?> |
lift(Varargs vargs,
java.lang.reflect.Field field) |
public static java.util.List<ProofScriptArgument> inferScriptArguments(java.lang.Class<?> clazz, ProofScriptCommand<?> command)
private static ProofScriptArgument<?> lift(Varargs vargs, java.lang.reflect.Field field)
private static ProofScriptArgument<?> lift(Option option, java.lang.reflect.Field field)
private static ProofScriptArgument<?> lift(Flag flag, java.lang.reflect.Field field)