Package org.openrdf.repository.manager

Examples of org.openrdf.repository.manager.RepositoryInfo

858
859
860
861
862
863
864
865
866
867
868
869
870
        writeln("+----------");
        for (String repID : repIDs) {
          write("|" + repID);

          try {
            RepositoryInfo repInfo = manager.getRepositoryInfo(repID);
            if (repInfo.getDescription() != null) {
              write(" (\"" + repInfo.getDescription() + "\")");
            }
          }
          catch (StoreConfigException e) {
            write(" [ERROR: " + e.getMessage() + "]");
          }
View Full Code Here
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
    throws Exception
  {
    HttpSession session = request.getSession(true);
    NavigationModel navigationModel = (NavigationModel)session.getAttribute(NavigationModel.NAVIGATION_MODEL_KEY);
    Server server = (Server)session.getAttribute(SessionKeys.SERVER_KEY);
    RepositoryInfo repoInfo = (RepositoryInfo)session.getAttribute(SessionKeys.REPOSITORY_INFO_KEY);

    navigationModel.getGroup("server").getView("overview").setEnabled(server != null);
    navigationModel.getGroup("repository").setEnabled(server != null && repoInfo != null);
    navigationModel.getGroup("repository").getGroup("modify").setEnabled(repoInfo != null && repoInfo.isWritable());
    navigationModel.getGroup("repository").getGroup("query").setEnabled(repoInfo != null && repoInfo.isReadable());
    navigationModel.getGroup("repository").getGroup("explore").setEnabled(repoInfo != null && repoInfo.isReadable());
    navigationModel.getGroup("repository").getGroup("extract").setEnabled(repoInfo != null && repoInfo.isReadable());

    return true;
  }
View Full Code Here
37
38
39
40
41
42
43
44
45
46
47
    throws Exception
  {
    boolean result = true;

    HttpSession session = request.getSession(true);
    RepositoryInfo repoInfo = (RepositoryInfo)session.getAttribute(SessionKeys.REPOSITORY_INFO_KEY);
    HTTPRepository repo = (HTTPRepository)session.getAttribute(SessionKeys.REPOSITORY_KEY);

    if (request.getRequestURI().endsWith("/repository/overview.view")) {
      String id = request.getParameter("id");
      if (id != null) {
View Full Code Here
23
24
25
26
27
28
29
30
31
32
33
  public ModelAndView handleRequest(HttpServletRequest request, HttpServletResponse response) {
    HttpSession session = request.getSession(false);
   
    HTTPRepository repo = (HTTPRepository)session.getAttribute(SessionKeys.REPOSITORY_KEY);
    RepositoryInfo repoInfo = (RepositoryInfo)session.getAttribute(SessionKeys.REPOSITORY_INFO_KEY);
   
    Map<String, Object> model = new HashMap<String, Object>();
    model.put("repository", repo);
    model.put("repositoryInfo", repoInfo);
View Full Code Here
TOP

Related Classes of org.openrdf.repository.manager.RepositoryInfo

  • org.openrdf.console.Console
  • org.openrdf.http.webclient.NavigationRulesHandlerInterceptor
  • org.openrdf.http.webclient.repository.RepositoryController
  • org.openrdf.http.webclient.repository.RepositorySelectionInterceptor
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.