@ tefigel

###
#   Generate one Java class file for the given class.
###

interface(CLASS_ID)

@ endtefigel
/* This file has been produced on ~date at ~time */

import java.util.*;

public class CLASS_ID {

@ for ATTR=~list_contents(CLASS_ID)
@    declare(ATTR)
@ endfor

@ for ATTR=~list_contents(CLASS_ID)
@    implement(ATTR)
@ endfor
}