Function extends Element implements TypedElement { public final Type[] getArgTypes() { return Arrays.copyOf(this.args, this.args.length - 1); } Function(final String id, final Type... args); final String getId(); final OperationSequence getBody(); final boolean validateInput(final Variable ... input); final Variable[] getVariables(); final Type[] getArgTypes(); final Type getType(); @Override final String toString();  }
@Test public void testGetArgs() throws Exception { Function f = new Function("f", Type.INT, Type.BOOL, Type.CHAR); Type[] args = {Type.INT, Type.BOOL}; assertArrayEquals(args, f.getArgTypes()); }