package algoLike.push; import java.util.*; import javax.ws.rs.*; import javax.ws.rs.client.*; import javax.ws.rs.core.*; import org.springframework.stereotype.Component; import com.fasterxml.jackson.databind.ObjectMapper; import com.fasterxml.jackson.core.JsonProcessingException; import pushPullRefactor.Getter; import pushPullRefactor.Message; import pushPullRefactor.Resource; import pushPullRefactor.State; @Path("/attackerB") @Component @Resource("attackerB") public class AttackerB { @State private int value; @PUT @Message({}) public void setAttackerB(@FormParam("b") int b) { this.value = b; } @Produces(MediaType.APPLICATION_JSON) @GET @Getter public int getValue() { return value; } }