uebersetzerbauSWP

Twee2Z 用于将转换为（版本8）的编译器。 生成的Z代码可以用类的Z机执行。 用法 Usage: <source> <destination> -log <arg1> <arg2> -logAll Activate all logs. -log Activate specific logs. Possible arguments: all, analyzer, codegen, debug, objecttree, validation Input : -log <arg1> <arg2> ... Example : -log analyzer debug -help Display help message. Example usage: myT