JmldocWrapper (JML and MultiJava documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

JML

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.jmlspecs.jmldoc.jmldoc_142
Class JmldocWrapper

java.lang.Object
  org.multijava.mjdoc.mjdoc_142.MjdocWrapper
      org.jmlspecs.jmldoc.jmldoc_142.JmldocWrapper

public class JmldocWrapper
extends org.multijava.mjdoc.mjdoc_142.MjdocWrapper

Nested Class Summary

static class JmldocWrapper.JmlCClassMap


static class JmldocWrapper.RefinementWrapper


Nested classes inherited from class org.multijava.mjdoc.mjdoc_142.MjdocWrapper

org.multijava.mjdoc.mjdoc_142.MjdocWrapper.CClassMap, org.multijava.mjdoc.mjdoc_142.MjdocWrapper.MjPrivacyChecker, org.multijava.mjdoc.mjdoc_142.MjdocWrapper.PrivacyChecker

Field Summary

(package private) Map map


Fields inherited from class org.multijava.mjdoc.mjdoc_142.MjdocWrapper

compiler, mapper, privacyChecker, wrapper

Constructor Summary

JmldocWrapper(Compiler c)


Method Summary

protected void handleQuiet(MjcCommonOptions options)
          Sets Jmldoc's Quiet option since Mjdoc cannot recognize it

void registerTypeDeclarations(JCompilationUnitType unit)
          This is overridden in order to register a Compilation Unit that is the combination of all refinements.

void select(JTypeDeclarationType jtype)


void selectTypeDeclarations(JCompilationUnitType unit)
          This is overridden in order to select a Compilation Unit that is the combination of all refinements.

Methods inherited from class org.multijava.mjdoc.mjdoc_142.MjdocWrapper

appName, checkPrivacy, complete, lookup, privacy, quiet, readFile, register, register, register, registerGFs, registerTypeDeclarations, root, selected, selected, selected, selectPackages, setAppName, setDoclet, setOptions, setWrapper, wrapper

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

map

Map map

Constructor Detail

JmldocWrapper

public JmldocWrapper(Compiler c)

Method Detail

registerTypeDeclarations

public void registerTypeDeclarations(JCompilationUnitType unit)

This is overridden in order to register a Compilation Unit that is the combination of all refinements.

Overrides:: registerTypeDeclarations in class org.multijava.mjdoc.mjdoc_142.MjdocWrapper

selectTypeDeclarations

public void selectTypeDeclarations(JCompilationUnitType unit)

This is overridden in order to select a Compilation Unit that is the combination of all refinements.

Overrides:: selectTypeDeclarations in class org.multijava.mjdoc.mjdoc_142.MjdocWrapper

select

public void select(JTypeDeclarationType jtype)

Overrides:: select in class org.multijava.mjdoc.mjdoc_142.MjdocWrapper

handleQuiet

protected void handleQuiet(MjcCommonOptions options)

Sets Jmldoc's Quiet option since Mjdoc cannot recognize it

Overrides:: handleQuiet in class org.multijava.mjdoc.mjdoc_142.MjdocWrapper