Class Condition.ConditionVar

  • All Implemented Interfaces:
    Condition
    Enclosing interface:
    Condition

    public static class Condition.ConditionVar
    extends Condition.ConditionRel
    Represents a condition composed of a relational operator and a variable as operand.
    • Field Detail

      • x

        public IVar x
        The variable that represents the operand of the condition.
    • Constructor Detail

      • ConditionVar

        public ConditionVar​(Types.TypeConditionOperatorRel operator,
                            IVar x)
        Constructs a condition composed of the specified relational operator and the specified variable as (right) operand
        Parameters:
        operator - a relational operator
        x - a variable
    • Method Detail

      • involvedVar

        public IVar involvedVar()
        Description copied from interface: Condition
        Returns the variable involved in the condition, if one is present, null otherwise.
        Returns:
        the variable involved in the condition, if one is present, null otherwise
      • rightTerm

        public Object rightTerm()