|
|||||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | ||||||||||
Value Pin' class
Value Specification' class
Variable' class
Variable Action' class
Vertex' class
Visibility Kind' enum
ValuePin objectValueSpecification objectVariableAction objectVariable objectVertex objectvalidateXXX for the corresonding classifier of the model
isDerivedUnion implies isDerived
validateDestroyLinkAction(DestroyLinkAction, DiagnosticChain, Map) -
Method in class org.eclipse.uml2.util.UML2Validator
self.ownedElements->forAll(e | e.visibility->notEmpty() implies e.visbility = #public or e.visibility = #private)
validateEncapsulatedClassifier(EncapsulatedClassifier, DiagnosticChain, Map) -
Method in class org.eclipse.uml2.util.UML2Validator
general = self.parents()
validateGeneralOrdering(GeneralOrdering, DiagnosticChain, Map) -
Method in class org.eclipse.uml2.util.UML2Validator
self.mustBeOwned() implies owner->notEmpty()
validateImplementation(Implementation, DiagnosticChain, Map) -
Method in class org.eclipse.uml2.util.UML2Validator
self.importedElement.visibility.notEmpty() implies self.importedElement.visibility = #public
validateImportedMemberDerived(DiagnosticChain, Map) -
Method in interface org.eclipse.uml2.Namespace
self.importedMember->includesAll(self.importedMembers(self.elementImport.importedElement.asSet()->union(self.packageImport.importedPackage->collect(p | p.visibleMembers()))))
validateInclude(Include, DiagnosticChain, Map) -
Method in class org.eclipse.uml2.util.UML2Validator
self.inheritedMember->includesAll(self.inherit(self.parents()->collect(p | p.inheritableMembers(self)))
validateInitialNode(InitialNode, DiagnosticChain, Map) -
Method in class org.eclipse.uml2.util.UML2Validator
lower=lowerBound()
validateLowerGe0(DiagnosticChain, Map) -
Method in interface org.eclipse.uml2.MultiplicityElement
lowerBound()->notEmpty() implies lowerBound() >= 0
validateManifestation(Manifestation, DiagnosticChain, Map) -
Method in class org.eclipse.uml2.util.UML2Validator
membersAreDistinguishable()
validateMergeNode(MergeNode, DiagnosticChain, Map) -
Method in class org.eclipse.uml2.util.UML2Validator
isComposite implies (upperBound()->isEmpty() or upperBound() <= 1)
validateNamedElement(NamedElement, DiagnosticChain, Map) -
Method in class org.eclipse.uml2.util.UML2Validator
(subsettedProperty->exists(sp | sp.class->notEmpty())
implies class->notEmpty())
and
(redefinedProperty->exists(rp | rp.class->notEmpty())
implies class->notEmpty())
validateNavigableReadonly(DiagnosticChain, Map) -
Method in interface org.eclipse.uml2.Property
isReadOnly implies class->notEmpty()
validateNoCyclesInGeneralization(DiagnosticChain, Map) -
Method in interface org.eclipse.uml2.Classifier
not self.allParents()->includes(self)
validateNoDuplicateSlots(DiagnosticChain, Map) -
Method in interface org.eclipse.uml2.InstanceSpecification
classifier->forAll(c |
(c.allFeatures()->forAll(f | slot->select(s | s.definingFeature = f)->size() <= 1)
)
validateNoName(DiagnosticChain, Map) -
Method in interface org.eclipse.uml2.NamedElement
self.name->isEmpty() or self.allNamespaces()->select(ns | ns.name->isEmpty())->notEmpty()
implies self.qualifiedName->isEmpty()
validateNode(Node, DiagnosticChain, Map) -
Method in class org.eclipse.uml2.util.UML2Validator
not constrainedElement->includes(self)
validateNotOwnSelf(DiagnosticChain, Map) -
Method in interface org.eclipse.uml2.Element
not self.allOwnedElements()->includes(self)
validateObjectFlow(ObjectFlow, DiagnosticChain, Map) -
Method in class org.eclipse.uml2.util.UML2Validator
bodyCondition->notEmpty() implies isQuery
validateOpaqueExpression(OpaqueExpression, DiagnosticChain, Map) -
Method in class org.eclipse.uml2.util.UML2Validator
opposite =
if owningAssociation->notEmpty() and association.memberEnd->size() = 2 then
let otherEnd = (association.memberEnd - self)->any() in
if otherEnd.owningAssociation->notEmpty then otherEnd else Set{} endif
else Set {}
endif
validateOutputPin(OutputPin, DiagnosticChain, Map) -
Method in class org.eclipse.uml2.util.UML2Validator
self.visibility = #public or self.visibility = #private
validateQualifiedName(DiagnosticChain, Map) -
Method in interface org.eclipse.uml2.NamedElement
(self.name->notEmpty() and self.allNamespaces()->select(ns | ns.name->isEmpty())->isEmpty()) implies
self.qualifiedName =
self.allNamespaces()->iterate( ns : Namespace; result: String = self.name |
ns.name->union(self.separator())->union(result))
validateQualifierValue(QualifierValue, DiagnosticChain, Map) -
Method in class org.eclipse.uml2.util.UML2Validator
self.redefinedElement->forAll(re | re.isConsistentWith(self))
validateRedefinitionContextValid(DiagnosticChain, Map) -
Method in interface org.eclipse.uml2.RedefinableElement
self.redefinedElement->forAll(e | self.isRedefinitionContextValid(e))
validateRegion(Region, DiagnosticChain, Map) -
Method in class org.eclipse.uml2.util.UML2Validator
slot->forAll(s |
classifier->exists(c | c.allFeatures()->includes(s.definingFeature))
validateSpecializeType(DiagnosticChain, Map) -
Method in interface org.eclipse.uml2.Classifier
self.parents()->forAll(c | self.maySpecializeType(c))
validateStartOwnedBehaviorAction(StartOwnedBehaviorAction, DiagnosticChain, Map) -
Method in class org.eclipse.uml2.util.UML2Validator
subsettedProperty->notEmpty() implies
(subsettingContext()->notEmpty() and subsettingContext()->forAll (sc |
subsettedProperty->forAll(sp |
sp.subsettingContext()->exists(c | sc.conformsTo(c)))))
validateSubsettingRules(DiagnosticChain, Map) -
Method in interface org.eclipse.uml2.Property
subsettedProperty->forAll(sp |
type.conformsTo(sp.type) and
((upperBound()->notEmpty() and sp.upperBound()->notEmpty()) implies
upperBound()<=sp.upperBound() ))
validateSubstitution(Substitution, DiagnosticChain, Map) -
Method in class org.eclipse.uml2.util.UML2Validator
if returnResult->size() = 1 then
type = returnResult.type
else
type = nil
endif
validateTypedElement(TypedElement, DiagnosticChain, Map) -
Method in class org.eclipse.uml2.util.UML2Validator
upper = upperBound()
validateUpperGeLower(DiagnosticChain, Map) -
Method in interface org.eclipse.uml2.MultiplicityElement
(upperBound()->notEmpty() and lowerBound()->notEmpty()) implies upperBound() >= lowerBound()
validateUpperGt0(DiagnosticChain, Map) -
Method in interface org.eclipse.uml2.MultiplicityElement
upperBound()->notEmpty() implies upperBound() > 0
validateUsage(Usage, DiagnosticChain, Map) -
Method in class org.eclipse.uml2.util.UML2Validator
namespace->isEmpty() implies visibility->isEmpty()
validateVisibilityPublicOrPrivate(DiagnosticChain, Map) -
Method in interface org.eclipse.uml2.ElementImport
self.visibility = #public or self.visibility = #private
validateWriteLinkAction(WriteLinkAction, DiagnosticChain, Map) -
Method in class org.eclipse.uml2.util.UML2Validator
ValuePin instances
Variable instances
member->select( m | self.makesVisible(m))
|
Copyright 2003, 2004 IBM Corporation and others. All Rights Reserved. |
||||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | ||||||||||