Class SvaRange
- java.lang.Object
-
- ru.ispras.verilog.parser.sva.basis.SvaRange
-
- Direct Known Subclasses:
SvaRepetition
public class SvaRange extends java.lang.Object
SvaRange
represents the ranges used in SVA expressions.
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description SvaRange
clone()
VerilogExpression
getMax()
Returns the right expression of the range.VerilogExpression
getMin()
Returns the left expression of the range.ru.ispras.fortress.expression.Node
getNode()
Returns theNode
representation of the range.boolean
isUnbounded()
Shows whether this range is unbounded.void
setMax(VerilogExpression max)
Sets the right expression of the range.void
setMin(VerilogExpression min)
Sets the left expression of the range.void
setNode(ru.ispras.fortress.expression.Node node)
Sets theNode
representation of the range.void
setRange(VerilogRange range)
Sets theVerilogRange
of this range.void
setUnbounded()
Makes this range unbounded.
-
-
-
Constructor Detail
-
SvaRange
public SvaRange()
Creates a new range.
-
SvaRange
protected SvaRange(SvaRange other)
Copy constructor.- Parameters:
other
- - the specified range to copy.
-
-
Method Detail
-
setRange
public void setRange(VerilogRange range)
Sets theVerilogRange
of this range.- Parameters:
range
- - the specified range.
-
getMin
public VerilogExpression getMin()
Returns the left expression of the range.- Returns:
- the left expression.
-
setMin
public void setMin(VerilogExpression min)
Sets the left expression of the range.- Parameters:
min
- - the specified expression.
-
getMax
public VerilogExpression getMax()
Returns the right expression of the range.- Returns:
- the right expression.
-
setMax
public void setMax(VerilogExpression max)
Sets the right expression of the range.- Parameters:
max
- - the specified expression.
-
isUnbounded
public boolean isUnbounded()
Shows whether this range is unbounded.- Returns:
true
if the range is unbounded,false
otherwise.
-
setUnbounded
public void setUnbounded()
Makes this range unbounded.
-
clone
public SvaRange clone()
- Overrides:
clone
in classjava.lang.Object
-
getNode
public ru.ispras.fortress.expression.Node getNode()
Returns theNode
representation of the range.- Returns:
- the corresponding node.
-
setNode
public void setNode(ru.ispras.fortress.expression.Node node)
Sets theNode
representation of the range.- Parameters:
node
- - the specified node.
-
-