call

Syntax: call [type] <identifier>( param, ... );

type is an optional parameter which must match the return value of the function. If not specified, type defaults to void.

For instance, the following ASH code:

int foo( int a, int b ) {
   return a + b;
}

String a = "foo";
float c = call float a( 2, 3 );
print( "c = " + c );

a = "print";
call a( "print 1" );
print( "done" );

will output the following to the CLI:

c = 5.0
print 1
done

Scope

call can only execute functions that are visible in the scope of the call statement.

For example, executing the following ASH code will result in an error, because the func_inside_bar() function is not visible from within foo():

void foo( string callback ) {
   // foo() cannot see func_inside_bar()
   call void callback( 123 );
}

void bar() {
   void func_inside_bar( int arg ) {
      print( arg );
   }
   foo( "func_inside_bar" );
}

bar(); // Error: Function 'func_inside_bar( int )' undefined.

However, the following code will run successfully:

void foo( string callback ) {
   void func_inside_foo( int arg ) {
      print( arg );
   }
   call void callback( 123 );
}

void bar() {
   // Although bar() cannot see func_inside_foo(),
   // it can still pass its name to foo()
   foo( "func_inside_foo" );
}

bar(); // Prints "123"