| /* | |
| * Copyright (c) 2006, 2018 Oracle and/or its affiliates. All rights reserved. | |
| * | |
| * This program and the accompanying materials are made available under the | |
| * terms of the Eclipse Public License v. 2.0, which is available at | |
| * http://www.eclipse.org/legal/epl-2.0. | |
| * | |
| * This Source Code may also be made available under the following Secondary | |
| * Licenses when the conditions for such availability set forth in the | |
| * Eclipse Public License v. 2.0 are satisfied: GNU General Public License, | |
| * version 2 with the GNU Classpath Exception, which is available at | |
| * https://www.gnu.org/software/classpath/license.html. | |
| * | |
| * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0 | |
| */ | |
| package com.sun.s1asdev.security.anyone.web; | |
| import java.io.BufferedReader; | |
| import java.io.IOException; | |
| import java.io.PrintWriter; | |
| import jakarta.annotation.security.DeclareRoles; | |
| import jakarta.servlet.ServletException; | |
| import jakarta.servlet.http.HttpServlet; | |
| import jakarta.servlet.http.HttpServletRequest; | |
| import jakarta.servlet.http.HttpServletResponse; | |
| @DeclareRoles({"javaee", "nobody"}) | |
| public class Servlet extends HttpServlet { | |
| public void service(HttpServletRequest req, HttpServletResponse resp) | |
| throws ServletException, IOException { | |
| resp.setContentType("text/html"); | |
| PrintWriter out = resp.getWriter(); | |
| out.println("<HTML><HEAD><TITLE>Servlet Output</TTILE></HEAD><BODY>"); | |
| if (req.isUserInRole("javaee") && !req.isUserInRole("nobody")) { | |
| out.println("Hello World"); | |
| } | |
| out.println("</BODY></HTML>"); | |
| } | |
| } |