|
|||||||||||
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 |