I am creating a DSL with a template-like editor, like the rule systems in Alice . Users will be able to select relationships from the list, as well as objects to which the relationship applies. These two lists should be filtered based on valid types — for example, if the relation is “greater”, then the available objects should be of the type for which “greater”.
Similarly, if an object is selected that is not comparable with more than, then this relation should not be in the list of potential relations. I think that type checking is at the heart of this problem, but I'm not sure how to incorporate this type of logic into my application. Does anyone know of existing type checking libraries for DSL?
I am particularly interested in open source technologies and cross-platform technologies. Java is probably the language we will be using, but this is not fixed.
types dsl intellisense
rcreswick
source share