aux_wj02a0.e | searchcode

/test/language/unclassified/wj/aux_wj02a0.e

http://github.com/tybor/Liberty
Specman e | 14 lines | 10 code | 4 blank | 0 comment | 0 complexity | abbe7adbf6fd4a2b3e43efbfa7e25b1d MD5 | raw file

 1class AUX_WJ02A0
 2
 3create {ANY}
 4   make
 5
 6feature {ANY}
 7   make (s: STRING)
 8      do
 9         x0 := s
10      end
11
12   x0: STRING
13
14end -- class AUX_WJ02A0