--
-- Validate an RM model for compliance with UML. Biased towards JOL's
-- capabilities (e.g. no Many to Many, no name clash in hierarchies).
--
create or replace package jrm_val is

-- PRE: product_name is a valid product name in the RM meta-model
--      server - name of server if file dump of validation is required
--      file   - name of file for validation dump ( if required )
-- POST: returns TRUE iff
--      attribute name in class hierarchy is unique
--      no associations between the same classifers are named the same
--      association name and attribute name are unique between associations and classifiers
--      has no many to many associations
--      non-interface cannot extend interfaces
function isValid( product_name VARCHAR2, server VARCHAR2 default null, file VARCHAR2 default null ) return BOOLEAN;

end jrm_val;

/