Plugins

WikiInclude(PluginsExplanation)

Mobius Plugins

• BML plugin
• ESC/Java2 plugin
• Javafe plugin
• Mobius plugin
• Simplify plugin
• Umbra plugin

Shared Plugins

• JML4 plugin

External Plugins

• Checkstyle plugin
• EclEmma Java Code Coverage plugin
• FindBugs plugin
• Mylyn plugin
• PMD plugin

Cluster Chart

Cluster Plugins

Purpose

Version: 6 Time: Wed Feb 13 16:43:51 2008 Author: dcochran (dcochran) IP: 193.1.132.32