if (!named.isMessage())
throw new ParseException( String.format(
"Authorize method name %s is not a method at %d",
method.image, lineno() ) );
Message authMsg = (Message) named;
if (authMsg.type().type().kind != EtchGrammarConstants.BOOLEAN)
throw new ParseException( String.format(
"Authorize method %s result type is not boolean at %d",
method.image, lineno() ) );
List<Parameter> authParams = authMsg.getParameters();
if (authParams.size() != argList.size())
throw new ParseException( String.format(
"Authorize method %s parameter list size does not match the number of supplied arguments at %d",
method.image, lineno() ) );