Show Table of Contents
10.9. Declaring a New Fact Type Additional Example
This fact type declaration uses a
Person example. dateOfBirth is of the type java.util.Date (from the Java API) and address is of the fact type Address.
declare Person name : String dateOfBirth : java.util.Date address : Address end
Where did the comment section go?
Red Hat's documentation publication system recently went through an upgrade to enable speedier, more mobile-friendly content. We decided to re-evaluate our commenting platform to ensure that it meets your expectations and serves as an optimal feedback mechanism. During this redesign, we invite your input on providing feedback on Red Hat documentation via the discussion platform.