Application extends Operation { public final Operator getOperator() { return this.operator; } Application(final Operator operator, final Variable ... args); final Operator getOperator(); final Variable[] getArgs(); final Variable getTarget(); @Override final String toString();  }
@Test public void testGetOperator() throws Exception { Variable v = Variable.create(Type.INT, "v", "10"); Variable w = Variable.create(Type.INT, "w", "5"); Application a = new Application(Operator.ADDITION, v, w, v); assertEquals(Operator.ADDITION, a.getOperator()); }