public class ProofScriptArgument<T>
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private ProofScriptCommand<T> |
command |
private java.lang.String |
documentation
Holds the documentation of this argument.
|
private java.lang.reflect.Field |
field |
private boolean |
flag |
private java.lang.String |
name |
private boolean |
required |
private java.lang.Class<?> |
type |
private boolean |
variableArguments
is an argument ellipsis
|
Constructor and Description |
---|
ProofScriptArgument() |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
ProofScriptCommand<T> |
getCommand() |
java.lang.String |
getDocumentation()
Documentation for this argument.
|
java.lang.reflect.Field |
getField() |
java.lang.String |
getName() |
java.lang.Class<?> |
getType() |
int |
hashCode() |
boolean |
hasVariableArguments() |
boolean |
isFlag() |
boolean |
isRequired() |
ProofScriptArgument<T> |
setCommand(ProofScriptCommand<T> command) |
ProofScriptArgument<T> |
setDocumentation(java.lang.String documentation)
Documentation for this argument.
|
void |
setField(java.lang.reflect.Field field) |
ProofScriptArgument<T> |
setFlag(boolean flag) |
ProofScriptArgument<T> |
setName(java.lang.String name) |
ProofScriptArgument<T> |
setRequired(boolean required) |
ProofScriptArgument<T> |
setType(java.lang.Class<?> type) |
ProofScriptArgument<T> |
setVariableArguments(boolean hasVariableArguments) |
private ProofScriptCommand<T> command
private java.lang.String name
private java.lang.Class<?> type
private boolean required
private boolean flag
private java.lang.reflect.Field field
private boolean variableArguments
private java.lang.String documentation
public ProofScriptCommand<T> getCommand()
public ProofScriptArgument<T> setCommand(ProofScriptCommand<T> command)
public java.lang.String getName()
public ProofScriptArgument<T> setName(java.lang.String name)
public java.lang.Class<?> getType()
public ProofScriptArgument<T> setType(java.lang.Class<?> type)
public boolean isRequired()
public ProofScriptArgument<T> setRequired(boolean required)
public boolean isFlag()
public ProofScriptArgument<T> setFlag(boolean flag)
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.reflect.Field getField()
public void setField(java.lang.reflect.Field field)
public java.lang.String getDocumentation()
public ProofScriptArgument<T> setDocumentation(java.lang.String documentation)
documentation
- a stringpublic ProofScriptArgument<T> setVariableArguments(boolean hasVariableArguments)
public boolean hasVariableArguments()