All Implemented Interfaces:
FromSourceLocation, ToNode, Into<Condition>, TypeCheck

public final class IsSet extends Function
A rule-set function for determining whether a reference parameter is set.
  • Field Details

  • Constructor Details

  • Method Details

    • ofExpression

      public static IsSet ofExpression(Expression expression)
      Returns a new IsSet function taking the given expression as an argument.
      Parameters:
      expression - the argument to IsSet.
      Returns:
      new IsSet instance.
    • typeCheckArgument

      protected Type typeCheckArgument(Scope<Type> scope, Type.Option arg)
    • accept

      public <R> R accept(ExpressionVisitor<R> visitor)
      Description copied from class: Expression
      Invoke the ExpressionVisitor functions for this expression.
      Specified by:
      accept in class Expression
      Type Parameters:
      R - the visitor return type.
      Parameters:
      visitor - the visitor to be invoked.
      Returns:
      the return value of the visitor.
    • getTarget

      public Expression getTarget()
    • typeCheckLocal

      protected Type typeCheckLocal(Scope<Type> scope)
      Specified by:
      typeCheckLocal in class Expression