Class A.B

java.lang.Object
  extended by A.B
Enclosing class:
A

@Pure
public static class A.B
extends java.lang.Object

DOcumentation for class B.

JML Specifications
Annotations: @Pure
    invariant false && true; 
 


Constructor Summary
Constructor and Description
A.B()
           
 
Method Summary
Modifier and Type Method and Description
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

A.B

public A.B()