Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

edu.wis.jtlv.env.spec
Interface Macro

public interface Macro

A NOT YET IMPLEMENTED, general Macro interface for converting specifications.

Version:
"1.3.2"
Author:
yaniv sa'ar.

Method Summary
 Spec executeMacro(Spec orig)
           
 

Method Detail

executeMacro

Spec executeMacro(Spec orig)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD