/test/language/unclassified/wj/aux_wj01a0.e
http://github.com/tybor/Liberty · Specman e · 17 lines · 13 code · 4 blank · 0 comment · 1 complexity · 8099385109982d9139581a5aaaa1165a MD5 · raw file
- class AUX_WJ01A0
- create {ANY}
- make
- feature {ANY}
- make (s: STRING)
- do
- x0 := s
- if x0 /= Void then
- x0 := s.twin
- end
- end
- x0: STRING
- end -- class AUX_WJ01A0