Class SvaRange

  • Direct Known Subclasses:
    SvaRepetition

    public class SvaRange
    extends java.lang.Object
    SvaRange represents the ranges used in SVA expressions.
    • 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 the VerilogRange 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 class java.lang.Object
      • getNode

        public ru.ispras.fortress.expression.Node getNode()
        Returns the Node representation of the range.
        Returns:
        the corresponding node.
      • setNode

        public void setNode​(ru.ispras.fortress.expression.Node node)
        Sets the Node representation of the range.
        Parameters:
        node - - the specified node.