How to generate a dummy cosynt definition of your language

• On Commands tab, Cosynt button
• absyntName is the name of the abstract syntax
• outputdir is the location where the propertiesdummy.cosynt file is generated

• To display the generated cosynt,
  
  click on the Open Dir button and then select the syntax to open it

• Modify this generated syntax to create your own syntax
  
  (show an example in demos/tutorial/example/properties.cosynt)

• Save propertiesdummy.cosynt into properties.cosynt

• When your cosynt definition is correct go to step3 to compile it
• Cosynt generator produce two xsl files:
  
  properties-bml.xsl to visualize the document and
  
  properties-text.xsl to save the document
  
  and one css file properties-styles.css

• go to css step to change css style of document

How to visualize (open) a document with the concrete syntax (syntax coloring)

• First create a document and read into XML format (see document step )
• Create a new lml definition Commands tab -> Change lml button and edit this Lml definion
• Change transform and styles attribute values by properties-bml.xsl and properties-styles.css values

• lml -> save as lml definition in properties/resources/lml/properties-syntax.lml
• Add this lml definition in CDML definition of properteis component

• go to syntax step of open document

---

Didier.Parigot@inria.fr

Last modified: Mon Apr 11 14:51:57 MEST 2005