Access Control example:
-----------------------

This is a classical access control system.
An administrator adds or deletes new users.
Registered users are allowed to get in.


TEST GENERATION:
----------------

The goal of this example is to show how to automatically generate TTCN-3
executable code from a MSC traces.

To generate TTCN-3 modules, select "Generate TTCN..." in the project menu. In
the dialog, select the option 'Declarations + testcases from MSCs/HMSCs', then
select the name of the traces to generate from (only GlobalExecution for this
example). Then select the destination folders for the generated TTCN modules at
the bottom of the dialog ("AutoTests" folder in the example). For the example,
select the option "Add generated files" to add the generated TTCN modules to the
existing contents of the destination folder. For next TTCN generations, the
option "Replace everything" allows to discard the previous contents before
adding the generated TTCN.

Three TTCN-3 files will be generated:
  - TTCN_Declarations.ttcn : declaration of new types for message parameters,
    declaration of constants, declaration of ports with message going through
    them and declaration of TSI component with interface ports.
  - TTCN_Templates : declarations of all needed templates for testcases
    execution.
  - TTCN_TestsAndControl : testcases and control description.
