@@ -223,7 +242,9 @@ public class PatternHandling extends Command {
+"-p \tget the list of all the created patterns\n"
+"-ct TASK1 TASK2\tclone TASK1 from TASK2\n"
+"-rct TASK\t remove the clone task TASK\n"
+"-co TASK1.PORT1 TASK2.PORT2\t connect PORT1 of TASK1 with PORT2 of TASK2\n"
+"-co TASK1.PORT1 TASK2.PORT2 [NEW] [C] [WA] [SA]\t connect PORT1 of TASK1 (pattern side) with PORT2 of TASK2 (model side). Other possible options:\n\t*Set NEW to specify that this is a new port that needs to be created.\n\t*Set C to ensure confidentiality for this channel\n\t*Set WA to ensure weak authenticity for this channel\n\t*Set SA to ensure strong authenticity for this channel\n"
+"-plnc \tget the list of pattern's ports that are not yet connected\n"
+"-pl PORT \tget list of available ports in model that could be used to connect with PORT (pattern side)\n"
+"-t \tget all tasks of the model\n"
+"-cpl \tget list of ports to be configured\n"
+"-cpd PORT\tchoose removing PORT as decision\n"
...
...
@@ -263,7 +284,7 @@ public class PatternHandling extends Command {