package algoLike.pull; import org.springframework.stereotype.Component; import pushPullRefactor.Getter; import pushPullRefactor.Message; import pushPullRefactor.Resource; import pushPullRefactor.State; import javax.ws.rs.*; import javax.ws.rs.core.MediaType; @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; } }