Skip to content

LoggingAPIDescription

Jump to bottom Edit New page
Attila Sukosd edited this page Mar 15, 2013 · 1 revision

The MOBIUS Logging subsystem (or MobLog for short) is an API used by programmers to make assertions, and emit log messages, about a software system. At its core, it combines Java and JML's assert statements with functionality akin to that found in the Java logging framework (via the java.util.logging package) and the Apache Foundation's log4j logging service.

Version: 1 Time: Fri Mar 28 14:52:38 2008 Author: dcochran (dcochran) IP: 193.1.132.32

Add a custom footer
Add a custom sidebar
Clone this wiki locally