- var arg = args.first
- var format_error = "Syntax error: \"{annotation_name}\" expects its argument to be the name of the target platform as a String literal."
-
- if not arg isa AExprAtArg then
- modelbuilder.error(nat, format_error)
- return
- end
-
- var expr = arg.n_expr
- if not expr isa AStringFormExpr then
+ platform_name = args.first.as_string
+ if platform_name == null then
+ var format_error = "Syntax error: \"{annotation_name}\" expects its argument to be the name of the target platform as a String literal."