public final class PushDefaults extends java.lang.Object implements DefaultsForm
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
P_PUSH |
Constructor and Description |
---|
PushDefaults() |
public static final java.lang.String P_PUSH
public static final Parameter base()