Class Interface
Interfaces declare coherent services that are implemented by BehavioredClassifiers that implement the Interfaces via InterfaceRealizations. <p>From package UML::SimpleClassifiers.</p>
[XmlNamespace("http://www.eclipse.org/uml2/5.0.0/UML")]
[XmlNamespacePrefix("uml")]
[ModelRepresentationClass("http://www.eclipse.org/uml2/5.0.0/UML#//Interface")]
public class Interface : Namespace, IInterface, IClassifier, ITemplateableElement, IType, IPackageableElement, IParameterableElement, IRedefinableElement, INamespace, INamedElement, IElement, IEModelElement, IModelElement, INotifyPropertyChanged, INotifyPropertyChanging
- Inheritance
-
Interface
- Implements
- Inherited Members
Constructors
Interface()
Creates a new instance
public Interface()
Properties
Children
Gets the child model elements of this model element
public override IEnumerableExpression<IModelElement> Children { get; }
Property Value
ClassInstance
Gets the Class model for this type
public static IClass ClassInstance { get; }
Property Value
Generalization
The Generalization relationships for this Classifier. These Generalizations navigate to more general Classifiers in the generalization hierarchy. <p>From package UML::Classification.</p>
[Browsable(false)]
[XmlElementName("generalization")]
[XmlAttribute(false)]
[Containment]
[XmlOpposite("specific")]
public IOrderedSetExpression<IGeneralization> Generalization { get; }
Property Value
IsAbstract
If true, the Classifier can only be instantiated by instantiating one of its specializations. An abstract Classifier is intended to be used by other Classifiers e.g., as the target of Associations or Generalizations. <p>From package UML::Classification.</p>
[TypeConverter(typeof(LowercaseBooleanConverter))]
[XmlElementName("isAbstract")]
[XmlAttribute(true)]
public bool IsAbstract { get; set; }
Property Value
IsFinalSpecialization
If true, the Classifier cannot be specialized. <p>From package UML::Classification.</p>
[TypeConverter(typeof(LowercaseBooleanConverter))]
[XmlElementName("isFinalSpecialization")]
[XmlAttribute(true)]
public bool IsFinalSpecialization { get; set; }
Property Value
IsLeaf
Indicates whether it is possible to further redefine a RedefinableElement. If the value is true, then it is not possible to further redefine the RedefinableElement. <p>From package UML::Classification.</p>
[TypeConverter(typeof(LowercaseBooleanConverter))]
[XmlElementName("isLeaf")]
[XmlAttribute(true)]
public bool IsLeaf { get; set; }
Property Value
NestedClassifier
References all the Classifiers that are defined (nested) within the Interface. <p>From package UML::SimpleClassifiers.</p>
[Browsable(false)]
[XmlElementName("nestedClassifier")]
[XmlAttribute(false)]
[Containment]
public IOrderedSetExpression<IClassifier> NestedClassifier { get; }
Property Value
OwnedAttribute
The attributes (i.e., the Properties) owned by the Interface. <p>From package UML::SimpleClassifiers.</p>
[Browsable(false)]
[XmlElementName("ownedAttribute")]
[XmlAttribute(false)]
[Containment]
[XmlOpposite("interface")]
public IOrderedSetExpression<IProperty> OwnedAttribute { get; }
Property Value
OwnedOperation
The Operations owned by the Interface. <p>From package UML::SimpleClassifiers.</p>
[Browsable(false)]
[XmlElementName("ownedOperation")]
[XmlAttribute(false)]
[Containment]
[XmlOpposite("interface")]
public IOrderedSetExpression<IOperation> OwnedOperation { get; }
Property Value
OwnedReception
Receptions that objects providing this Interface are willing to accept. <p>From package UML::SimpleClassifiers.</p>
[Browsable(false)]
[XmlElementName("ownedReception")]
[XmlAttribute(false)]
[Containment]
public IOrderedSetExpression<IReception> OwnedReception { get; }
Property Value
OwnedTemplateSignature
The optional TemplateSignature specifying the formal TemplateParameters for this TemplateableElement. If a TemplateableElement has a TemplateSignature, then it is a template. <p>From package UML::CommonStructure.</p>
[Browsable(false)]
[XmlElementName("ownedTemplateSignature")]
[XmlAttribute(false)]
[Containment]
[XmlOpposite("template")]
public ITemplateSignature OwnedTemplateSignature { get; set; }
Property Value
OwnedUseCase
The UseCases owned by this classifier. <p>From package UML::Classification.</p>
[Browsable(false)]
[XmlElementName("ownedUseCase")]
[XmlAttribute(false)]
[Containment]
public IOrderedSetExpression<IUseCase> OwnedUseCase { get; }
Property Value
OwningTemplateParameter
The formal TemplateParameter that owns this ParameterableElement. <p>From package UML::CommonStructure.</p>
[XmlElementName("owningTemplateParameter")]
[XmlAttribute(true)]
[XmlOpposite("ownedParameteredElement")]
public ITemplateParameter OwningTemplateParameter { get; set; }
Property Value
Package
Specifies the owning Package of this Type, if any. <p>From package UML::CommonStructure.</p>
[Browsable(false)]
[XmlElementName("package")]
[XmlAttribute(true)]
[XmlOpposite("ownedType")]
public IPackage Package { get; set; }
Property Value
PowertypeExtent
The GeneralizationSet of which this Classifier is a power type. <p>From package UML::Classification.</p>
[XmlElementName("powertypeExtent")]
[XmlAttribute(true)]
[XmlOpposite("powertype")]
public ISetExpression<IGeneralizationSet> PowertypeExtent { get; }
Property Value
Protocol
References a ProtocolStateMachine specifying the legal sequences of the invocation of the BehavioralFeatures described in the Interface. <p>From package UML::SimpleClassifiers.</p>
[Browsable(false)]
[XmlElementName("protocol")]
[XmlAttribute(false)]
[Containment]
public IProtocolStateMachine Protocol { get; set; }
Property Value
RedefinedInterface
References all the Interfaces redefined by this Interface. <p>From package UML::SimpleClassifiers.</p>
[XmlElementName("redefinedInterface")]
[XmlAttribute(true)]
public ISetExpression<IInterface> RedefinedInterface { get; }
Property Value
ReferencedElements
Gets the referenced model elements of this model element
public override IEnumerableExpression<IModelElement> ReferencedElements { get; }
Property Value
Representation
A CollaborationUse which indicates the Collaboration that represents this Classifier. <p>From package UML::Classification.</p>
[Browsable(false)]
[XmlElementName("representation")]
[XmlAttribute(false)]
[Containment]
public ICollaborationUse Representation { get; set; }
Property Value
Substitution
The Substitutions owned by this Classifier. <p>From package UML::Classification.</p>
[Browsable(false)]
[XmlElementName("substitution")]
[XmlAttribute(false)]
[Containment]
[XmlOpposite("substitutingClassifier")]
public IOrderedSetExpression<ISubstitution> Substitution { get; }
Property Value
TemplateBinding
The optional TemplateBindings from this TemplateableElement to one or more templates. <p>From package UML::CommonStructure.</p>
[Browsable(false)]
[XmlElementName("templateBinding")]
[XmlAttribute(false)]
[Containment]
[XmlOpposite("boundElement")]
public IOrderedSetExpression<ITemplateBinding> TemplateBinding { get; }
Property Value
TemplateParameter
The TemplateParameter that exposes this ParameterableElement as a formal parameter. <p>From package UML::CommonStructure.</p>
[XmlElementName("templateParameter")]
[XmlAttribute(true)]
[XmlOpposite("parameteredElement")]
public ITemplateParameter TemplateParameter { get; set; }
Property Value
UseCase
The set of UseCases for which this Classifier is the subject. <p>From package UML::Classification.</p>
[XmlElementName("useCase")]
[XmlAttribute(true)]
[XmlOpposite("subject")]
public ISetExpression<IUseCase> UseCase { get; }
Property Value
Methods
AllAttributes()
The query allAttributes gives an ordered set of all owned and inherited attributes of the Classifier. All owned attributes appear before any inherited attributes, and the attributes inherited from any more specific parent Classifier appear before those of any more general parent Classifier. However, if the Classifier has multiple immediate parents, then the relative ordering of the sets of attributes from those parents is not defined. result = (attribute->asSequence()->union(parents()->asSequence().allAttributes())->select(p | member->includes(p))->asOrderedSet()) <p>From package UML::Classification.</p>
public IOrderedSetExpression<IProperty> AllAttributes()
Returns
AllFeatures()
The query allFeatures() gives all of the Features in the namespace of the Classifier. In general, through mechanisms such as inheritance, this will be a larger set than feature. result = (member->select(oclIsKindOf(Feature))->collect(oclAsType(Feature))->asSet()) <p>From package UML::Classification.</p>
public ISetExpression<IFeature> AllFeatures()
Returns
AllParents()
The query allParents() gives all of the direct and indirect ancestors of a generalized Classifier. result = (parents()->union(parents()->collect(allParents())->asSet())) <p>From package UML::Classification.</p>
public ISetExpression<IClassifier> AllParents()
Returns
AllRealizedInterfaces()
The Interfaces realized by this Classifier and all of its generalizations result = (directlyRealizedInterfaces()->union(self.allParents()->collect(directlyRealizedInterfaces()))->asSet()) <p>From package UML::Classification.</p>
public ISetExpression<IInterface> AllRealizedInterfaces()
Returns
AllSlottableFeatures()
All StructuralFeatures related to the Classifier that may have Slots, including direct attributes, inherited attributes, private attributes in generalizations, and memberEnds of Associations, but excluding redefined StructuralFeatures. result = (member->select(oclIsKindOf(StructuralFeature))-> collect(oclAsType(StructuralFeature))-> union(self.inherit(self.allParents()->collect(p | p.attribute)->asSet())-> collect(oclAsType(StructuralFeature)))->asSet()) <p>From package UML::Classification.</p>
public ISetExpression<IStructuralFeature> AllSlottableFeatures()
Returns
AllUsedInterfaces()
The Interfaces used by this Classifier and all of its generalizations result = (directlyUsedInterfaces()->union(self.allParents()->collect(directlyUsedInterfaces()))->asSet()) <p>From package UML::Classification.</p>
public ISetExpression<IInterface> AllUsedInterfaces()
Returns
ConformsTo(IType)
The query conformsTo() gives true for a Type that conforms to another. By default, two Types do not conform to each other. This query is intended to be redefined for specific conformance situations. result = (false) <p>From package UML::CommonStructure.</p>
public bool ConformsTo(IType other)
Parameters
other
IType
Returns
CreateAssociation(bool, AggregationKind, string, int, object, IType, bool, AggregationKind, string, int, object)
Creates a(n) (binary) association between this type and the specified other type, with the specified navigabilities, aggregations, names, lower bounds, and upper bounds, and owned by this type's nearest package.
public IAssociation CreateAssociation(bool end1IsNavigable, AggregationKind end1Aggregation, string end1Name, int end1Lower, object end1Upper, IType end1Type, bool end2IsNavigable, AggregationKind end2Aggregation, string end2Name, int end2Lower, object end2Upper)
Parameters
end1IsNavigable
boolThe navigability for the first end of the new association.
end1Aggregation
AggregationKindThe aggregation for the first end of the new association.
end1Name
stringThe name for the first end of the new association.
end1Lower
intThe lower bound for the first end of the new association.
end1Upper
objectThe upper bound for the first end of the new association.
end1Type
ITypeThe type for the first end of the new association.
end2IsNavigable
boolThe navigability for the second end of the new association.
end2Aggregation
AggregationKindThe aggregation for the second end of the new association.
end2Name
stringThe name for the second end of the new association.
end2Lower
intThe lower bound for the second end of the new association.
end2Upper
objectThe upper bound for the second end of the new association.
Returns
CreateOwnedAttribute(string, IType, int, object)
Creates a property with the specified name, type, lower bound, and upper bound as an owned attribute of this interface.
public IProperty CreateOwnedAttribute(string name, IType type, int lower, object upper)
Parameters
name
stringThe name for the new attribute, or null.
type
ITypeThe type for the new attribute, or null.
lower
intThe lower bound for the new attribute.
upper
objectThe upper bound for the new attribute.
Returns
CreateOwnedOperation(string, IEnumerable<string>, IEnumerable<IType>, IType)
Creates an operation with the specified name, parameter names, parameter types, and return type (or null) as an owned operation of this interface.
public IOperation CreateOwnedOperation(string name, IEnumerable<string> parameterNames, IEnumerable<IType> parameterTypes, IType returnType)
Parameters
name
stringThe name for the new operation, or null.
parameterNames
IEnumerable<string>The parameter names for the new operation, or null.
parameterTypes
IEnumerable<IType>The parameter types for the new operation, or null.
returnType
ITypeThe return type for the new operation, or null.
Returns
DirectlyRealizedInterfaces()
The Interfaces directly realized by this Classifier result = ((clientDependency-> select(oclIsKindOf(Realization) and supplier->forAll(oclIsKindOf(Interface))))-> collect(supplier.oclAsType(Interface))->asSet()) <p>From package UML::Classification.</p>
public ISetExpression<IInterface> DirectlyRealizedInterfaces()
Returns
DirectlyUsedInterfaces()
The Interfaces directly used by this Classifier result = ((supplierDependency-> select(oclIsKindOf(Usage) and client->forAll(oclIsKindOf(Interface))))-> collect(client.oclAsType(Interface))->asSet()) <p>From package UML::Classification.</p>
public ISetExpression<IInterface> DirectlyUsedInterfaces()
Returns
GetAllAttributes()
Retrieves all the attributes of this classifier, including those inherited from its parents.
public ISetExpression<IProperty> GetAllAttributes()
Returns
GetAllOperations()
Retrieves all the operations of this classifier, including those inherited from its parents.
public ISetExpression<IOperation> GetAllOperations()
Returns
GetAllUsedInterfaces()
Retrieves all the interfaces on which this classifier or any of its parents has a usage dependency.
public ISetExpression<IInterface> GetAllUsedInterfaces()
Returns
GetAssociations()
Retrieves the associations in which this type is involved.
public ISetExpression<IAssociation> GetAssociations()
Returns
GetAttributeValue(string, int)
Resolves the given attribute name
protected override object GetAttributeValue(string attribute, int index)
Parameters
Returns
- object
The attribute value or null if it could not be found
GetClass()
Gets the Class for this model element
public override IClass GetClass()
Returns
GetCollectionForFeature(string)
Gets the Model element collection for the given feature
protected override IList GetCollectionForFeature(string feature)
Parameters
feature
stringThe requested feature
Returns
- IList
A non-generic list of elements
GetCompositionName(object)
Gets the property name for the given container
protected override string GetCompositionName(object container)
Parameters
container
objectThe container object
Returns
- string
The name of the respective container reference
GetExpressionForAttribute(string)
Gets the property expression for the given attribute
protected override INotifyExpression<object> GetExpressionForAttribute(string attribute)
Parameters
attribute
stringThe requested attribute in upper case
Returns
- INotifyExpression<object>
An incremental property expression
GetExpressionForReference(string)
Gets the property expression for the given reference
protected override INotifyExpression<IModelElement> GetExpressionForReference(string reference)
Parameters
reference
stringThe requested reference in upper case
Returns
- INotifyExpression<IModelElement>
An incremental property expression
GetGenerals()
The general Classifiers are the ones referenced by the Generalization relationships. result = (parents()) <p>From package UML::Classification.</p>
public ISetExpression<IClassifier> GetGenerals()
Returns
GetInheritedMembers()
The inheritedMember association is derived by inheriting the inheritable members of the parents. result = (inherit(parents()->collect(inheritableMembers(self))->asSet())) <p>From package UML::Classification.</p>
public ISetExpression<INamedElement> GetInheritedMembers()
Returns
GetModelElementForReference(string, int)
Resolves the given URI to a child model element
protected override IModelElement GetModelElementForReference(string reference, int index)
Parameters
Returns
- IModelElement
The model element or null if it could not be found
GetOperation(string, IEnumerable<string>, IEnumerable<IType>)
Retrieves the first operation with the specified name, parameter names, and parameter types from this classifier.
public IOperation GetOperation(string name, IEnumerable<string> parameterNames, IEnumerable<IType> parameterTypes)
Parameters
name
stringThe name of the operation to retrieve, or null.
parameterNames
IEnumerable<string>The parameter names of the operation to retrieve, or null.
parameterTypes
IEnumerable<IType>The parameter types of the operation to retrieve, or null.
Returns
GetOperation(string, IEnumerable<string>, IEnumerable<IType>, bool)
Retrieves the first operation with the specified name, parameter names, and parameter types from this classifier, ignoring case if indicated.
public IOperation GetOperation(string name, IEnumerable<string> parameterNames, IEnumerable<IType> parameterTypes, bool ignoreCase)
Parameters
name
stringThe name of the operation to retrieve, or null.
parameterNames
IEnumerable<string>The parameter names of the operation to retrieve, or null.
parameterTypes
IEnumerable<IType>The parameter types of the operation to retrieve, or null.
ignoreCase
boolWhether to ignore case in String comparisons.
Returns
GetOperations()
Retrieves the operations of this classifier.
public ISetExpression<IOperation> GetOperations()
Returns
GetRelativePathForNonIdentifiedChild(IModelElement)
Gets the relative URI fragment for the given child model element
protected override string GetRelativePathForNonIdentifiedChild(IModelElement element)
Parameters
element
IModelElementThe element that should be looked for
Returns
- string
A fragment of the relative URI
GetUsedInterfaces()
Retrieves the interfaces on which this classifier has a usage dependency.
public ISetExpression<IInterface> GetUsedInterfaces()
Returns
HasVisibilityOf(INamedElement)
The query hasVisibilityOf() determines whether a NamedElement is visible in the classifier. Non-private members are visible. It is only called when the argument is something owned by a parent. allParents()->including(self)->collect(member)->includes(n) result = (n.visibility <> VisibilityKind::private) <p>From package UML::Classification.</p>
public bool HasVisibilityOf(INamedElement n)
Parameters
Returns
Inherit(IEnumerable<INamedElement>)
The query inherit() defines how to inherit a set of elements passed as its argument. It excludes redefined elements from the result. result = (inhs->reject(inh | inh.oclIsKindOf(RedefinableElement) and ownedMember->select(oclIsKindOf(RedefinableElement))-> select(redefinedElement->includes(inh.oclAsType(RedefinableElement))) ->notEmpty())) <p>From package UML::Classification.</p>
public ISetExpression<INamedElement> Inherit(IEnumerable<INamedElement> inhs)
Parameters
inhs
IEnumerable<INamedElement>
Returns
InheritableMembers(IClassifier)
The query inheritableMembers() gives all of the members of a Classifier that may be inherited in one of its descendants, subject to whatever visibility restrictions apply. c.allParents()->includes(self) result = (member->select(m | c.hasVisibilityOf(m))) <p>From package UML::Classification.</p>
public ISetExpression<INamedElement> InheritableMembers(IClassifier c)
Parameters
Returns
IsCompatibleWith(IParameterableElement)
The query isCompatibleWith() determines if this ParameterableElement is compatible with the specified ParameterableElement. By default, this ParameterableElement is compatible with another ParameterableElement p if the kind of this ParameterableElement is the same as or a subtype of the kind of p. Subclasses of ParameterableElement should override this operation to specify different compatibility constraints. result = (self.oclIsKindOf(p.oclType())) <p>From package UML::CommonStructure.</p>
public bool IsCompatibleWith(IParameterableElement p)
Parameters
Returns
IsConsistentWith(IRedefinableElement)
The query isConsistentWith() specifies, for any two RedefinableElements in a context in which redefinition is possible, whether redefinition would be logically consistent. By default, this is false; this operation must be overridden for subclasses of RedefinableElement to define the consistency conditions. redefiningElement.isRedefinitionContextValid(self) result = (false) <p>From package UML::Classification.</p>
public bool IsConsistentWith(IRedefinableElement redefiningElement)
Parameters
redefiningElement
IRedefinableElement
Returns
IsRedefinitionContextValid(IRedefinableElement)
The query isRedefinitionContextValid() specifies whether the redefinition contexts of this RedefinableElement are properly related to the redefinition contexts of the specified RedefinableElement to allow this element to redefine the other. By default at least one of the redefinition contexts of this element must be a specialization of at least one of the redefinition contexts of the specified element. result = (redefinitionContext->exists(c | c.allParents()->includesAll(redefinedElement.redefinitionContext))) <p>From package UML::Classification.</p>
public bool IsRedefinitionContextValid(IRedefinableElement redefinedElement)
Parameters
redefinedElement
IRedefinableElement
Returns
IsSubstitutableFor(IClassifier)
result = (substitution.contract->includes(contract)) <p>From package UML::Classification.</p>
public bool IsSubstitutableFor(IClassifier contract)
Parameters
contract
IClassifier
Returns
IsTemplate()
The query isTemplate() returns whether this TemplateableElement is actually a template. result = (ownedTemplateSignature <> null) <p>From package UML::CommonStructure.</p>
public bool IsTemplate()
Returns
IsTemplateParameter()
The query isTemplateParameter() determines if this ParameterableElement is exposed as a formal TemplateParameter. result = (templateParameter->notEmpty()) <p>From package UML::CommonStructure.</p>
public bool IsTemplateParameter()
Returns
Maps_to_generalization_set(object, object)
The Classifier that maps to a GeneralizationSet may neither be a specific nor a general Classifier in any of the Generalization relationships defined for that GeneralizationSet. In other words, a power type may not be an instance of itself nor may its instances also be its subclasses. powertypeExtent->forAll( gs | gs.generalization->forAll( gen | not (gen.general = self) and not gen.general.allParents()->includes(self) and not (gen.specific = self) and not self.allParents()->includes(gen.specific) ))
public bool Maps_to_generalization_set(object diagnostics, object context)
Parameters
diagnostics
objectThe chain of diagnostics to which problems are to be appended.
context
objectThe cache of context-specific information.
Returns
MaySpecializeType(IClassifier)
The query maySpecializeType() determines whether this classifier may have a generalization relationship to classifiers of the specified type. By default a classifier may specialize classifiers of the same or a more general type. It is intended to be redefined by classifiers that have different specialization constraints. result = (self.oclIsKindOf(c.oclType())) <p>From package UML::Classification.</p>
public bool MaySpecializeType(IClassifier c)
Parameters
Returns
Namespace_needs_visibility(object, object)
A PackageableElement owned by a Namespace must have a visibility. visibility = null implies namespace = null
public bool Namespace_needs_visibility(object diagnostics, object context)
Parameters
diagnostics
objectThe chain of diagnostics to which problems are to be appended.
context
objectThe cache of context-specific information.
Returns
No_cycles_in_generalization(object, object)
Generalization hierarchies must be directed and acyclical. A Classifier can not be both a transitively general and transitively specific Classifier of the same Classifier. not allParents()->includes(self)
public bool No_cycles_in_generalization(object diagnostics, object context)
Parameters
diagnostics
objectThe chain of diagnostics to which problems are to be appended.
context
objectThe cache of context-specific information.
Returns
Non_final_parents(object, object)
The parents of a Classifier must be non-final. parents()->forAll(not isFinalSpecialization)
public bool Non_final_parents(object diagnostics, object context)
Parameters
diagnostics
objectThe chain of diagnostics to which problems are to be appended.
context
objectThe cache of context-specific information.
Returns
Non_leaf_redefinition(object, object)
A RedefinableElement can only redefine non-leaf RedefinableElements. redefinedElement->forAll(re | not re.isLeaf)
public bool Non_leaf_redefinition(object diagnostics, object context)
Parameters
diagnostics
objectThe chain of diagnostics to which problems are to be appended.
context
objectThe cache of context-specific information.
Returns
OnParentChanged(IModelElement, IModelElement)
Gets called when the parent model element of the current model element changes
protected override void OnParentChanged(IModelElement newParent, IModelElement oldParent)
Parameters
newParent
IModelElementThe new parent model element
oldParent
IModelElementThe old parent model element
OnParentChanging(IModelElement, IModelElement)
Gets called when the parent model element of the current model element is about to change
protected override void OnParentChanging(IModelElement newParent, IModelElement oldParent)
Parameters
newParent
IModelElementThe new parent model element
oldParent
IModelElementThe old parent model element
ParameterableElements()
The query parameterableElements() returns the set of ParameterableElements that may be used as the parameteredElements for a TemplateParameter of this TemplateableElement. By default, this set includes all the ownedElements. Subclasses may override this operation if they choose to restrict the set of ParameterableElements. result = (self.allOwnedElements()->select(oclIsKindOf(ParameterableElement)).oclAsType(ParameterableElement)->asSet()) <p>From package UML::CommonStructure.</p>
public ISetExpression<IParameterableElement> ParameterableElements()
Returns
Parents()
The query parents() gives all of the immediate ancestors of a generalized Classifier. result = (generalization.general->asSet()) <p>From package UML::Classification.</p>
public ISetExpression<IClassifier> Parents()
Returns
Redefinition_consistent(object, object)
A redefining element must be consistent with each redefined element. redefinedElement->forAll(re | re.isConsistentWith(self))
public bool Redefinition_consistent(object diagnostics, object context)
Parameters
diagnostics
objectThe chain of diagnostics to which problems are to be appended.
context
objectThe cache of context-specific information.
Returns
Redefinition_context_valid(object, object)
At least one of the redefinition contexts of the redefining element must be a specialization of at least one of the redefinition contexts for each redefined element. redefinedElement->forAll(re | self.isRedefinitionContextValid(re))
public bool Redefinition_context_valid(object diagnostics, object context)
Parameters
diagnostics
objectThe chain of diagnostics to which problems are to be appended.
context
objectThe cache of context-specific information.
Returns
SetFeature(string, object)
Sets a value to the given feature
protected override void SetFeature(string feature, object value)
Parameters
Specialize_type(object, object)
A Classifier may only specialize Classifiers of a valid type. parents()->forAll(c | self.maySpecializeType(c))
public bool Specialize_type(object diagnostics, object context)
Parameters
diagnostics
objectThe chain of diagnostics to which problems are to be appended.
context
objectThe cache of context-specific information.