Class SvaRepetition
- java.lang.Object
-
- ru.ispras.verilog.parser.sva.basis.SvaRange
-
- ru.ispras.verilog.parser.sva.basis.SvaRepetition
-
public final class SvaRepetition extends SvaRange
SvaRepetition
represents the SVA repetition operation.
-
-
Constructor Summary
Constructors Constructor Description SvaRepetition()
Creates a new repetition.SvaRepetition(SvaRange other)
Constructs a new repetition using the range.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description SvaRepetition
clone()
SvaTemporalOperations
getType()
Returns the repetition type.void
setType(SvaTemporalOperations type)
Sets the repetition type.-
Methods inherited from class ru.ispras.verilog.parser.sva.basis.SvaRange
getMax, getMin, getNode, isUnbounded, setMax, setMin, setNode, setRange, setUnbounded
-
-
-
-
Method Detail
-
getType
public SvaTemporalOperations getType()
Returns the repetition type.- Returns:
- the repetition type.
-
setType
public void setType(SvaTemporalOperations type)
Sets the repetition type.- Parameters:
type
- - the specified type.
-
clone
public SvaRepetition clone()
-
-