Introduction

Stratego Regular is a package of tools for working with tree languages. A tree language is a set of trees define by a tree grammar. Stratego Regular defines the concrete and abstract syntax of RTG, a language for regular tree grammars. The RTG language is used to define tree languages.

Tools

  • sdf2rtg -- generates an abstract syntax definition in RTG from an SDF syntax definition.
  • rtg2sig -- generates a Stratego signature from an abstract syntax definition in RTG.
  • format-check -- Check if an ATerm is part of the language defined by an RTG.
  • rtg2typematch -- Generates a duck-typing based strategy that checks if an ATerm is of a type defined in an RTG.

Download and Installation

Stratego Regular is part of StrategoXT from release 0.10.

Revision: r1.22 - 29 Jan 2005 - 14:44 - MartinBravenboer
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback