Main.JmlPrivacyChecker (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 Main.JmlPrivacyChecker

java.lang.Object
  org.multijava.mjdoc.mjdoc_142.MjdocWrapper.MjPrivacyChecker
      org.jmlspecs.jmldoc.jmldoc_142.Main.JmlPrivacyChecker

All Implemented Interfaces:: org.multijava.mjdoc.mjdoc_142.MjdocWrapper.PrivacyChecker

Enclosing class:: Main

public static class Main.JmlPrivacyChecker
extends org.multijava.mjdoc.mjdoc_142.MjdocWrapper.MjPrivacyChecker

Field Summary

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

privacy

Constructor Summary

Main.JmlPrivacyChecker(long privacy)

Method Summary

boolean isVisible(long mods)

Methods inherited from class java.lang.Object

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

Constructor Detail

Main.JmlPrivacyChecker

public Main.JmlPrivacyChecker(long privacy)

Method Detail

isVisible

public boolean isVisible(long mods)

Specified by:: isVisible in interface org.multijava.mjdoc.mjdoc_142.MjdocWrapper.PrivacyChecker
Overrides:: isVisible in class org.multijava.mjdoc.mjdoc_142.MjdocWrapper.MjPrivacyChecker