Main.Main$1 (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.checker
Class Main.Main$1

java.lang.Object
  org.multijava.mjc.Main.ContextBehavior
      org.jmlspecs.checker.Main.Main$1

Enclosing class:: Main

class Main.Main$1
extends Main.ContextBehavior

Constructor Summary

(package private) Main.Main$1()

Method Summary

boolean noBodyOK(CContextType context)

Methods inherited from class java.lang.Object

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

Constructor Detail

Main.Main$1

Main.Main$1()

Method Detail

noBodyOK

public boolean noBodyOK(CContextType context)

Overrides:: noBodyOK in class Main.ContextBehavior