Concept links are mostly used when creating languages. It is a good way of specifying some complex property of a concept.
A quite simple example is ConceptFunctionParameter concept, that has a conceptFunctionParameterType concept link. This type is given to the references to this ConceptFunctionParameter. An alternative way is to specify a typesystem rule for each ConceptFunctionParameter returning its type. But this will result in much more code written. You can find instances of ConceptFunction and look at them to better understand what the ConceptFunctionParameter is.
Btw, there's nothing in MPS without many examples of it in MPS itself. So, if you are looking for more examples you can go to ConceptLinkDeclaration concept and find its instances. (use ctrl-N, ctrl+shift+S, alt-F7 shortcuts)
I've created MyValueType inherited from PrimitiveType. In the SelfDefinedType I've created aggregate concept link "ValueTypeRef" targeted to the MyValueType. And in the inherited types such as IntegerType or StringType from the the "SelfDefinedType" concept link menu have no items. It's just empty. Why? What I do incorrect?
Oleg,
Concept links are mostly used when creating languages. It is a good way of specifying some complex property of a concept.
A quite simple example is ConceptFunctionParameter concept, that has a conceptFunctionParameterType concept link. This type is given to the references to this ConceptFunctionParameter. An alternative way is to specify a typesystem rule for each ConceptFunctionParameter returning its type. But this will result in much more code written. You can find instances of ConceptFunction and look at them to better understand what the ConceptFunctionParameter is.
Btw, there's nothing in MPS without many examples of it in MPS itself. So, if you are looking for more examples you can go to ConceptLinkDeclaration concept and find its instances. (use ctrl-N, ctrl+shift+S, alt-F7 shortcuts)
I've created MyValueType inherited from PrimitiveType. In the SelfDefinedType I've created aggregate concept link "ValueTypeRef" targeted to the MyValueType. And in the inherited types such as IntegerType or StringType from the the "SelfDefinedType" concept link menu have no items. It's just empty. Why? What I do incorrect?
I've got it!!! I just don't add self language into used languages in the editor propertiesD-: