|
SysML | |||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
self.end->forAll(connectorEnd | connectorEnd.eContainer().oclIsTypeOf(Connector) implies connectorEnd.eContainer().oclAsTypeOf(Connector).ends.role->forAll(olcIsTypeOf(ServicePort)))
validateFlowPortsCompatibility(FlowPort, FlowPort) -
Static method in class org.topcased.sysml.util.SysMLUtils
self.type.oclIsTypeOf(FlowSpecification) or self.type.oclIsTypeOf(Signal) or self.type.oclIsTypeOf(DataType) or self.type.oclIsTypeOf(Block) or self.type.oclIsTypeOf(ValueType)
validateType() -
Method in interface org.topcased.sysml.FlowProperty
self.type.oclIsTypeOf(Signal) or self.type.oclIsTypeOf(DataType) or self.type.oclIsTypeOf(Block) or self.type.oclIsTypeOf(ValueType)
validateType() -
Method in class org.topcased.sysml.impl.FlowPortImpl
Value
' attribute
Value
' attribute
Value Type
' class
Value Type
' class
ValueType
instances
ValueType
objectValueType
object. ValueTypeModelerProvider(AdapterFactory) -
Constructor for class org.topcased.modeler.sysml.providers.ValueTypeModelerProvider
Verdict Kind
' enum
Verdict Kind
' enum
Verifies
' reference list
Verify
' class
Verify
' class
Verify Method
' attribute
Verify Method Kind
' enum
Verify Method Kind
' enum
Verify
instances
Verify
objectVerify Method
' attribute
Verify
object. VerifyModelerProvider(AdapterFactory) -
Constructor for class org.topcased.modeler.sysml.providers.VerifyModelerProvider
|
SysML | |||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
Copyright (c) 2005 TOPCASED Contributors 2005 - 2007. All rights reserved.