public static enum BasicPOSnippetFactory.Snippet extends java.lang.Enum<BasicPOSnippetFactory.Snippet>
Modifier and Type | Field and Description |
---|---|
java.lang.Class<?> |
c |
Modifier and Type | Method and Description |
---|---|
static BasicPOSnippetFactory.Snippet |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static BasicPOSnippetFactory.Snippet[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final BasicPOSnippetFactory.Snippet FREE_PRE
public static final BasicPOSnippetFactory.Snippet FREE_INV
public static final BasicPOSnippetFactory.Snippet CONTRACT_PRE
public static final BasicPOSnippetFactory.Snippet CONTRACT_POST
public static final BasicPOSnippetFactory.Snippet CONTRACT_MOD
public static final BasicPOSnippetFactory.Snippet CONTRACT_DEP
public static final BasicPOSnippetFactory.Snippet LOOP_INV
public static final BasicPOSnippetFactory.Snippet SYMBOLIC_EXEC
public static final BasicPOSnippetFactory.Snippet SYMBOLIC_EXEC_WITH_PRE
public static final BasicPOSnippetFactory.Snippet LOOP_EXEC
public static final BasicPOSnippetFactory.Snippet LOOP_EXEC_WITH_INV
public static final BasicPOSnippetFactory.Snippet BLOCK_EXEC
public static final BasicPOSnippetFactory.Snippet BLOCK_EXEC_WITH_PRE
public static final BasicPOSnippetFactory.Snippet METHOD_CALL_RELATION
public static final BasicPOSnippetFactory.Snippet LOOP_CALL_RELATION
public static final BasicPOSnippetFactory.Snippet BLOCK_CALL_RELATION
public static final BasicPOSnippetFactory.Snippet SELF_NOT_NULL
public static final BasicPOSnippetFactory.Snippet SELF_CREATED
public static final BasicPOSnippetFactory.Snippet SELF_EXACT_TYPE
public static final BasicPOSnippetFactory.Snippet PARAMS_OK
public static final BasicPOSnippetFactory.Snippet MBY_AT_PRE_DEF
public static BasicPOSnippetFactory.Snippet[] values()
for (BasicPOSnippetFactory.Snippet c : BasicPOSnippetFactory.Snippet.values()) System.out.println(c);
public static BasicPOSnippetFactory.Snippet valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is null