public static enum Condition.Type extends Enum<Condition.Type>
Enum Constant and Description |
---|
ACCUMULATE |
AND |
CONSEQUENCE |
EVAL |
EXISTS |
FORALL |
NOT |
OR |
PATTERN |
QUERY |
TEMPORAL |
Modifier and Type | Method and Description |
---|---|
boolean |
createsScope() |
boolean |
isComposite() |
static Condition.Type |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static Condition.Type[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final Condition.Type PATTERN
public static final Condition.Type EVAL
public static final Condition.Type QUERY
public static final Condition.Type ACCUMULATE
public static final Condition.Type TEMPORAL
public static final Condition.Type OR
public static final Condition.Type AND
public static final Condition.Type NOT
public static final Condition.Type EXISTS
public static final Condition.Type FORALL
public static final Condition.Type CONSEQUENCE
public static Condition.Type[] values()
for (Condition.Type c : Condition.Type.values()) System.out.println(c);
public static Condition.Type valueOf(String name)
name
- the name of the enum constant to be returned.IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is nullpublic boolean isComposite()
public boolean createsScope()
Copyright © 2001–2018 JBoss by Red Hat. All rights reserved.