next up previous contents
Next: Transforming sg definitions Up: 3.1 The extron transformers Previous: 3.1 The extron transformers

3.1.1 undeclare

 

undeclare handles two different kinds of declarations: signature declarations (sg clauses) and declare facts which are used for various declaration types.

undeclare performs the following three steps:

  1. transform operators with sg definitions
  2. evaluate declare facts
  3. remove declare facts




Harold Boley (boley@informatik.uni-kl.de)