org::kermeta::language::structure
Class Constraint inherited from NamedElement

Constraint is part of a contract implementation in a Class definition or an operation.
Three kinds of constraints are available : pre, post, and inv (invariant constraint)

@ecore "true"
@http://www.eclipse.org/emf/2002/GenModel "null"

Property Summary
Expression	body attribute body[1..1] Body of the constraint, expressed as a KerMeta expression @ecore "true" @http://www.eclipse.org/emf/2002/GenModel "null"
ClassDefinition	invOwner attribute invOwner[0..1] Owning ClassDefinition if Constraint corresponds to invariant @ecore "true" @http://www.eclipse.org/emf/2002/GenModel "null"
	language attribute language[0..1] Language in which the constraint is expressed @ecore "true" @http://www.eclipse.org/emf/2002/GenModel "null"
Operation	postOwner attribute postOwner[0..1] Owning Operation if Constraint corresponds to post-condition @ecore "true" @http://www.eclipse.org/emf/2002/GenModel "null"
Operation	preOwner attribute preOwner[0..1] Owning Operation if Constraint corresponds to pre-condition @ecore "true" @http://www.eclipse.org/emf/2002/GenModel "null"
	stereotype attribute stereotype[0..1] Type of the Constraint (precond/postcond/inv) @ecore "true" @http://www.eclipse.org/emf/2002/GenModel "null"

body

Expression body

• Expression isReadOnly : false
• default : void
• isComposite : true
• isDerived : false
• isID : false
• isGetterAbstract : true
• isSetterAbstract : true

invOwner

ClassDefinition invOwner

• ClassDefinition isReadOnly : false
• default : void
• isComposite : false
• isDerived : false
• isID : false
• isGetterAbstract : true
• isSetterAbstract : true

language

 language

• isReadOnly : false
• default : void
• isComposite : true
• isDerived : false
• isID : false
• isGetterAbstract : true
• isSetterAbstract : true

postOwner

Operation postOwner

• Operation isReadOnly : false
• default : void
• isComposite : false
• isDerived : false
• isID : false
• isGetterAbstract : true
• isSetterAbstract : true

preOwner

Operation preOwner

• Operation isReadOnly : false
• default : void
• isComposite : false
• isDerived : false
• isID : false
• isGetterAbstract : true
• isSetterAbstract : true

stereotype

 stereotype

• isReadOnly : false
• default : void
• isComposite : true
• isDerived : false
• isID : false
• isGetterAbstract : true
• isSetterAbstract : true