----++ Introduction

=gen-renamed-sdf-module= generates an SDF module that renames all SDF sorts in a given SDF definition.

----++ Example

Syntax definition:
<verbatim>
definition
module Expressions
imports Identifiers [Id => MyId]
  exports
	 sorts Exp

	 context-free syntax
		Id		  -> Exp {cons("Var")}
		IntConst  -> Exp {cons("Int")}

		Exp "+"  Exp -> Exp  {left, cons("Plus")}

	 lexical syntax
		[\ \t\n]  -> LAYOUT
		[0-9]+	 -> IntConst

module Identifiers
  exports
	 sorts Id

	 lexical syntax
		[a-zA-Z]+ -> Id
</verbatim>

Invocation:
<verbatim>
  > gen-renamed-sdf-module -i Exp.def -m Expressions --name Exp-Prefixed --prefix Exp
</verbatim>

Result:
<verbatim>
module Exp-Prefixed
imports Expressions
			 [ IntConst => ExpIntConst
				MyId	  => ExpMyId
				Exp		=> ExpExp ]
</verbatim>