Examples of log()

Examples of kodkod.engine.Proof.log()

943
944
945
946
947
948
949
950
951
952
953
              Proof p = sol.proof();
              if (sol.outcome()==UNSATISFIABLE) {
                 // only perform the minimization if it was UNSATISFIABLE, rather than TRIVIALLY_UNSATISFIABLE
                 int i = p.highLevelCore().size();
                 rep.minimizing(cmd, i);
                 if (opt.coreMinimization==0) try { p.minimize(new RCEStrategy(p.log())); } catch(Throwable ex) {}
                 if (opt.coreMinimization==1) try { p.minimize(new HybridStrategy(p.log())); } catch(Throwable ex) {}
                 rep.minimized(cmd, i, p.highLevelCore().size());
              }
              for(Iterator<TranslationRecord> it=p.core(); it.hasNext();) {
                 Object n=it.next().node();
View Full Code Here

Examples of mikera.vectorz.AVector.log()

153
154
155
156
157
158
159
160
161
162
163
      } else {
        if (!line.isFullyMutable()) {
          line = line.sparseClone();
          data[i] = line;
        }
        line.log();
      }
    }
  }
 
  @Override
View Full Code Here

Examples of net.kuujo.copycat.test.TestNode.log()

101
102
103
104
105
106
107
108
109
110
111
    cluster.start();

    node3.stateMachine().data("Hello world!");

    AtomicBoolean compacted = new AtomicBoolean();
    node3.log().on().compacted(() -> compacted.set(true));

    node1.instance().submit("command", "Hello world!").thenRun(() -> {
      node1.instance().submit("command", "Hello world!").thenRun(() -> {
        node1.instance().submit("command", "Hello world!").thenRun(() -> {
          node1.instance().submit("command", "Hello world!").thenRun(() -> {
View Full Code Here

Examples of net.sf.xbus.base.journal.Journal.log()

358
359
360
361
362
363
364
365
366
367
368
        // Logging of the receiving-activity into the journal and
        // closing the
        // connection to the database.
        call.setResponseTimestamp(new Date());
        Journal journal = new Journal();
        journal.log('R', source, call);
        journal.commit();
      } // try
      catch (Exception t)
      {
        Trace.error(t);
View Full Code Here

Examples of net.sourceforge.pebble.domain.AbstractBlog.log()

137
138
139
140
141
142
143
144
145
146
147
    } catch (IOException ioe) {
      ioe.printStackTrace();
      throw new ServletException(ioe);
    } finally {
      AbstractBlog blog = (AbstractBlog)getModel().get(Constants.BLOG_KEY);
      blog.log(request, getStatus());
    }
  }

  private String getTemplate() {
    if (!(getModel().get(Constants.BLOG_KEY) instanceof Blog)) {
View Full Code Here

Examples of net.webpasswordsafe.server.plugin.audit.AuditLogger.log()

236
237
238
239
240
241
242
243
244
245
246
    {
        boolean isAuthorized = isAuthorized(req, Constants.VIEW_REPORT_PREFIX+reportName);
        User user = new User();
        user.setUsername((String)req.getSession().getAttribute(Constants.SESSION_KEY_USERNAME));
        AuditLogger auditLogger = (AuditLogger)WebApplicationContextUtils.getWebApplicationContext(getServletContext()).getBean("auditLogger");
        auditLogger.log(new Date(), user.getUsername(), req.getRemoteAddr(), "view report", reportName, isAuthorized, (isAuthorized ? "" : "not authorized"));
        return isAuthorized;
    }
   
    @SuppressWarnings("unchecked")
    private boolean isAuthorized(HttpServletRequest req, String action)
View Full Code Here

Examples of nexj.core.util.Logger.log()

404
405
406
407
408
409
410
411
412
413
414
            Logger logger = getLinkLogger();

            if (logger != null && logger.isWarnEnabled())
            {
               logger.log(Logger.WARN, "err.sync.recoverableFormatting", new Object[] {tobj.getClassName()}, e);
            }

            tobj.setEventName(sOriginalEvent);
            formatFailSafe(tobj, message, out, bCommit, nRetry + 1);
         }
View Full Code Here

Examples of nl.whitehorses.wls.sca.spring.ILoggerComponent.log()

13
14
15
16
17
18
19
20
21
22
23
    public static void main(String[] args) {
        try {
            final Context context = new InitialContext();

            ILoggerComponent logger = (ILoggerComponent)context.lookup("LoggerService_EJB30_JNDI");
            logger.log("scaSpring", "111", "hello");
        } catch (Exception ex) {
            ex.printStackTrace();
        }
    }
}
View Full Code Here

Examples of no.hal.jex.ui.JexManager.log()

206
207
208
209
210
211
212
213
214
215
216
    startupMessage = new Text(rightPane, SWT.WRAP);
    startupMessage.setText(JExerciseViewHelpString);
    try {
      exerciseDetailsView = new Browser(rightPane, styles);
    } catch (Throwable t) {
      manager.log("Could not instantiate Browser control", IStatus.ERROR, t);
    }
    IWorkbenchHelpSystem help = PlatformUI.getWorkbench().getHelpSystem();
    String helpContext = JexUiPlugin.getPlugin().getBundle().getSymbolicName() + ".ExerciseView";
    help.setHelp(sash, helpContext);
    help.setHelp(exerciseViewer.getControl(), helpContext);
View Full Code Here

Examples of oracle.adf.share.logging.ADFLogger.log()

96
97
98
99
100
101
102
103
104
105
106
     */
    public void handleRequest(final SOAPMessageContext context) {
        // logging
        final ADFLogger logger = getServiceLogger(context);
        if (logger.isLoggable(LOG_LEVEL)) {
            logger.log(LOG_LEVEL, "invoking {0} at {1}", new Object[] {
                       fullOperationName(context), context.get(BindingProvider.ENDPOINT_ADDRESS_PROPERTY) });
            final String payload = prettyXml(context.getMessage());
            logger.log(LOG_LEVEL, "request payload\n{0}", payload);
            // start performance timer with all details (can be viewed in FMW Control)
            final HashMap<String, String> logContext = new HashMap<String, String>();
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.