org.eclipse.ocl.examples.domain.elements

Interface DomainConstraint

All Superinterfaces:

DomainElement, DomainNamedElement, Nameable

All Known Subinterfaces:

Constraint

All Known Implementing Classes:

ConstraintImpl

public interface DomainConstraint
extends DomainNamedElement

Method Summary

Methods

Modifier and Type	Method and Description
DomainNamespace	getContext()
DomainExpression	getSpecification()
boolean	isCallable()

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.Nameable

getName

Method Detail

getContext

DomainNamespace getContext()

getSpecification

DomainExpression getSpecification()

isCallable

boolean isCallable()