Class Not

    • Method Detail

      • ofExpression

        public static Not ofExpression​(Expression expression)
        Constructs a Not function with the given expression as argument.
        Parameters:
        expression - the expression to pass to Not.
        Returns:
        the Not function.
      • getTarget

        public Expression getTarget()
        Returns the expression argument to Not.
        Returns:
        the expression argument.
      • 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.
      • typeCheckLocal

        public Type typeCheckLocal​(Scope<Type> scope)