@Test public void testGetVariable() 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(v, a.getTarget()); }
public final Variable getTarget() { return this.args[this.args.length - 1]; }
Application extends Operation { public final Variable getTarget() { return this.args[this.args.length - 1]; } }
Application extends Operation { public final Variable getTarget() { return this.args[this.args.length - 1]; } Application(final Operator operator, final Variable ... args); }
Application extends Operation { public final Variable getTarget() { return this.args[this.args.length - 1]; } Application(final Operator operator, final Variable ... args); final Operator getOperator(); final Variable[] getArgs(); final Variable getTarget(); @Override final String toString(); }
Application extends Operation { public final Variable getTarget() { return this.args[this.args.length - 1]; } Application(final Operator operator, final Variable ... args); final Operator getOperator(); final Variable[] getArgs(); final Variable getTarget(); @Override final String toString();  }