Skip to content
Snippets Groups Projects
Commit 6da3c6f9 authored by Michael Leuschel's avatar Michael Leuschel
Browse files

add event argument names to custom guard dialog

parent 0f3ce5e2
No related branches found
No related tags found
No related merge requests found
...@@ -33,6 +33,13 @@ public class CustomPreconditionInputDialog extends InputDialog { ...@@ -33,6 +33,13 @@ public class CustomPreconditionInputDialog extends InputDialog {
sb.append("Enter Guard to be added to the Event \""); sb.append("Enter Guard to be added to the Event \"");
sb.append(op.getName()); sb.append(op.getName());
sb.append("\" before execution."); sb.append("\" before execution.");
if (op.getArguments().size()>0) {
sb.append("\nParameters are:");
for (String arg : op.getArguments()) {
sb.append(" ");
sb.append(arg);
}
}
// sb.append("\nYou may use the parameters: "); // sb.append("\nYou may use the parameters: ");
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment