Skip to content

_examples/WithInsertExample.tl

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
mission WithInsertExample {
  arguments {
    time = 5 minute
  }

  insert _examples/SysLogExample.tl {
    redefineArg newTime = time
    # TethysL will validate both the LHS and RHS in the body,
    # including type compatibility.
    # Try changing the names above and the expression on the RHS.

    # SkipComms is a boolean in SysLogExample;
    # try uncommenting and compiling this:
    #redefineArg SkipComms = 1 meter
  }

  ## insert with no block:
  #insert _examples/SysLogExample.tl
}