Function: launch(string name, string symbol, string mediaURI)

This function allows any caller to create a LaunchToken by paying a launchFee.

Inputs

• name

  • Control: Full control.

  • Constraints: No constraints.

  • Impact: The name of the new LaunchToken.

• symbol

  • Control: Full control.

  • Constraints: No constraints.

  • Impact: The symbol of the new LaunchToken.

• mediaURI

  • Control: Full control.

  • Constraints: No constraints.

  • Impact: The mediaURI of the new LaunchToken.

Branches and code coverage

Intended branches

• The new LaunchToken has been successfully created, and TOTAL_SUPPLY tokens have been minted.

  Test coverage

Negative behavior

• msg.value is less than launchFee.

  Negative test

• msg.value is greater than the launchFee.

  Negative test

• bondingCurve address is not set up and is equal to zero.

  Negative test

• quoteAsset address is not set up and is equal to zero.

  Negative test

Function call analysis

• bondingCurve.setReserves(token);

  • What is controllable? N/A.

  • If the return value is controllable, how is it used and how can it go wrong? This function does not return a value.

  • What happens if it reverts, reenters or does other unusual control flow? The setReserves function reverts if the caller is not this contract. But this is not the case, so there are no problems here.

• LaunchToken(token).mint(TOTAL_SUPPLY);

  • What is controllable? N/A.

  • If the return value is controllable, how is it used and how can it go wrong? This function does not return a value.

  • What happens if it reverts, reenters or does other unusual control flow? There are no problems here.