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("/attackerA") @Component @Resource("attackerA") public class AttackerA { @State private int value; @PUT @Message({}) public void setAttackerA(@FormParam("a") int a) { this.value = a; } @Produces(MediaType.APPLICATION_JSON) @GET @Getter public int getValue() { return value; } }