Package conformance

Annotation Types Summary

Annotation Type	Description
Original	Mark a field, method, method argument or type as original - not ported from FaCT++, or with no simple correspondence.
PortedFrom	Mark a field, method, method argument or type with the original file and original name in FaCT++.