Package net.sf.daileon.supported

Provides a single class (DomainAnnotationsHelper), which allows frameworks to allow their user to create and use domain annotation instead of the annotations provided by them.

See:
Description

Class Summary

DomainAnnotationsHelper<T>

The AnnotationsHelper class provides static methods for dealing with domain annotations.

Package net.sf.daileon.supported Description

Provides a single class (DomainAnnotationsHelper), which allows frameworks to allow their user to create and use domain annotation instead of the annotations provided by them.