ActionSetDestinationIp extends ActionInfo { @Override public Action buildAction() { return buildAction(getActionKey()); } ActionSetDestinationIp(String destinationIp);  ActionSetDestinationIp(int actionKey, String destinationIp);  ActionSetDestinationIp(String destinationIp, String destinationMask);  ActionSetDestinationIp(int actionKey, String destinationIp, String destinationMask);  ActionSetDestinationIp(Ipv4Prefix destination);  ActionSetDestinationIp(int actionKey, Ipv4Prefix destination); @Override Action buildAction(); @Override Action buildAction(int newActionKey); Ipv4Prefix getDestination(); @Override boolean equals(Object other); @Override int hashCode(); @Override String toString();  }
@Test public void actionInfoTest() { verifyAction(new ActionSetDestinationIp(IP_ADDRESS).buildAction()); verifyAction(new ActionSetDestinationIp(IP_ADDRESS, IP_MASK).buildAction()); verifyAction(new ActionSetDestinationIp(new Ipv4Prefix(IP_ADDRESS + "/" + IP_MASK)).buildAction()); }