Struct CallExpression 

#[repr(C)]
pub struct CallExpression<'a> {
    pub span: Span,
    pub callee: Expression<'a>,
    pub type_arguments: Option<Box<'a, TSTypeParameterInstantiation<'a>>>,
    pub arguments: Vec<'a, Argument<'a>>,
    pub optional: bool,
    pub pure: bool,
}

foo() in function foo() { return 1; }; foo();

Represents a call expression, which can include a callee and arguments.

Examples

//        ___ callee
const x = foo(1, 2)

//            ^^^^ arguments
const y = foo.bar?.(1, 2)
//               ^ optional

const z = foo<number, string>(1, 2)
//            ^^^^^^^^^^^^^^ type_arguments

Fields

span: Span

callee: Expression<'a>

type_arguments: Option<Box<'a, TSTypeParameterInstantiation<'a>>>

arguments: Vec<'a, Argument<'a>>

optional: bool

pure: bool

true if the call expression is marked with a /* @__PURE__ */ comment

Implementations

impl CallExpression<'_>

pub fn callee_name(&self) -> Option<&str>

Returns the static name of the callee, if it has one, or None otherwise.

pub fn is_require_call(&self) -> bool

Returns true if this CallExpression matches one of these patterns:

require('string')
require(`string`)
require(`foo${bar}qux`) // Any number of expressions and quasis

pub fn is_symbol_or_symbol_for_call(&self) -> bool

Returns true if this CallExpression is a call to Symbol or Symbol.for.

pub fn common_js_require(&self) -> Option<&StringLiteral<'_>>

Returns true if this looks like a call to require in CommonJS (has a single string argument):

require('string') // => true
require('string', 'string') // => false
require() // => false
require(123) // => false

pub fn arguments_span(&self) -> Option<Span>

Returns the span covering all arguments in this call expression.

The span starts at the beginning of the first argument and ends at the end of the last argument (inclusive).

Examples

foo(bar, baz);
//  ^^^^^^^^  <- arguments_span() covers this range

If the call expression has no arguments, None is returned.

Trait Implementations

impl<'new_alloc> CloneIn<'new_alloc> for CallExpression<'_>

type Cloned = CallExpression<'new_alloc>

The type of the cloned object.

fn clone_in( &self, allocator: &'new_alloc Allocator, ) -> <CallExpression<'_> as CloneIn<'new_alloc>>::Cloned

Clone self into the given allocator. allocator may be the same one that self is already in.

fn clone_in_with_semantic_ids( &self, allocator: &'new_alloc Allocator, ) -> <CallExpression<'_> as CloneIn<'new_alloc>>::Cloned

Almost identical as clone_in, but for some special type, it will also clone the semantic ids. Please use this method only if you make sure semantic info is synced with the ast node.

impl<'a> ConstantEvaluation<'a> for CallExpression<'a>

fn evaluate_value_to( &self, ctx: &impl ConstantEvaluationCtx<'a>, _target_ty: Option<ValueType>, ) -> Option<ConstantValue<'a>>

Evaluate the expression to a constant value.

fn evaluate_value( &self, ctx: &impl ConstantEvaluationCtx<'a>, ) -> Option<ConstantValue<'a>>

Evaluate the expression to a constant value.

fn evaluate_value_to_number( &self, ctx: &impl ConstantEvaluationCtx<'a>, ) -> Option<f64>

Evaluate the expression to a constant value and convert it to a number.

fn evaluate_value_to_bigint( &self, ctx: &impl ConstantEvaluationCtx<'a>, ) -> Option<BigInt>

Evaluate the expression to a constant value and convert it to a bigint.

fn evaluate_value_to_boolean( &self, ctx: &impl ConstantEvaluationCtx<'a>, ) -> Option<bool>

Evaluate the expression to a constant value and convert it to a boolean.

fn evaluate_value_to_string( &self, ctx: &impl ConstantEvaluationCtx<'a>, ) -> Option<Cow<'a, str>>

Evaluate the expression to a constant value and convert it to a string.

fn get_side_free_number_value( &self, ctx: &impl ConstantEvaluationCtx<'a>, ) -> Option<f64>

fn get_side_free_bigint_value( &self, ctx: &impl ConstantEvaluationCtx<'a>, ) -> Option<BigInt>

fn get_side_free_boolean_value( &self, ctx: &impl ConstantEvaluationCtx<'a>, ) -> Option<bool>

fn get_side_free_string_value( &self, ctx: &impl ConstantEvaluationCtx<'a>, ) -> Option<Cow<'a, str>>

impl ContentEq for CallExpression<'_>

fn content_eq(&self, other: &CallExpression<'_>) -> bool

This method tests for contents of self and other to be equal.

fn content_ne(&self, other: &Self) -> bool

This method tests for contents of self and other not to be equal. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> Debug for CallExpression<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<'a> Dummy<'a> for CallExpression<'a>

fn dummy(allocator: &'a Allocator) -> CallExpression<'a>

Create a dummy CallExpression.

Has cost of making 1 allocation (8 bytes).

impl<'a> GatherNodeParts<'a> for CallExpression<'a>

fn gather<F>(&self, f: &mut F)

where F: FnMut(&str),

impl GenExpr for CallExpression<'_>

fn gen_expr(&self, p: &mut Codegen<'_>, precedence: Precedence, ctx: Context)

Generate code for an expression, respecting operator precedence.

fn print_expr(&self, p: &mut Codegen<'_>, precedence: Precedence, ctx: Context)

Generate code for an expression, respecting operator precedence. Alias for gen_expr.

impl GetPrecedence for CallExpression<'_>

fn precedence(&self) -> Precedence

impl GetSpan for CallExpression<'_>

fn span(&self) -> Span

Get the Span for an AST node.

impl GetSpanMut for CallExpression<'_>

fn span_mut(&mut self) -> &mut Span

Get a mutable reference to an AST node’s Span.

impl<'a> MayHaveSideEffects<'a> for CallExpression<'a>

fn may_have_side_effects( &self, ctx: &impl MayHaveSideEffectsContext<'a>, ) -> bool

impl<'a> TakeIn<'a> for CallExpression<'a>

fn take_in<A>(&mut self, allocator_accessor: A) -> Self

where A: AllocatorAccessor<'a>,

Replace node with a dummy.

fn take_in_box<A>(&mut self, allocator_accessor: A) -> Box<'a, Self>

where A: AllocatorAccessor<'a>,

Replace node with a boxed dummy.

impl UnstableAddress for CallExpression<'_>

fn unstable_address(&self) -> Address

Get the memory Address of a reference to an AST node in arena, which is not necessarily stable.