Enum SvaTemporalOperations
- java.lang.Object
-
- java.lang.Enum<SvaTemporalOperations>
-
- ru.ispras.verilog.parser.sva.basis.SvaTemporalOperations
-
- All Implemented Interfaces:
java.io.Serializable
,java.lang.Comparable<SvaTemporalOperations>
public enum SvaTemporalOperations extends java.lang.Enum<SvaTemporalOperations>
SvaTemporalOperations
represents the SVA sequence/property operations.
-
-
Enum Constant Summary
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static SvaTemporalOperations
getRangedOp(SvaTemporalOperations operation)
static SvaTemporalOperations
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.static SvaTemporalOperations[]
values()
Returns an array containing the constants of this enum type, in the order they are declared.
-
-
-
Enum Constant Detail
-
CONSECUTIVE_REP
public static final SvaTemporalOperations CONSECUTIVE_REP
-
NON_CONSECUTIVE_REP
public static final SvaTemporalOperations NON_CONSECUTIVE_REP
-
GOTO_REP
public static final SvaTemporalOperations GOTO_REP
-
DELAY
public static final SvaTemporalOperations DELAY
-
THROUGHOUT
public static final SvaTemporalOperations THROUGHOUT
-
WITHIN
public static final SvaTemporalOperations WITHIN
-
INTERSECT
public static final SvaTemporalOperations INTERSECT
-
FIRST_MATCH
public static final SvaTemporalOperations FIRST_MATCH
-
STRONG
public static final SvaTemporalOperations STRONG
-
WEAK
public static final SvaTemporalOperations WEAK
-
NOT
public static final SvaTemporalOperations NOT
-
NEXTTIME
public static final SvaTemporalOperations NEXTTIME
-
S_NEXTTIME
public static final SvaTemporalOperations S_NEXTTIME
-
AND
public static final SvaTemporalOperations AND
-
OR
public static final SvaTemporalOperations OR
-
IFF
public static final SvaTemporalOperations IFF
-
UNTIL
public static final SvaTemporalOperations UNTIL
-
S_UNTIL
public static final SvaTemporalOperations S_UNTIL
-
UNTIL_WITH
public static final SvaTemporalOperations UNTIL_WITH
-
S_UNTIL_WITH
public static final SvaTemporalOperations S_UNTIL_WITH
-
IMPLIES
public static final SvaTemporalOperations IMPLIES
-
OVERLAPPED_IMPL
public static final SvaTemporalOperations OVERLAPPED_IMPL
-
NON_OVERLAPPED_IMPL
public static final SvaTemporalOperations NON_OVERLAPPED_IMPL
-
OVERLAPPED_FOLLOW
public static final SvaTemporalOperations OVERLAPPED_FOLLOW
-
NON_OVERLAPPED_FOLLOW
public static final SvaTemporalOperations NON_OVERLAPPED_FOLLOW
-
ALWAYS
public static final SvaTemporalOperations ALWAYS
-
S_ALWAYS
public static final SvaTemporalOperations S_ALWAYS
-
RANGED_ALWAYS
public static final SvaTemporalOperations RANGED_ALWAYS
-
EVENTUALLY
public static final SvaTemporalOperations EVENTUALLY
-
S_EVENTUALLY
public static final SvaTemporalOperations S_EVENTUALLY
-
RANGED_S_EVENTUALLY
public static final SvaTemporalOperations RANGED_S_EVENTUALLY
-
ACCEPT_ON
public static final SvaTemporalOperations ACCEPT_ON
-
REJECT_ON
public static final SvaTemporalOperations REJECT_ON
-
SYNC_ACCEPT_ON
public static final SvaTemporalOperations SYNC_ACCEPT_ON
-
SYNC_REJECT_ON
public static final SvaTemporalOperations SYNC_REJECT_ON
-
ITE
public static final SvaTemporalOperations ITE
-
CASE
public static final SvaTemporalOperations CASE
-
RANGE
public static final SvaTemporalOperations RANGE
-
SEQ_INSTANCE
public static final SvaTemporalOperations SEQ_INSTANCE
-
PROP_INSTANCE
public static final SvaTemporalOperations PROP_INSTANCE
-
ZERO_OR_MORE
public static final SvaTemporalOperations ZERO_OR_MORE
-
ONE_OR_MORE
public static final SvaTemporalOperations ONE_OR_MORE
-
-
Method Detail
-
values
public static SvaTemporalOperations[] values()
Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:for (SvaTemporalOperations c : SvaTemporalOperations.values()) System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
public static SvaTemporalOperations valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)- Parameters:
name
- the name of the enum constant to be returned.- Returns:
- the enum constant with the specified name
- Throws:
java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is null
-
getRangedOp
public static SvaTemporalOperations getRangedOp(SvaTemporalOperations operation)
-
-