org.jmlspecs.jml4.rac.runtime
Interface JMLCheckable

public interface JMLCheckable

The common behavior of all runtime assertion checkable classes. This is the behavior that is assumed by the interface surrogate classes when interacting with objects being runtime assertion checked. Each jmlc-generated class implements this interface.

Version:

$Revision: 1.2 $

Author:

Yoonsik Cheon

See Also:

JMLSurrogate

Method Summary

java.lang.Object	rac$getSurrogate(java.lang.String name) Returns the surrogate object of the interface name.
void	rac$setSurrogate(java.lang.String name, JMLSurrogate obj) Adds the given object, obj, as the surrogate of the interface, name.

Method Detail

rac$getSurrogate

java.lang.Object rac$getSurrogate(java.lang.String name)

Returns the surrogate object of the interface name. If no surrogate exists for the given interface, null is returned.

Parameters:

name - fully-qualified interface name.

rac$setSurrogate

void rac$setSurrogate(java.lang.String name,
                      JMLSurrogate obj)

Adds the given object, obj, as the surrogate of the interface, name. The given object is supposed to be an instance of the interface name's surrogate class, i.e., name$JmlSurrogate.

Parameters:

name - fully-qualified interface name.

obj - surrogate object of the interface name.