View:	Hide Browser | Browser on the left | Browser on the right | Dictionary
Report:	General Info | Attributes | Operations | Relations | Constraints

---

Parent Package: text
Class C_CODE_PHRASE

C_DOMAIN_TYPE
   |
   +--C_CODE_PHRASE
Express constraints on instances of CODE_PHRASE. The terminology_id attribute may be specified on its own to indicate any term from a specified terminology; the code_list attribute may be used to limit the codes to a specific list.

Attributes
Signature	Optionality	Multiplicity	Constant	Documentation
code_list : List<String>	0..1	--		List of allowed codes; may be empty, meaning any code in the terminology may be used.

Attributes from Associations
	Signature	Optionality	Multiplicity	Documentation
	terminology_id : TERMINOLOGY_ID	0..1	--

Operations
Signature	Constraints	Documentation
any_allowed() : Boolean	post: Result = terminology_id = Void and code_list = Void	True if any CODE_PHRASE instance allowed.

Constraints
Name	Expression
Any_allowed_validity	inv: any_allowed xor terminology_id <> Void
List_validity	inv: code_list <> Void implies (not code_list.is_empty and terminology_id <> Void)